jeudi 28 mars 2024
« Une présentation de Flambda2, nouvelle représentation intermédiaire utilisée dans la compilation de code OCaml et permettant davantage d'optimisations. Ce billet fait partie d'une série en cours d'écriture.  »
jeudi 11 mai 2023
« A deep dive into programming language design and implementation with LLVM.  »
vendredi 20 janvier 2023
« Un retour d'expérience sur le développement de opam-bin, un framework qui permet de construire et de distribuer un paquet ocaml pour la plupart des versions ocaml.  »
Landmarks [Maxence]
mercredi 6 juillet 2022
« Un outil et une bibliothèque OCaml pour facilement voir quelles sont les fonctions qui allouent le plus de mémoire et où le programme passe le plus de temps. Un préprocesseur, différents formats de sortie ainsi qu'un pilotage par variables d'environnement, permettent de mettre en place très rapidement et facilement ces observations, tout en permettant de ne pas les avoir lors de la compilation en production.  »
jeudi 13 janvier 2022
« Coder, en OCaml, un émulateur Game Boy qui tourne directement dans le navigateur, c'est possible ! À tester sur la page de démo.  »
jeudi 9 septembre 2021
« Trucs et astuces pour générer des exécutables vraiment statiques de programmes OCaml, sur Linux et MacOS.  »
mercredi 16 juin 2021
« Pour ceux qui ne suivent l'actualité d'OCaml que de loin, il s'agit du rapport de mai concernant l'avancement de Multicore OCaml, visant à permettre la parallélisation de programmes OCaml, y compris du glaneur de cellules.  »
mercredi 7 avril 2021
« Le pattern matching à la Ocaml est apparu en Python très récemment, dans la version 3.10 et il a été déjà évoqué ici brièvement. Ce nouvel article apporte plus de détails sur le sujet et surtout une série d'exemples qui sont autant de bonnes idées d'utilisation de cette structure de contrôle très puissante.  »
mardi 2 mars 2021
« Le 27 février, Guido van Rossum annonçait sur son compte twitter : """ Pattern Matching (PEP 634-636) was merged into cpython master today! Will be in 3.10 alpha 6, to be released Monday. """ Ceci est une évolution importante pour le langage car le pattern matching est une structure de contrôle d'une grande élégance, déjà présente dans des langages de programmation fonctionnelle tels que Ocaml et Haskell !  »
mercredi 5 juillet 2017
« Xavier Leroy (Inria) explique la traque d'un bug dans des processeurs Intel affectant les programmes OCaml compilés avec GCC. »
jeudi 27 avril 2017
« Une présentation rapide du projet Solid, visant notamment à décorréler applications et données pour éviter la centralisation d'internet. J'en profite pour signaler OCaml-solid, comprenant une bibliothèque OCaml pour développer des applications Solid et un serveur Solid pour héberger ses données et/ou celles des copains. »
jeudi 9 mars 2017
« Une introduction rapide à topkg et carcass permettant de créer facilement ses paquetages de logiciels OCaml. Cela suppose évidemment de se plier à certaines contraintes (organisation des fichiers, système de build, ...). »
jeudi 2 mars 2017
« Une introduction à Ezirmin, surcouche d'Irmin, une bibliothèque permettant de gérer le versionnement de structures fusionnable, avec les mêmes possibilités qu'un dépôt git, qui est d'ailleurs l'un des backend possibles. »
vendredi 20 janvier 2017
« Une introduction à la fonctionnalité spacetime introduite dans OCaml 4.04.0 pour voir la consommation mémoire d'un programme, quelle fonction alloue combien, etc, au fil du temps. »
vendredi 4 novembre 2016
« Des exemples d'utilisation du module Plot d'Owl, une nouvelle bibliothèque de calcul numérique pour OCaml.  »
vendredi 3 juin 2016
« Le premier d'une série de billets détaillant la création de micro-services en OCaml à l'aide notamment de la bibliothèque webmachine. »
OCaml 4.03 [Maxence]
vendredi 20 mai 2016
« Un billet détaillé et explicatif des nouveautés d'OCaml 4.03.0. »
gen_js_api [Maxence]
vendredi 8 avril 2016
« Un outil pour facilement réaliser des bindings de bibliothèques Javascript en OCaml. »
vendredi 4 mars 2016
« Les nouveautés d'OCaml 4.03 (en plus de la nouvelle représentation interne Flambda permettant davantage d'optimisation du code à la compilation). »
ocaml-webmachine [Maxence]
vendredi 9 octobre 2015
« Une bibliothèque OCaml pour implémener des interfaces REST. »
vendredi 12 juin 2015
«  Une proposition d'architecture pour signer de paquets dans Opam, le gestionnaire de paquets OCaml. »
OCaml-ctypes [Maxence]
vendredi 17 avril 2015
«  Une bibliothèque OCaml permettant de s'interfacer avec des bibliothèques en C, sans écrire une seule ligne de C. Impressionnant et pratique ! »
vendredi 3 avril 2015
«  Résumé des activités du OCaml Labs en 2014: outils, bibliothèques, environnement et développements autour d'OCaml. »