1ML - core and modules united edit / delete

"1ML is a reboot of ML starting from first-class modules, and unifies core and module layer into one small and consistent language." This cleans up some of the things I don't like about ML-family languages, and in the process gets some of the benefits of dependent types without the toolchain overhead. Interesting...

to 1ml functional language-design ml modules type-systems ... on 12 September

SMLFamily/Successor-ML: A version of the 1997 SML definition with corrections and some proposed Successor ML features added. edit / delete

A tasteful update of 90s-era Standard ML. (Wish they'd fix the horrible equality types hack, though!)

to functional language-design ml standard-ml ... on 18 October 2016

KRC homepage edit / delete

David Turner's forerunner to Miranda (and hence Haskell's grandparent) -- a neat little functional language. The implementation here is terrifying: EMAS BCPL ported to C in the style of Bournegol!

to bcpl c emas functional kent krc language-design retrocomputing turner ... on 14 October 2016

Real World OCaml edit / delete

Full text online. Like "Real World Haskell", but for O'Caml, as you might expect. This is pretty interesting, but it's very focussed on the Jane Street libraries which I'm not terribly keen on.

to etext functional ocaml ... on 11 October 2016

Unix system programming in OCaml edit / delete

"This document is an introductory course on Unix system programming, with an emphasis on communications between processes. The main novelty of this work is the use of the OCaml language". This is effectively APUE done in OCaml -- which is a really nice way (in my opinion!) to introduce the language.

to apue functional ocaml programming unix ... on 16 March 2016

C++ - From goto to std::transform edit / delete

Doing the same thing several different ways.

to c++ functional language-design ... on 27 April 2014

Mythryl edit / delete

SML-inspired practical "engineered" language. The design notes are quite interesting.

to functional language-design mythryl programming ... on 07 December 2009

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom