lundi 17 mai 2021
« Lisp, un des langages de programmation les plus anciens (le deuxième, créé en 1958 par John McCarthy) et fondé sur le lambda-calcul, reste encore de nos jours un excellent outil pédagogique grâce à sa simplicité et à son élégance. Le présent article constitue une entrée en matière rapide à l'intention des jeunes générations.  »
jeudi 1 avril 2021
« Linus Torvalds n'exclut pas que Rust puisse être utilisé à titre expérimental dans le noyau Linux.  »
Catala [Romain]
lundi 22 mars 2021
« Catala est un langage dédié à l'écriture d'implémentations correctes d'algorithmes dérivés de textes législatifs, conçu à l'INRIA.  »
jeudi 7 novembre 2019
« Un témoignage intéressant de quelqu'un qui reconnaît avoir eu une conduite un peu sectaire vis-à-vis de son langage de prédilection au début de sa carrière... ce qui arrive encore régulièrement même avec certains devs chevronnés avec qui une discussion constructive mais critique sur un langage est difficile.  »
mercredi 5 décembre 2018
« Une courte introduction à l'effacement de types et à la réification.  »
mercredi 29 août 2018
« Une brève introduction au langage de programmation Julia, un alternatif à C et Fortran pour exécuter des algorithmes numériques, qui inclut des références utiles  »