Tag: programming
Introduction to Elixir Programming
Welcome to the Elixir programming language tutorial. The Elixir programming language runs on top of the Erlang VM. It’s compatible with Erlang, but has a different syntax and features. Programming is a field in which it feels like each and every day a new language, library or framework is discovered. Usually, it is rather difficult…
MS: Here’s why we love programming language Rust and kicked off...
Microsoft has explained why it's pursuing 'safe systems programming' through efforts like its experimental Rust-inspired Project Verona language and its exploration of the Rust programming language for Windows code written in C++. The short answer is that Microsoft is trying to eliminate memory-related bugs in software written in languages like C++, according to Microsoft Rust expert…
Did Functional Programming Get It Wrong? (Yes and Here’s Why)
Do you want to know how deep the rabbit hole goes?Function Calls Grow UpWhat was Functional Programming all about anyway? The selling point is that writing *functions* is easy… After all, functions are the basic widget of programming. However once you start digging into the weeds you discover that there are a lot of different…
Show HN: A dependently-typed programming language with static memory management
Neut is a dependently-typed programming language based on the Calculus of Constructions (CoC). The interesting point is that this language determines how to allocate/deallocate memory at compile-time, without extra annotations to the type system. In other words, Neut in its source language is the ordinary lambda-calculus after all (imagine something like Haskell, OCaml, Idris, Coq,…