Unix System Programming in OCaml
by Xavier Leroy, Didier Remy
Number of pages: 143
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.
Home page url
Download or read it online for free here:
by Jason Hickey, Anil Madhavapeddy, Yaron Minsky - O'Reilly Media
This fast-moving tutorial introduces you to OCaml, an industrial-strength programming language designed for expressiveness, safety, and speed. You'll quickly learn how OCaml stands out as a tool for writing fast, succinct, and readable systems code.
by Michael R. Clarkson, et al. - Cornell University
This course is about making you a better programmer. This course gives you the opportunity to now learn a new language from scratch and reflect along the way about the difference between programming and programming in a language.
by Didier Rémy - INRIA Paris-Rocquencourt
These notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whether they are programmers or language designers, beginners or knowledgeable readers.
by Jason Hickey - Caltech
OCaml is a high-performance dialect of ML. This book presents a practical introduction and guide to the language, with topics ranging from how to write a program to the concepts and conventions that affect how programs are developed in OCaml.