Wednesday, July 8, 2020
Home Tags Programming

Tag: programming

Introduction to Elixir Programming

Introduction to Elixir Programming

0
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 Project Verona

MS: Here’s why we love programming language Rust and kicked off...

0
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)

Did Functional Programming Get It Wrong? (Yes and Here’s Why)

0
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

Show HN: A dependently-typed programming language with static memory management

0
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,…