Nous avons montré comment utiliser les bibliothèques Sys, Unix, et
Threads d’OCaml pour programmer des applications qui interagissent avec
le système d’exploitation.
Ces bibliothèques relèvent les appels système Unix les plus importants au niveau du langage OCaml. Au passage, certains de ces appels système ont été remplacés par des fonctions de plus haut niveau, soit pour faciliter la programmation, soit pour maintenir des invariants de l’environnement d’exécution des programmes OCaml. En général, cela conduit à une économie dans l’écriture des applications.
Certaines fonctionalités du système Unix ne sont pas accessibles au travers des bibliothèques précédentes, mais il est toujours possible d’y accéder directement via du code C.
Il existe aussi une bibliothèque Cash dédiée à l’écriture de scripts en
Ocaml. Cette bibliothèque complète la bibliothèque Unix dans deux
directions différentes. D’une part, elle peut se voir comme une couche au
dessus du module Unix qui offre, en plus de fonctions dédiées à l’écriture
de scripts, de nombreuses variations autour des appels systèmes d’"Unix",
en particulier en ce qui concerne la gestion des processus et des tuyaux.
D’autre part, elle fournit quelques accès supplémentaires au système Unix.