juillet
2011
Bonjour, Toute personne qui programme finit un jour ou l’autre par se demander où héberger son code source en vue de lui donner une bonne visibilité. Les solutions traditionnelles, comme SourceForge, sont aujourd’hui concurrencées par de nombreuses autres plateformes. Je vous propose de vous présenter aujourd’hui GitHub.
novembre
2010
Hello everyone, Yesterday, a pretty young woman told me that writing about programming languages really need to be done in English. Now that I know she reads my humble texts, I have to follow its advice. So now… let’s be a bit more serious. As you probably know, polymorphic variants are often seen as a light and elegant alternative to OCaml constructors. Yet these two concepts are not completely interchangeable : that is why they […]
septembre
2010
Bonjour ! Après un long moment d’absence et de sérieux doutes sur la pérennité de ce blog, je reviens vous parler de LablGTK. Cette fois-ci, je ne vous présenterai pas un autre module de la bibliothèque. Pour célébrer la renaissance de ce blog, à la suite de mon admission en thèse (dans un domaine très éloigné du sujet de ce blog), je vous propose de parler du mécanisme de callback dans LablGTK.
février
2010
Après un long moment d’absence, je reviens pour vous parler d’une notion dont l’intérêt m’a été révélé par un article sur le blog de bluestorm. Il s’agit des types fantômes, dont je souhaite vous montrer ici tout le bien. Naturellement, je vais partir d’un cas concret autour de ce que je développe actuellement.
janvier
2010
Bonjour ! Je vous ai parlé, dans le précédent billet, de l’intégration du widget GtkSourceView 2.0 dans la bibliothèque LablGTK. Voyons ici ce qui change par rapport à l’ancien widget.
janvier
2010
Bonjour ! Je vous propose de poursuivre notre exploration de la bibliothèque LablGTK. Dans ce billet, nous allons parler du module GPack. Celui-ci contient tous les widgets nécessaires à la réalisation d’interfaces complexes. La plupart d’entre eux sont transparents pour l’utilisateur, car ils n’ont pas de représentation graphique. Pourtant, comme nous allons le voir ici, ce sont de précieux alliés !
janvier
2010
Bonjour ! Rien de tel que de commencer la nouvelle année par un jeu. Nous allons donc essayer d’implémenter en OCaml une version proche du jeu Le Compte est bon imaginé par Armand Jammot (dans l’émission Des chiffres et des lettres que regarde votre grand-mère).
décembre
2009
Bonjour ! Dans le précédent billet consacré à LablGTK, nous avons parlé du module GButton. Nous allons maintenant nous pencher sur un autre module incontournable dès que l’on veut créer une interface graphique : le module GWindow.
décembre
2009
Bonjour ! Ce petit billet s’intercale insidieusement dans la série de billets consacrés à LablGTK suite à la demande d’un ami. Il s’agit de présenter une alternative au mot-clef lazy d’OCaml. Façon de dire : « alternative » est ici un bien grand mot. Nous allons juste survoler la question et voir qu’il est possible de simuler facilement un type de données paresseux avec des ingrédients classiques de la programmation fonctionnelle.
décembre
2009
Bonjour ! Ce billet est le premier d’une longue série consacrée à LablGTK et, plus particulièrement, à la présentation détaillée des modules qui la constituent. Beaucoup de questions sur le forum caml de developpez.com plaident en faveur de cette idée. Il est vrai que la bibliothèque comporte plusieurs de 20 modules d’utilisation courante… ce qui n’est pas toujours évident au premier abord. Dans ce billet, nous allons commencer par quelque chose de simple : le […]