C&C - An Explanation of Type Inference for ML/Haskell edit / delete

A succinct description of how to implement type inference for your typical functional language. Will be clear enough if you understand a functional language already.

to cmp409 functional haskell ml type-inference ... on 24 October

C&C - A Crash Course on ML Modules edit / delete

A really good description of Standard ML's module system (and OCaml, where it differs). I do like ML's modules, but wish the syntax and terminology was a bit friendlier...

to cmp409 functional language-design ml module ocaml ... on 24 October

profsjt: Is Haskell the right language for teaching functional programming principles? edit / delete

There's some good discussion in the comments here too. (I'm a graduate of SJT's Haskell course at Kent, and really liked the pure language... but there was a big step up from there to being able to use it for real-world programming.)

to functional haskell teaching ... on 10 December 2017

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 2017

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

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