juin
2009
Anubis est un langage de programmation fonctionnelle pour la programmation sûre de site Web ou de logiciel embarqué. Une mise à jour du langage Anubis est disponible sur la page du projet Anubis, en version Windows ou en version Linux. Le site vitrine du langage Anubis est actuellement en phase de maintenance/transition. Si vous avez des questions à poser sur Anubis je vous invite à le faire dans le forum « langages fonctionnels ». L’équipe derrière Anubis […]
Un article de SpiceGuid 
février
2009
Il y a deux approches quant à la conception de l’interface d’un type container. La première, dont Bertrand Meyer s’est fait le champion, est fondée sur les types abstraits de donnés. L’idée directrice c’est que ce sont les données qui inspirent les opérations. Considérant le TAD, on fait une liste de toutes les opérations associées. Éventuellement on place ce TAD dans une classification qui pourra elle-même suggérer quelques opérations complémentaires afin de rendre le TAD […]
janvier
2009
Dans mon précédent billet j’exposais quelques motivations et quelques objectifs de conception pour un langage natif moderne. Dans ce billet je discute certaines conséquences de la notion de types non-annulables. Des conséquences non évoquées dans le document d’origine.
janvier
2009
Ce billet inaugure une série que je voudrais consacrer à la spécification et à l’implantation d’un (nouveau) langage de bas niveau. Syntaxiquement, ce langage est inspiré de BASIC ou de MODULA, sémantiquement il se veut une modernisation du C c’est-à-dire avec les mêmes objectifs de libre performance, avec toutefois une attention particulière accordée à la sûreté de l’ensemble sans toutefois rien renier des opérations de bas niveau.
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.