juillet
2009
Aujourd’hui je m’intéresse à un petit programme dont je n’oserais pas parler dans la rubrique jeux. J’en parle ici parce qu’il a ceci de particulier qu’il est programmé 100% en Objective-Caml. Je savais bien qu’OCaml-SDL existait mais jusqu’ici je n’avais pas pris la peine de l’installer ne sachant pas trop comment le tester. En programmation fonctionnelle ce genre de petite démonstration peut avoir deux sortes de motivations bien distinctes : Souvent il s’agit de montrer […]
Un article de SpiceGuid 
juillet
2009
LablGtk2 est le binding GTK+ pour le langage Objective-Caml. Comme son cousin Gtk2Hs (pour Haskell) il permet aussi le chargement d’interfaces codées en XML généré à l’aide de l’outil Glade. J’espère avoir réalisé une copie conforme du Hello Developpez de Alp mais si ça n’est pas le cas ça n’est pas bien grave, l’esprit y est.
juin
2009
L’édition 2009 de cette compétition en ligne très réputée pour son niveau de difficulté est organisée par l’Université du Kansas et aura lieu le week-end du 26 au 29 juin. Aucune pré-inscription n’est nécessaire et tous les langages de programmation sont acceptés. Historiquement dédiée à promouvoir les langages de programmation fonctionnelle, la réputation élitiste de la compétition ICFP lui vaut d’attirer les meilleurs parmi les programmeurs, issus de tous horizons de langages et de technologies. […]
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 […]
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 […]
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.