ERic (Entity-Relationship interactive calculator) est un jeune logiciel libre, en ligne de commande, sous licence EUPL-1.1.
ERic permet d’éditer et de sauvegarder des ontologies et des bases de connaissance sous forme de graphes entités/relations. Ensuite, grâce à son algorithme de subsomption, ERic est capable d’interroger sa base de connaissance de façon remarquablement flexible.

ERic v0.2c ajoute le support des nombres réels flottants et des unités SI du système international de mesure.

• Le forum d’ERic hébergé par developpez.net
• Le dépôt SVN d’ERic

Ce billet annonce la disponibilité immédiate d’ERic v0.2a

ERic (Entity-Relationship interactive calculator) est un jeune logiciel libre, en ligne de commande, sous licence EUPL-1.1.
ERic permet d’éditer et de sauvegarder des ontologies et des bases de connaissance sous forme de graphes entités/relations. Ensuite, grâce à son algorithme de subsomption, ERic est capable d’interroger sa base de connaissance de façon remarquablement flexible.

• Le forum hébergé par developpez.net
• Le dépôt SVN

Ce n’est pas la première fois que je vous parle de jeu-vidéo et de programmation fonctionnelle.
Cette fois il s’agit de Raincat, un jeu SDL écrit en Haskell, pour Windows et Linux.

Le jeu consiste à déposer les accessoires (dans la colonne à droite) sur le parcours du chaton afin que celui-ci atteigne la sortie du niveau malgré la pluie et diverses projections d’eau. Car le Raincat est réellement hydrophobe, la moindre goutte sur son pelage délicat et vous devrez recommencer le niveau.

À vrai dire ce petit puzzle ne m’a pas rendu accro. Maintenir un chaton propre et toujours au sec m’apparaît difficilement comme un enjeu ludique motivant.

Ce qui est peut être plus intéressant que le jeu en lui-même c’est le témoignage que le fossé qui séparaient les langages académiques des applications quotidiennes se comble de jours en jours.

Un MIME (Multipurpose Internet Mail Extension) est une information système pour identifier les types de fichier et leur affecter certains attributs comme une commande par défaut ou une icône personnalisée.

Ce billet vous propose d’agrémenter votre station de développement Objective-Caml à l’aide d’un MIME pour vos fichiers source.
Bien sûr ça n’est qu’un exemple que vous pourrez adapter à votre application ou à votre langage de programmation favori.

D’abord un avertissement :

• l’ajout de MIMEs est une opération potentiellement dangereuse, en effet si vous perdez tous vos MIMEs vous ne pourrez plus monter un volume en cliquant sur son icône et vous devrez retourner à la console pour réaliser la plupart des opérations mêmes les plus élémentaires
• tapez la commande update-mime-database /usr/share/mime dans une console
• si cette commande n’est pas reconnue alors votre système ne gère pas la mise à jour des MIMEs et vous devrez opérer à la main, à condition de savoir ce que vous faites

Sinon créez un fichier /usr/share/mime/packages/ocaml.xml et éditez-le avec ce contenu :

Puis exécutez la commande update-mime-database /usr/share/mime.

Vous pouvez alors définir tous les paramètres liés à un MIME comme une icône personnalisée et une action par défaut pour votre gestionnaire de fichiers.

Par exemple définir une icône personnalisée pour ROX-filer :

• sauvez le fichier image en tête de cet article
• sélectionnez le menu File/Set Icon… sur un fichier *.ml
• cochez la case Pour tous les fichiers de type ‘text/ocaml-source
• lâchez l’image sur la zone réservée à cet effet

Hier, afin d’illustrer l’usage de LablGtk2, le binding GTK+ pour le langage Objective-Caml j’ai posté le code de ce Hello Developpez tout ce qu’il y a de plus basique :

Toutefois, une comparaison ligne à ligne avec la version Gtk2Hs pour Haskell, grâcieusement postée par Alp, n’était pas possible puisque mon code n’utilisait pas libglade.

On pourrait se demander pour quelle raison utiliser libglade car OCaml est un langage statiquement typé particulièrement sûr comparé à un fichier XML chargé dynamiquement et qui pourrait être modifié sans contrôle à tout moment. On pourrait argumenter qu’il est bon de séparer le visuel de l’interface et sa logique interne mais là encore le système de modules de OCaml est particulièrement bien adapté pour le separation of concerns.
L’intérêt indiscutable c’est la flexibilité, en particulier l’internationalisation est bien plus facile à réaliser que si elle était codée en dur. Et puis après tout la question n’est pas là, c’est à la mode, on peut le faire en Haskell, on peut le faire en OCaml, c’est facile à faire et ça justifie bien un nouveau billet blog.

Mon fichier XML est en tous points identique à celui de Alp :

Faites attention à ce que la balise ?xml soit bien sur la toute 1ière ligne du fichier sinon OCaml génèrera un avertissement et/ou une exception.

Le code source OCaml pour charger le XML et quitter quand l’utilisateur clique sur le bouton :

let xml =
   Glade.create ~file:"hello.glade" ()
in let window = new GWindow.window
   (GtkWindow.Window.cast(Glade.get_widget xml "window1"))
in let button = new GButton.button
   (GtkButton.Button.cast(Glade.get_widget xml "yo")
in button#connect#clicked ~callback:
   (fun () -> print_endline "Bye"; window#destroy (); GMain.Main.quit ());
   window#show ();
   GMain.Main.main ()

La différence principale avec Gtk2Hs, hormis l’absence de la do-notation, se situe au niveau du chargement et de la conversion.
C’est légèrement plus tortueux qu’en Gtk2Hs, ça se fait en 3 étapes. C’est dû à la couche orienté-objet de LablGtk.

1. on charge le gadget à l’aide de Glade.get_widget, on obtient un Gtk.widget Gtk.obj
2. on converti ce Gtk.widget Gtk.obj en Gtk.window Gtk.obj à l’aide de GtkWindow.Window.cast
3. ça ne s’arrête pas là, il n’est toujours pas possible d’utiliser cette fenêtre avec les méthodes de LablGtk parce qu’un Gtk.window Gtk.obj est une valeur mais pas un objet. il faut une deuxième conversion en un objet GWindow.window, en fait une instanciation réalisée par new GWindow.window

Voilà, ça n’était pas sorcier mais comme il faut naviguer dans une doc hyper-texte touffue et avare en explication, la première fois c’est toujours un peu déroutant.

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.

Dans tous les cas voici ma capture d’écran :

Comme je ne vois aucune raison de générer du XML là où l’on peut coder aussi bien en OCaml je vous donne la source en Objective-Caml pur et dur :

let window = GWindow.window
   ~title: "Hello, Developpez !" ()
in let button = GButton.button
   ~packing: window#add ~label:
   "Bonjour Developpez, comment vas-tu ?\n\n  \
    Je suis un programme OCaml qui utilise\n  \
    LablGtk2, le binding GTK+ pour OCaml.\n\n \
    Clique pour fermer."
   ()
in button#connect#clicked ~callback:
   (fun () -> print_endline "Bye"; window#destroy (); GMain.Main.quit ())
   window#show ();
   GMain.Main.main ()

Où les arguments optionnels (d’où le nom labl pour label/étiquette) jouent le même rôle que les balises XML.
Voici une explication un peu plus détaillée :

• le 1ier let créer la fenêtre (sans l’ouvrir)
• le 2nd let créer le bouton
• la suite associe une action au bouton (écrire « Bye », fermer la fenêtre, quitter GTK)
• puis on affiche la fenêtre
• finalement on passe la main à GTK

En plus des composants GTK standards le binding supporte également les composants suivants :

• LibGlade et GdkPixbuf
• le gadget GtkSourceView
• le gadget GLArea