A few months ago, I introduced “MLS for Thunderbird“, an on-going effort to add support for confidentiality in Thunderbird. After long months of silence, it seems that this student project, undertaken by Vincent Tarbouriech and Roland Thaisong, two Master Students in ENSI Bourges, is finally getting somewhere.

This extension interfaces with the underlying operating system (SELinux for now) to determine your security level and, if possible, that of your correspondants. If you attempt to send an e-mail to some recipient whose security level is inferior to yours, Thunderbird will warn you that a declassification is going to happen. Lisez la suite de cette entrée »

I have made available the first preview of a second module for OCaml Batteries Included module: Enum. This module builds upon ExtLib’s enumerations (which it means to replace, if it is accepted upstream) and provides support for representation-independent iterators. These iterators are used pervasively in ExtLib and will also be used pervasively in the rest of Batteries Included, as a manner of converting data from/to data structures and as a base for syntax extensions.

With respect to ExtLib’s current implementation, this release adds

• numerous powerful constructors and manipulation functions
• functions inspired from SDFlow and dedicated to cooperative
• better management of infinite iterators
• better management of iterators created using from
• syntactic sugar.

As an example of the last point, let us note that it is now possible, without any Camlp4 extension, to replace for loops with a more (stream-)functional counterpart. That is, instead of

for i = 1 to n do
    (*...*)
done

one may now write

iter (fun i -> (* ... *) )
  (5 -- 10)

for an imperative loop or

map (fun i -> (* ... *) )
  (5 -- 10)

for a lazy transformation, etc. It won’t improve performance and it doesn’t look more readable at first glance, but it allows short expressions such as :

iter printf (5 -- 10) (*to print all numbers between 5 and 10*)
map ( ~ ) (5 --10) (*to obtain enumeration -5, -6, -7, -8, -9, -10 *)
fold ( + ) 0 ( 5 -- 10 )(*to sum all numbers between 5 and 10*)

etc. Everything is computed lazily, without allocating any intermediate data structure.

Code may be found here.

Ces jours-ci, je travaille beaucoup avec et sur OCaml, que ce soit pour le projet ExtraPol (dont je finirai bien par vous glisser quelques mots) ou pour Batteries Included (la rénovation en cours de la bibliothèque standard de OCaml). En particulier, je viens de finaliser un module de gestion des listes paresseuses. Paresseuses ? Oui, paresseuses.

Attardons-nous un moment sur le concept de paresse en programmation.

Lisez la suite de cette entrée »

A quick note to inform that I have made available the first preview of a module for OCaml Batteries Included module: Lazy Lists for OCaml. This module adds the ability to manipulate lists composed of elements which are only computed whenever their value is first needed. In particular, such lists may be used as a more powerful replacement for streams — or to port interesting algorithms from Haskell.

Code may be found here.

A few months ago, I started JStify, a project for static analysis of programs written in JavaScript 2.

While this work has seen some progress, to my regret, I have received instructions to de-prioritize that project. According to my estimates, this will entail a delay of at least one year on JStify.

The good news is that the project which has been prioritized, Extrapol, shares a number of traits with JStify. I will try and post a more complete presentation of Extrapol later this week. Without entering all the details for now, let’s just say that Extrapol is also a static analyzer written in OCaml, although this one targets C. It is my hope that most of the experience gathered with Extrapol will prove useful when JStify resumes.

Vous souvenez-vous des avions renifleurs ? En 1975, Aldo Bonassoli et Alain Villegas vendaient à Elf un dispositif miraculeux supposé détecter les gisements de pétrole depuis un avion. L’appareil se présentait comme une boîte noire, que le contrat interdisait d’ouvrir. En 1979, un physicien, Jules Horowitz, démontrait l’arnaque. Entre temps, 1 milliard de francs auront été engagés. Les conclusions de l’enquête resteront un secret d’état jusqu’à ce que le Canard Enchaîné dévoile le pot aux roses, en 1983. Quelque part en chemin, on mentionnera l’intervention de membres des services secrets français ou du haut clergé de l’Église Catholique, l’Union des Banques Suisses, Valéry Giscard d’Estaing, Raymond Barre et la destruction de preuves par la Cour des Comptes.

Pourquoi mentionner une affaire qui date de 25 ans ? Parce que les boîtes noires reviennent, cette fois sous la forme de machines à voter.

Lisez la suite de cette entrée »

La citation est de mémoire. C’était il y a moins de dix minutes, sur France 2. C’était Rachida Dati, en train d’annoncer que la rétention de sûreté allait s’appliquer rétroactivement, malgré le jugement du Conseil Constitutionnel.

C’est donc officiel, notre gouvernement vient d’introduire la possibilité d’enfermer à perpétuité et sans procès des individus supposés dangereux. Pour ceux qui n’ont pas suivi le débat, j’insiste sur les termes :

• à perpétuité
• sans procès
• supposés
• malgré le jugement du Conseil Constitutionnel.

Le tout avec pour justification pseudo-légale un précédent appliqué en Allemagne en novembre 1933 et dont le Canard Enchaîné a publié les fac-similés, signés de la main d’Adolf Hitler. Certes, à cette date-là, l’Allemagne était encore une démocratie. Mais le premier camp de concentration avait ouvert ses portes 9 mois auparavant.

Jusqu’à présent, j’ai fait beaucoup d’efforts pour éviter le point Godwin et éviter de crier au fascisme à chaque mesure xénophobe, populiste et oligarchique. J’avoue avoir de plus en plus de mal. Je me dis que la mesure n’est peut-être pas pire que Guantanamo mais c’est assez peu réconfortant. Alors si un historien ou un historien du droit lit ce blog, j’aimerais savoir s’il y a d’autres précédents de ce genre de pratique dans une démocratie.

Parce que là, nous sommes confrontés à un gouvernement qui décide d’ignorer le Conseil Constitutionnel, c’est-à-dire la Constitution. Ce genre de pratiques porte un nom. Et flirter avec l’absolutisme n’est ni une activité saine, ni même un comportement acceptable.

If you are a developer keeping somewhat up-to-date with the latest and upcoming trends, chances are that you have heard of monads. Now, one of the traditions among developers who hear about monads is to figure them out then write a tutorial. I haven’t quite reached the second stage, but I can point you to a 1h on-line video lecture, targeted for C# and Java developers, and introducing both functional programming and monads.

Enjoy !

Depuis le 25 févirer 2008, les programmeurs en manque d’OCaml disposent d’une source officielle pour les nouvelles, billets, tutoriels et autres extraits : OCaml Planet. Si vous êtes l’auteur d’un blog consacré à OCaml, n’hésitez pas à vous enregistrer pour apparaître sur cet agrégateur.

Merci à OCamlCore et à tous ceux qui ont rendu ceci possible.

J’avais initialement prévu un bel article sur la capacité de notre gouvernement à annoncer quelque chose, accuser ses adversaires politiques de lâcheté pour ne pas avoir pris la mesure correspondante, puis faire exactement le contraire. Et puis, avec l’actualité, j’ai changé d’avis et je me suis dit que j’allais recentrer le billet sur la manière dont notre Bon Président reprend la surenchère de provocation en se plaçant au-dessus de la volonté du peuple (avec le non-référendum sur l’Europe), de son statut de président (en portant plainte contre des journalistes), de la décence (avec son mariage surmédiatisé), de l’histoire des peuples (avec son appropriation de la Shoah) et maintenant de la Constitution (avec le contournement du Conseil Constitutionnel). J’aurais pu enchaîner sur les dangers que chacun de ses gestes fait courir à la démocratie française, à court ou long terme, et je le ferai peut-être une autre fois. Mais non, à chaque fois que j’ai commencé à rédiger, l’actualité m’avait dépassé et le temps que les premiers mots touchent le clavier, notre Président Scotch-Brite était déjà en train de secouer un autre hochet médiatique.

Ça donne le tournis, hein ?

Allez, allez, notre Président Bien-Aimé a tout prévu, même de quoi nous détendre, à l’occasion. Vous ne me croyez pas ? Alors je vous invite à jeter un œil à la dernière élégance publique en date, capturée au salon de l’agriculture par Le Parisien.fr.

Quelle importance, me demanderez-vous peut-être ? Bien entendu, il y a quelques secondes de rire ou de sourire sur le candidat qui, rappelons-le, insistait il y a environ un an sur la notion de respect, ou sur l’homme qui s’arroge le droit de décider seul de ce que les enfants doivent apprendre, à commencer par la politesse. Mais le plus intéressant n’est pas là. Le plus intéressant est de constater la chute de grâce de notre Président-Payé-à-l’Audimat. Il y a six mois, un tel écart aurait été promptement étouffé et n’aurait probablement trouvé d’écho que dans Le Canard Enchaîné ou Marianne. Aujourd’hui, Google News référence 317 articles de presse sur le sujet et Yahoo! News en voit 405.

Alors pourquoi ? Il y a quelques mois, nous étions nombreux à voir dans le comportement des médias une forme de censure : comment expliquer autrement le paysage composé entièrement d’articles élogieux au sujet du gouvernement ? Comment expliquer le silence presque total sur tous les sujets qui fâchent, des mouvements anti-LRU à la fronde de tous les corps médicaux, du manque de fonctionnaires à l’humiliation systématisée des candidats à l’immigration ?

Je ne prétendrai pas apporter une réponse univoque à cette question. On peut y voir une rébellion de journalistes qui rêvaient d’échapper à un contrôle trop pesant. On peut aussi imaginer que les fissures au sein de la Droite, qui apparaissent à peine un an après le début de cette Entente Cordiale de la Droite, se traduisent par une perte de cohérence dans le visage affiché aux médias ou dans les instructions qui peuvent leur être transmises. À l’inverse, on peut aussi supposer que c’est la pression d’une opinion publique déçue par la politique de “une promesse par jour” ou lassée de l’étalage de vie privée qui aura fait bouger la presse. Dans tous les cas, une époque de l’ère Sarkozy est révolue.

Mise-à-jour: Au sujet du comportement des médias vis-à-vis de Monsieur le Président, je ne peux que vous suggérer la très intéressante émission De la suite dans les idées de ce matin, que vous pouvez écouter pour quelques jours sous la forme d’un podcast.

Pardon ? Vous dites ? Oui, je sais. Au moment où j’aurai fini d’écrire ces quelques lignes, il aura probablement trouvé moyen d’insulter encore un ou deux pays démocratiques, de s’applatir devant encore une ou deux dictatures et de faire l’éloge des fragments les plus extrêmistes d’une religion. Mais bon, on fait ce qu’on peut.