Unix system programming in OCaml Xavier Leroy and Didier Rémy 1stDecember , 2014



Xavier Leroy and Didier Rémy, inria Rocquencourt.

Rights reserved. Consult the © 1991, 1992, 2003, 2004, 2005, 2006, 2008, 2009, 2010Xavier Leroy and Didier Rémy,Rocquencourt.Rights reserved. Consult the license. Translation by Daniel C. Bünzli, Eric Cooper, Eliot Handelman, Priya Hattiangdi, Thad Meyer, Prashanth Mundkur, Richard Paradies, Till Varoquaux, Mark Wong-VanHaren Proofread by David Allsopp, Erik de Castro Lopo, John Clements, Anil Madhavapeddy, Prashanth Mundkur Translation coordination & layout by Daniel C. Bünzli. Please send corrections to daniel.buenzl i@erratique.ch.

Available as a monolithic file, by chapters, and in PDF — git repository.

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, a dialect of the ML language, instead of the C language that is customary in systems programming. This gives an unusual perspective on systems programming and on the ML language.