Programmation fonctionnelle

Polycopié de programmation fonctionnelle en Licence

Cours de programmation fonctionnelle en Licence, Université Paris XII (2001-2003)

Découvrez Objective Caml

Publié dans GNU/Linux & Hurd Magazine France n° 43 (oct. 2002)

Objective Caml (Ocaml pour les intimes) est un langage de programmation magnifique: flexible, sûr, d’exécution rapide, doté de nombreuses bibliothèques (graphiques, réseau, …). Il est souvent, à tort, considéré comme une curiosité qui n’intéresserait que quelques informaticiens théoriciens. Dans cet article, nous parcourrons rapidement l’arbre généalogique de ce langage pour en comprendre les principes fondateurs et familiariser le lecteur avec la programmation fonctionnelle; nous présenterons ensuite les différents modes de travail d’Ocaml et quelques aspects originaux de ce langage. Nous terminerons par un petit exemple d’utilisation des bibliothèques graphique et Unix et l’évocation des autres outils de développement disponibles pour Ocaml.

Ressources autour de la validité et la sûreté/sécurité des logiciels

History’s Worst Software Bugs, by Simson Garfinkel, 2005.