Skip to main content

Functional programming

Haskell, Eff, Effekt & Kind seem like neat functional languages. High-order Virtual Machine in Rust is neat too.

The Dao of Functional Programming is a nice read.

Retrofitting Linear Types, Linear Regions Are All You Need and Linear Types Lecture are great reads for making a language like Haskell but without gc.

Verse Calculus is fascinating.

Functional languages index is nice overview of FP languages.

ditto is nice small FP language with readable code.

Notes

Images