Bilingual "hello world"
Here is a fun (and slightly useless) hack: #cd "." (* echo "Hello world" <<"OCAMLCODE_END" *) let () = print_endline "Bonjour le monde" (...
Preserving atomicity in IO operations
[Updated 26/07/07: unwind_protect now captures less variables.] There are a bunch of operation that must be executed in pairs, for ins...
Phun with phantom types!!
Phantom types are a nifty trick: types are used to store additional information during the type-checking pass. These types have no implement...