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

The specification of program flow in Madcap 6 edit / delete

A very interesting language -- essentially a modern functional design, from 1972, with list/set comprehensions, generators, and various other interesting features.

to functional language-design programming ... on 29 July 2008

Epigram edit / delete

Dependently-typed programming language with fun syntax. (Via MrTea.)

to functional language-design types ... on 15 June 2008

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