Pourquoi j’ai choisi OCaml comme langage principal

• Les caractéristiques du langage OCaml et son écosystème sont excellents, et conviennent aussi bien aux projets personnels qu’aux projets professionnels
• Des fonctionnalités avancées et un paradigme multiple y sont intégrés de manière fiable, notamment un système de types statique, les types algébriques, un système de modules, un modèle objet et les effets définis par l’utilisateur
• Une toolchain mature est disponible, avec le gestionnaire de paquets OPAM, le système de build Dune, le support éditeur LSP/Merlin et l’outil de documentation Odoc, ainsi qu’un écosystème riche en bibliothèques pour le web, la blockchain, le tooling, etc.
• La communauté se distingue par son accessibilité, sa bienveillance et son professionnalisme, ce qui facilite l’apprentissage et la collaboration, tandis que son évolution continue laisse entrevoir un bel avenir

---

Pourquoi j’ai choisi OCaml comme langage principal

• L’auteur utilise divers langages de programmation depuis longtemps, et a choisi OCaml comme langage principal parmi eux
• Parmi les plus grands atouts d’OCaml, il cite un système de types statique puissant et un excellent support de la programmation fonctionnelle, supérieur à celui du C ou de nombreux autres langages fonctionnels
• Grâce à ce système de types, il a souvent constaté une meilleure prévention des bugs et une optimisation du code
• Dans plusieurs projets de développement concrets, l’usage d’OCaml a réellement permis d’améliorer fortement la productivité et la stabilité

Les atouts d’OCaml et son usage en pratique

• La plupart du code s’écrit rapidement, et l’usage de la composition de fonctions et des données immuables améliore la sécurité
• Ces derniers temps, l’écosystème et les outils d’OCaml (IDE, système de build, etc.) continuent eux aussi de progresser
• Grâce à une grande variété de bibliothèques et de packages externes, un développement efficace est possible en environnement professionnel
• Comparé à Python ou Java, OCaml est moins connu, mais reste un choix très solide en matière de productivité, de sécurité et de souplesse

Caractéristiques du langage

• Ses origines dans la recherche et son adoption industrielle se combinent pour faire évoluer ses fonctionnalités autour de l’expressivité et de la sécurité
  • Fonctionnalités récentes comme les effets définis par l’utilisateur et les sessions affines
• La vérification statique des types sert à la fois de filet de sécurité et d’outil de conception, dissipant les malentendus liés à de mauvaises expériences avec les types
• Multiparadigme : fonctionnel, impératif, modulaire, orienté objet, avec support du multicœur
• La syntaxe de la famille ML est concise et cohérente, et il existe aussi des syntaxes alternatives comme ReasonML
• Les types algébriques (produit, somme et exponentiel), le pattern matching et le polymorphisme sont particulièrement puissants pour modéliser les données et les domaines
• Le système de modules prend en charge la séparation interface/implémentation, l’abstraction, la réutilisation et même le polymorphisme avancé
• Inversion de dépendance : des mécanismes d’injection souples sont proposés via les modules et les effets

Écosystème et tooling

• Cibles de compilation : natif, bytecode, JavaScript(Js_of_ocaml, Melange), WebAssembly
• MirageOS apporte une discipline d’écriture de bibliothèques multi-contexte
• OCaml Platform :
  • OPAM : gestion des versions, switchs, index de paquets, support CI
  • Dune : builds rapides, configuration en S-expressions, publication simplifiée via dune-release
  • LSP/Merlin : autocomplétion, navigation dans le code et formatage dans VSCode, Emacs, etc.
  • Odoc : prise en charge des références croisées, pages de manuel, doctests, etc.
• Bibliothèques riches : web (Dream, Ocsigen), blockchain et cryptographie (HACL*), tests (alcotest, qcheck, etc.)
• La bibliothèque standard est petite, mais il existe des alternatives comme Batteries, Base/Core et Containers

Nouveaux défis et communauté

• La communauté OCaml est petite mais continue de croître, et suit une dynamique accueillante pour les utilisateurs
• Pour les développeurs qui veulent relever le défi d’un nouveau langage ou paradigme, OCaml mérite d’être appris en profondeur
• De nombreux utilisateurs affirment que leur expérience avec OCaml leur a apporté un nouveau regard et de meilleures capacités de résolution de problèmes

Conclusion

• OCaml est un langage de programmation puissant qui ne se limite pas à certains domaines spécifiques (comme la finance, les compilateurs ou le développement système) et peut être utilisé de manière généraliste
• L’efficacité, la maintenabilité et la capacité à prévenir les problèmes constatées en pratique prouvent sa valeur en situation réelle
• Même s’il est un peu moins connu que des langages plus récents ou plus tendance, il reste une option à envisager sérieusement si l’on privilégie la fiabilité et la sécurité