décembre
2008
Pour moi, Abécédaire des langages de programmation cela voulait tacitement dire un (seul) langage par lettre. Un précédant épisode ayant déjà traité du langage Forth c’est avec une certaine (et agréable) surprise que j’ai constaté la parution d’une nouvelle entrevue, consacrée cette fois-ci au langage F#. L’entrevue est en langue anglaise, elle donne des informations sur le contexte culturel et technologique mais ne cherche pas à présenter le langage à ceux qui ne connaîtraient pas […]
décembre
2008
La version 3.11.0 du compilateur Objective-Caml est disponible aujourd’hui en version finale. Au nombre des améliorations les plus attendues on peut mentionner : la liaison dynamique de modules en code natif (Dynlink) les motifs paresseux (lazy patterns) l’ajout du support 64bits pour la plateforme Mac OS X Intel le support de OCamlDebug sur la plateforme Windows Veuillez noter que la page d’accueil de cette nouvelle version est toute fraîche et que seuls les liens vers […]
décembre
2008
Ce billet vient compléter à la fois la partie 5 (la programmation impérative) et la partie 8 (les types algébriques) de mon tutoriel Objective-Caml, il emprunte à ces deux parties pour généraliser le traitement des types arborescents au traitement des types DAG (graphes dirigés acycliques ou Directed Acyclic Graphs). On y réalise cette généralisation à l’aide de la technique des pointeurs ‘intelligents’, complétée par un vilain hack, pas beau mais pas encore trop méchant.