L'article explore l'expérience de l'auteur avec OCaml, un langage de programmation axé sur la réécriture d'un site statique. Il fait des comparaisons avec Rust et Haskell, discutant des outils et de la gestion de projet dans OCaml, ainsi que des avantages et inconvénients de son utilisation. Les réflexions portent sur la syntaxe, l'ergonomie des outils, et les difficultés rencontrées dans la gestion des modules.
L'article aborde la notion que tous les langages de programmation sont équivalents en théorie, mais en pratique, ils diffèrent par leur syntaxe, leurs fonctionnalités et leur écosystème. Il analyse les paradigmes de programmation : déclaratif, impératif et fonctionnel, en expliquant comment ils influencent la manière dont on écrit et comprend le code. Les choix de langage sont liés à des contextes politiques et culturels, et chaque paradigme a des usages spécifiques et des implications sur la façon de résoudre des problèmes de programmation.
Cet article explique les méthodes gardées en OCaml, permettant d'attacher des contraintes à certaines méthodes d'une classe. Bien que la syntaxe d'OCaml ne supporte pas nativement cette fonctionnalité, l'auteur propose des solutions pour les encoder, tout en analysant les limites des approches orientées objet et fonctionnelles.
Cet article aborde les raisons pour lesquelles l'auteur considère OCaml comme un choix pertinent pour divers projets, en partageant son expérience personnelle et professionnelle avec ce langage. Il présente les avantages d'OCaml, mentionne son adoption par des entreprises prestigieuses et cherche à déconstruire des mythes populaires sur ce langage, tout en reconnaissant son intérêt croissant depuis 2012.
