Le blog de SpiceGuid

Encore plus fort! Plus d’arguments mais cette fois-ci sans application partielle! Vous conviendrez aisément que cette fonction ne prend qu’un seul argument: let id x = x Hé bien je peux, mesdames et messieurs, devant vos yeux ébahis, lui appliquer 4 arguments: # id id (+) 1 2;; – : int = 3 Et c’est bien typé! Incroyable, ils sont fous ces programmeurs fonctionnels!

GtkMathView est un widget GTK+ pour l’affichage des formules au standard MathML. Un binding GtkMathView pour LablGtk2 est disponible (encadré « more download » en bas à gauche de la page d’accueil) : en paquets pour Debian (liblablgtkmathview-ocaml et liblablgtkmathview-ocaml-dev) en sources Je n’ai personnellement pas tenté d’installer ce composant, je vous invite à laisser un commentaire si vous avez fait l’expérience.

La rubrique C de la rédaction developpez.com lance le 5-ième défi C qui est aussi le premier défi inter langage. Vous pouvez participer quelque soit votre langage favori (C/C++, C#, JAVA, Perl, Php, Office, Matlab, Prolog,…). Découvrez le sujet et défendez haut vos couleurs : http://c.developpez.com/defis/5-Cube-Soma/ Consultez également le fil de discussion dédié au défi : http://www.developpez.net/forums/d805461/c-cpp/c/defis-c/5eme-defi-decouvrez-cube-soma/ Si votre langage n’est pas encore dans la liste des langages du défi alors faites rapidement connaître votre […]

S’il y a une chose qui m’étonne c’est qu’avec toutes les abstractions à la disposition du programmeur OCaml il soit encore difficile d’implanter correctement un TAD ensemble. Dans ma bibliothèque de structures de données (OCaml-Idaho) j’ai opté pour une implantation par arbre de recherche équilibré. La cohérence de mes fonctions de comparaison est assurée par un paramétrage par les modules. Grâce aux higher-order modules on peut associer chaque type à une valeur. En associant le […]

J’ai installé Eastwest, un langage intégré avec un éditeur dirigé par la syntaxe dont j’ai parlé dans mon précédent billet. C’est sympathique mais encore très expérimental. À titre de démonstration voici un petit dérivateur formel pour Eastwest. Je me suis quand même un peu fait avoir sur cet exemple parce que Eastwest accepte les constantes float dans les motifs mais en fait il les traite comme de nouvelles variables. Du coup mon code qui paraît […]

Eastwest est un langage jouet intégré avec un éditeur dirigé par la syntaxe. Eastwest s’appuye sur OSET, le O’Caml Structure Editor Toolkit, un framework pour éditeurs structurés basé sur LablGtk2. Eastwest est une démonstration étonnante de ce que non seulement Objective-Caml n’est pas réservé qu’à des programmes console mais qu’il peut même être en avance en matière d’interfaces interactives.

Le billet d’aujourd’hui a pour but de désamorcer une difficulté courante et propre à entraver l’usage des classes en Objective-Caml. Le style de programmation encouragé par Objective-Caml tend à marginaliser le recours à une POO d’encapsulation où les classes auraient pour objectif essentiel de limiter la propagation des effets hors d’une certaine portée. En présence de valeurs immutables cet usage des classes comme un moyen de componentisation, si essentiel en POO impérative, perd tout ou […]

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 […]

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.

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. […]