Posts

Teaching Functional Programming

The Ideal Package Manager

Recursion with Context

Parser Combinators in Ruby

Evaluating the Untyped Lambda Calculus

Implementing A Functional Language Part II: Graph Reduction

Implementing a Functional Language: Parsing Core

Implementing A Functional Language Part I: The Core Language

Implementing a Functional Language: Printing Core

Implementing A Functional Language


Projects

Kite

A small functional programming language.

Type system playground

A live environment to try out several different type systems, including STLC, System F, System T, Hindley-Milner and λP.

Medicine dosage calculator

An old experiment in making small utilities for doctors.