septembre
2009
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.
Un article de SpiceGuid 
septembre
2009
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 […]
septembre
2009
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 […]
septembre
2009
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 […]