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

The Genuine Sieve of Eratosthenes | Lambda the Ultimate edit / delete

The handy paper explaining why the sieve isn't quite what you think it is.

to eratosthenes functional maths primes programming sieve ... on 27 July 2009

Home Page for ATS edit / delete

Functional language with a powerful type system, an efficient via-C compilation process, and (obviously) a superb name.

to compiler functional language-design research type-checking ... on 13 September 2008

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