Tasty » Adam Sampson's ocaml bookmarks

Why ML/OCaml are good for writing compilers edit / delete

As it says.

to cmp409 compiler functional language-design ml ocaml ... on 13 May 2017

Lock-free programming for the masses · KC Sivaramakrishnan edit / delete

"We use take l_fork <*> take r_fork to atomically take both of the forks." Reagents in Multicore OCaml -- which are semantically (more or less?) equivalent to the multiway barriers that Neil implemented in CHP.

to concurrency multiway ocaml reagents synchronisation ... on 14 October 2016

F# syntax: indentation and verbosity | F# for fun and profit edit / delete

This is a more useful description of how F#'s indentation-based syntax works than the manual.

to f language-design ocaml syntax ... on 14 October 2016

Comparing Objective Caml and Standard ML edit / delete

Feature-by-feature comparison. This highlights some of the nice features in both languages as well...

to language-design ocaml standard-ml ... 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

Python to OCaml: retrospective - Thomas Leonard's blog edit / delete

"In 2013, I spent 6 months converting 0install’s 29,215 lines of Python to OCaml (learning OCaml along the way). In this post, I’ll describe the approach I took and how it went. There will be graphs."

to language-design ocaml porting python ... on 23 September 2015

Mirage OS edit / delete

"Mirage OS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms." In OCaml. They've done some nice work around their safe TLS implementation.

to ocaml os security tls ... on 22 March 2015

Patoline edit / delete

TeX-like typesetting system written in OCaml.

to ocaml tex typesetting ... on 13 July 2014

OCaml Language Sucks edit / delete

From a Lisp fan, I'm guessing; some worthwhile points here.

to language-design ocaml ... on 01 September 2010