Developing Statically Typed Functional Language. From Math to JavaScript

In this blog post we’ll go through a sample implementation of a type checker, interpreter and a transpiler for a basic purely functional programming language, which is based on the lambda calculus. We will do a “full-stack” programming language developmen… Read more