OCaml de pied en cap » Actualités

Journées Méditerranéennes du Logiciel Libre (JM2L 2010)

Cacophrene — Sun, 28 Nov 2010 19:36:10 +0000

Bonjour,

J’ai eu l’occasion d’assister ce week-end à trois conférences données dans le cadre des Journées Méditerranéennes du Logiciel Libre (JM2L). Comme il est connu qu’on ne râle jamais mieux qu’en français, cette partie ne sera pas écrite dans la langue de Shakespeare.

Création d’un logiciel libre, Thibault Duponchelle
Robots mobiles et autonomes contrôlés avec Pharo, Noury Bouraqadi
Autour de SSL/TSL, Philippe Lhardy

Je tiens d’emblée à dire que l’avis formulé ici n’engage que moi. Le ton adopté est volontairement critique, sans doute un peu exagérateur, mais c’est à dessein : on apprend en tombant.

Création d’un logiciel libre

Cette première conférence avait pour objectif de présenter dans leurs grandes lignes les recettes qui permettent de concevoir efficacement un logiciel libre. Le conférencier a donc rappelé les conseils donnés aux programmeurs (documentez-vous, posez des questions, entraînez-vous, etc.) et mis l’accent sur le grand nombre d’outils accessibles pour faciliter le travail (débogueurs, générateurs de documentation, logiciels de gestion de versions, forges, etc.). Je regrette que la seule application évoquée lors de la conférence (un émulateur de calculatrices) ait un point de départ juridiquement contestable et ne présente qu’un intérêt très limité. Franchement, si j’accepte de payer 200€ une calculatrice aux airs de petit ordinateur, est-ce vraiment pour y installer Tétris ou DragonBall ? S’il y avait un exemple de logiciel libre à ne pas présenter, c’était justement celui-là.

Robots mobiles et autonomes contrôlés avec Pharo

Cette seconde conférence a été donnée par un enseignant-chercheur de l’école des Mines de Douai. Il y était question de robotique et d’un fork du langage Smalltalk appelé Pharo. C’est un langage à objets et à typage dynamique, assez éloigné de ma culture informatique. Les possibilités ont l’air intéressantes, mais la conférence laisse un goût amer : les nombreuses démonstrations (une dizaine) manquaient de vigueur et donnaient l’impression qu’on travaille avec Pharo par ajouts de rustines successives sans jamais penser le programme dans sa globalité. Dommage, le potentiel était là.

Autour de SSL/TSL

Sans doute la conférence que j’ai le plus apprécié. La sécurité informatique est aussi un domaine que je connais peu. Le conférencier a fait preuve de pédagogie avec des exemples variés et des schémas soignés. Au fil des diapos, on se demande quand même ce qu’Alice avait de si important à dire à Bob.

Conclusion

Il serait peut-être intéressant de proposer, pour la session 2011, un atelier d’initiation à la programmation fonctionnelle à travers le langage OCaml. Cela permettrait de sortir des sentiers battus et de montrer que le typage statique fort est aussi capable de produire des outils puissants. Le problème avec les idées, c’est qu’on les lance sans réfléchir, et il n’y a presque jamais personne pour les rattraper avant qu’elles ne se brisent.

Cordialement,
Cacophrène

Plus d’encre.

Cacophrene — Tue, 06 Apr 2010 19:18:11 +0000

Amateurs de dromadaires, férus d’informatique, caméliens, lecteurs en tout genre, bonsoir !

Le temps me manque plus cruellement que jamais pour alimenter ce blog. Pourtant, ce ne sont pas les sujets qui manquent. L’actualité, à elle seule, apporte matière à des dizaines de billets.

Un billet, par exemple, pourrait évoquer le décès récent de Robin Milner et retracer son brillant parcours d’inventeur du langage ML et coauteur de l’algorithme d’inférence qui porte désormais son nom, l’algorithme de Hindley-Milner.

Les temps actuels sont aussi enrichissants en dehors du monde informatique. Les débats de société récents sur les changements climatiques et les biotechnologies soulèvent des questions scientifiques et philosophiques qui mériteraient de longs développements. Hélas, je n’ai plus le temps pour ça.

Peut-être le blog réouvrera-t-il ses portes un jour… mais pour l’heure, rideau ! J’adresse mes sincères remerciements à tous les lecteurs qui ont suivi ces billets avec intérêt.

Bien cordialement,
Cacophrène

Dernières nouvelles du chameau

Cacophrene — Wed, 11 Nov 2009 15:40:30 +0000

Bonjour !

Voici, en avant-première, quelques-uns des changements attendus pour la prochaine version majeure d’OCaml, à savoir la 3.12. Qu’on se le dise : s’il y a matière à écrire un billet, c’est que les changements ne sont pas mineurs !

La dernière version majeure publiée (version 3.11) apportait surtout de nouveaux outils (dynlink accessible en natif et refonte conjointe de camlp4, ocamlbuild). La prochaine version promet quant à elle au moins un changement conceptuel assez remarquable. Lequel ? Bah, je fais commencer par parler d’autre chose pour garder le suspense…

Une dose de sucre syntaxique

Comme chaque version, OCaml 3.12 apportera sa dose de sucre syntaxique. Deux ajouts ont retenu mon attention. Le premier concerne l’ouverture locale des modules, qui était déjà disponible sous forme d’extension camlp4 :

let _ =
let open String in
concat (make 1 ' ') ["foo"; "bar"]

On pourra aussi utiliser la syntaxe alternative :

let _ = String.(concat (make 1 ' ') ["foo"; "bar"])

Le second ajout concerne le type record, et vise surtout à alléger les notations à la création et lors du filtrage :

type t = {foo : int; bar : int; foobar : int; barfoo : int}

let make foo bar foobar barfoo = { foo; bar; foobar; barfoo }
let get_foo { foo = n; _ } = n

Ces deux changements mineurs devraient apporter plus de souplesse. Ils s’inscrivent dans la continuité d’allègements déjà réalisés auparavant. Je pense à la version 3.08, qui a introduit une fonctionnalité peu utilisée : la possibilité de ne préciser le nom du module que dans un champ du record :

module Foo =
struct
type t = {foo : int; bar : int; foobar : int; barfoo : int}
end

let create x y z t = { Foo.foo = x; bar = y; foobar = z; barfoo = t }

Bon, c’est bien gentil tout ça, mais ça n’est pas non plus une révolution, et il n’y a pas vraiment matière à en parler avant la sortie de la prochaine version majeure d’OCaml. Nous allons donc maintenant lever le voile sur le changement conceptuel que j’annonçais en début de billet.

Des modules de première classe

Voilà la raison d’être de ce billet : la future version d’OCaml introduira les modules de première classe (dans le genre de ceux de Moscow ML, sauf erreur de ma part). Pour les non-initiés qui liraient ce billet, cela signifie que les modules peuvent désormais être reçus en argument et/ou renvoyés comme résultat d’une fonction. Voici un petit exemple pour vous donner une idée de la syntaxe qui a été retenue (attention : la fonction print ne compile pas avec la version de développement utilisée au moment de la rédaction de ce billet) :

module type FILE =
sig
val get_name : unit -> string
val get_path : unit -> string
val exists : unit -> bool
val is_directory : unit -> bool
end

let read () =
Array.map (fun x ->
let module This =
struct
let get_name () = Filename.basename x
let get_path () = Filename.dirname x
let exists () = Sys.file_exists x
let is_directory () = Sys.is_directory x
end
in (module This : FILE)
) (Sys.readdir ".")

let print =
List.iter begin fun mdl ->
let module (This : FILE) = mdl in
Printf.printf "%s: est un %s\n%!" (This.get_name ())
(if This.is_directory () then "répertoire" else "fichier")
end

Au niveau des signature, on aura quelque chose de semblable à ceci :

val read : unit -> (module FILE) array
val print : (module FILE) array -> unit

Voilà qui ouvre de bien sympathiques perspectives…

D’autres changements sont prévus, mais je ne vais pas non plus tout vous dire. Si vous êtes intéressés par tout ce que j’ai passé sous silence, n’hésitez pas à consulter le dépôt et la version en cours de développement !

À bientôt,
Cacophrène

Ubuntu 9.10 est arrivé

Cacophrene — Sat, 31 Oct 2009 14:45:42 +0000

Bonjour !

Il y a trois manières de se justifier quand on commence à parler d’actualité informatique. Il y a d’abord la mauvaise foi : « parler de l’actualité informatique est intéressant ». Pourquoi pas… moi je connais des choses autrement plus intéressantes. On peut aussi évoquer la dictature du billet : « un blog sans billet est un blog mort ». Mais la frénésie du bloggueur est souvent inversement proportionnelle à la qualité des billets. Ça ne va pas non plus ! Il reste donc la franchise. Et, pour le coup, je suis plutôt content du changement qui vient de s’opérer.

Ubuntu 9.10 est arrivé. Baptisé Karmic Koala, c’est une version tout à la fois esthétiquement novatrice, plus rapide et plus ergonomique que les versions précédentes.

L’utilisateur lambda peut accéder facilement à une vaste logithèque sans lancer le gestionnaire de paquets Synaptic (plus lent, moins convivial). D’ailleurs, c’est dans ce bric-à-brac que j’ai découvert un logiciel qui m’intéresse beaucoup, Bibus. Léger et bien intégré au bureau GNOME, il permet de chercher des références bibliographiques (notamment sur PubMed) et les exporte au format BibTeX. Chouette !

Quoi de neuf chez les utilitaires ? L’outil de nettoyage du système est plus soigné et fonctionne mieux qu’avant. On peut consulter les partitions et l’occupation des disques avec Palimpsest. Bref, Ubuntu 9.10 apporte quelques nouveautés intéressantes dans le panneau de configuration.

Côté esthétique, la distribution fait peau neuve. On y trouve de nouvelles icônes qui ne sont pas sans rappeler le style d’une pomme célèbre. Un nouveau jeu de couleurs remplace l’ancien thème marron clair et un éventail bien choisi de fonds d’écran vient égayer le bureau.

Mais comme toujours, quand la raison cède devant l’impatience, il y a le problème du téléchargement. Les serveurs sont mis à rude épreuve pendant quelques jours. Et la mise à jour depuis Ubuntu 9.04 demande du temps. Mais qu’importe ! La dernière mouture de la première distro GNU/Linux par la taille de la communauté vaut vraiment le détour.

Qu’on se le dise, Ubuntu 9.10 est arrivé !
Ah… Windows Seven aussi. David et Goliath ?

Cordialement,
Cacophrène