Les Mongueurs de Perl / Groupe de travail Articles / Conférences Perl

Nous rejoindre / SVN / Relecture / Rédaction / Planning / Liens /

Publications : Linux Magazine France, Perles, Brèves, Production, Comptes-Rendus, Interviews, Traductions, Spoofathon

La salle principale du théâtre et son écran géant.

L'ouverture de Go Open se déroule en norvégien, avec seulement une phrase en anglais pour s'excuser de ce fait. Ce n'est que par la suite qu'on m'expliquera que la seconde femme qui avait succédé à la première au micro était une Ministre, plus précisément Heidi Grande Røys, Ministre de l'Administration et de la Réforme du Gouvernement. Problème d'organisation, les détails sur le salon ne seront donnés qu'après (alors que je me serai déjà éclipsé pour écouter Larry Wall). Cela m'aura néanmoins permis de voir la grande salle et son écran géant affichant une belle liste de sponsors.

La table périodique des opérateurs de Perl 6.

Quand est-ce que Perl 6 sera prêt ? La réponse standard est « pour Noël ». Avant 2040, probablement avant 2014. En pratique, le langage étant précisément défini par une spécification qui est elle-même traduite sous forme d'une suite de tests, on sait que l'implémentation est complète quand tous les tests passent.

« Reduce, reuse, recycle » sont les maîtres mots des changements des opérateurs entre Perl 5 et Perl 6. Ainsi, <> qui était glob() en Perl 5, a été recyclé en constructeur de tableaux en Perl 6, parce qu'on construit plus souvent des tableaux qu'on appelle glob(). q[...] a inspiré #[...], et de même q[[...]] pour #[[...]]. Les avertissements et les exceptions ont été fusionnés puisqu'il s'agit à la base de la même chose, ne différant que dans la poursuite ou l'arrêt du programme.

Les opérateurs ont été rationalisés, mais s'il y en a une grande quantité, et même encore plus avec les combinaisons de méta-opérateurs, le tout suit une certaine logique, qu'on retrouve dans la table périodique des opérateurs assemblée par Mark Lentczner.

Dans les nouveautés, un peu pêle-mêle : les blocs peuvent maintenant prendre plusieurs arguments ; le support objet est augmenté des traits (vérifiés à la compilation) et des mixins à la Ruby (vérifiés à l'exécution) ; l'opérateur smart match ~~ ; les méta-opérateurs ; les junctions ; les feeds, comparables aux tubes Unix (pipes), mais au sein du langage (et bidirectionnel).

Jonathan Worthington.

Rakudo est l'une d'elles, écrite en NQP (Not Quite Perl), Perl 6 et PIL (Parrot Intermediate Language). Son nom vient du japonais rakuda-do, « la voie du chameau », abrégé en i<rakudo>, qui signifie aussi « paradis ». Elle passe actuellement plus de 10 000 tests de spécifications, soit environ 65% de la spécification actuelle.

Jonathan enchaîne ensuite sur les détails de la syntaxe du langage.

Variables. Le sigil fait maintenant partie du nom de la variable, et définit un genre de contrat d'interface.

Boucles. Les boucles de parcours s'appuient sur les arguments de bloc et s'écrivent maintenant :

    for %ages.kv -> $name, $age { ... }

Les boucles de style C s'écrivent quant à elles ainsi :

    loop ($i = 0; $i < 10; $i++) { ... }
    loop { ... }    # boucle infinie

Chaînage de conditions. On peut fusionner plusieurs conditions en une seule :

    if 1 <= $roll1 == $roll2 <= 6  { ... }

Paramètres. Les tableaux et hashes sont maintenant correctement passés aux fonctions, les paramètres peuvent être nommés et accepter des valeurs par défaut.

    sub substr ($str, $from = 0, $len = Inf) { ... }
    # $from vaut par défaut 0, et $len l'infini

    sub formalize ($text!, :$case, :$justify) { ... }
    # $text est un paramètre positionnel obligatoire
    # $case et $justify sont des paramètres nommés optionnels

Objets. À peu près tout en Perl 6 peut être manipulé comme un objet (autoboxing). Les méthodes se définissent maintenant avec le mot-clé method, qui est comme le traditionnel sub mais permet en plus d'accéder à l'objet courant par le mot-clé self.

Types. La méthode .WHAT peut être invoqué sur n'importe quoi, et indique quel est le type du bidule.

      42.WHAT == Int     "beer".WHAT == Str

Les variables peuvent être typées, pour qu'elles ne stockent qu'un type de données. La vérification est effectuée à la compilation si possible, sinon à l'exécution. On peut créer des sous-types à partir des types existants :

    subset PositiveInt of Int where { $_ > 0 }

I/O. open() renvoie l'objet, et on lit les données avec l'opérateur d'itération (= en préfixe).

    my $fh = open($filepath, ":r");
    for =$fh -> $line { say line }      # auto-chomp()
    $fh.close;

Les descripteurs de fichiers globaux STDIN, STDOUT, STDERR s'appellent maintenant $*IN, $*OUT, $*ERR.

Jonctions. Une jonction est une superposition de plusieurs valeurs stockée dans un scalaire, permettant une parallélisation du code.

  opérateur de liste    opérateur infixe
  ------------------    ----------------
  any($a, $b, $c)       $a | $b | $c
  all($a, $b, $c)       $a & $b & $c
  one($a, $b, $c)       $a ^ $b ^ $c
  none($a, $b, $c)

  if $x == 1|2|3 { ... }    # vrai si $x vaut 1, 2 ou 3

  1|2 + 4 == 5|6

Quand on passe une jonction à une fonction qui sait gérer que des scalaires normaux, cette fonction est appelée autant de fois qu'il y a de valeurs dans la jonction, et les résultats sont recombinés en une jonction.

Méta-opérateurs. Le méta-opérateur de réduction [..] prend un opérateur et un tableau, et agit comme si l'opérateur était entre tous les éléments.

    $sum = [+] @values;     # somme des valeurs
    $fact = [*] = 1..10;    # factorielle de 10

Les hyper-opérateurs »..« permettent d'exécuter l'opérateur sur chaque élément des listes en argument. Les listes doivent avoir la même taille, sauf si on dirige une des pointes vers l'extérieur.

    (1, 2, 3) »+« (2, 4, 6);        # (3, 6, 9)
    (1, 2) »+« (10, 20) »*« (2, 3)  # (21, 62)
    -« (1, 2, 3);                   # (-1, -2, -3)
    @array »+=» 42;                 # ajoute 42 à chaque élément
    $left «*» $right;               # ça marche aussi

Le méta-opérateur croix X réalise un produit cartésien des éléments en arguments. Il produit toutes les permutations possibles et applique l'opérateur entre les paires d'éléments obtenues.

    <a b> X~ <1 2>;         # <a1 a2 b1 b2>
    1, 2  X*  3, 4;         # 3,4,6,8

Et bien sûr, les méta-opérateurs peuvent être combinés...

La présentation de Jonathan continue mais je ne peux rester jusqu'au bout, voulant écouter Tobias Oetiker.

Ingy döt Net (Brian Ingerson).

YAML, c'est déjà un vocabulaire commun entre les différents langages. On parle de collections de données, sous la forme de séquences (tableaux) ou de mappings (hashes), qui peuvent bien sûr s'imbriquer. La syntaxe classique de YAML s'appuie sur des blocs dont l'indentation détermine le niveau, mais a depuis introduit une syntaxe identique à JSON, les flux.

    # style bloc:
    -
      name: Mark McGwire
      hr:   65
      avg:  0.278
    -
      name: Sammy Sosa
      hr:   63
      avg:  0.288

    # style flux:
    Mark McGwire: {hr: 65, avg: 0.278}
    Sammy Sosa: {
        hr: 63,
        avg: 0.288
      }

Les collections peuvent même être utilisées comme clés de mappings :

    {John: Rockway}: Catalyst

En plus des types et des tags, YAML supporte aussi les ancres et alias, ce qui permet de référencer une partie d'une structure à un autre endroit, ce qui permet la sérialisation de graphes.

Ingy explique que malgré la spécification YAML, la communauté Perl attendait finalement que ce soit lui qui l'implémente. Comme les choses ont stagné, TPF lui a octroyé une bourse de $3000 pour qu'il porte PyYAML en Perl, ce qu'il a d'abord fait en Perl 6, et termine de faire en Perl 5. Le nouveau module YAML.pm devient une interface utilisant le meilleur moteur YAML disponible sur le système.

Il termine en indiquant que YAML n'a pas de contrat d'interface, la structure étant un accord entre l'émetteur et le destinataire, et signale que la spécification 1.2 de YAML sera prête le 1er mai, pour OSCON 2009.

Mitch Trachtenberg.

Les images des bulletins ont été cryptographiquement signées, gravées sur DVD et rendues disponibles sur l'internet. Mitch n'a utilisé que des logiciels libres pour que tout soit facilement reproductible : Ubuntu, Scanimage (SANE), Seahorse (GPG) et des outils graphiques d'archivage. Il a de plus écrit le logiciel Ballot Browser, avec Python et Tk, pour automatiser la vérification des bulletins.

Son logiciel charge chaque image, repère des motifs sur les coins pour vérifier l'orientation du bulletin et le numéro du district, sélectionne le patron de bulletin correspondant, repère les marques correspondant aux choix du votant et affiche le résultat de son analyse à l'écran en permettant à l'utilisateur de vérifier visuellement ce résultat et si nécessaire de l'invalider par appui sur un bouton. Les résultats sont fournis sous forme d'un fichier CSV, facile à importer dans un tableur ou une base de données.

Mitch effectue une démonstration sur l'ordinateur d'un organisateur grâce à un live DVD : il lance l'analyse sur quelques bulletins et l'interrompt pour montrer en détails l'utilisation de l'interface.

On lui avait objecté de nombreux faux problèmes quand il a démarré ce projet : « ça ne peut être fait pour moins de $x millions de dollars », « il faut des millions de lignes de code », « c'est trop difficile à utiliser ». Sa réponse : JFDI, partager, espérer que d'autres vont contribuer, prier pour des fonds. Les vrais problèmes touchent à la sécurité (comment valider l'utilisation de GPG ? être sûr que l'implémentation est correcte ?), au coût du matériel (le scanner utilisé est un modèle très cher, permettant de scanner les documents à la chaîne) et à la bureaucratie (si ça ne coûte rien, où est le gain ?).

Interrogé sur son opinion à propos du vote électronique, Mitch répond que c'est selon lui inutile, l'utilisation du bulletin papier étant bien plus facile et plus fiable.

Yuval Kogman.

Manque de chance pour Yuval, une manifestation se déroule sur la place des partis sur laquelle donne le bâtiment du Parti Travailliste, et bien qu'on soit au 12e étage, on entend parfaitement les bruits de la foule.

Malgré cela, Yuval explique ce qu'est KiøkuDB (à noter qu'étant un fervent utilisateur de Møøse, tous les "o" de ses slides s'écrivent "ø"). Par opposition aux ORM qui n'implémentent qu'un sous-ensemble des objets et une forme assez pauvre d'algèbre relationnelle, KiøkuDB permet de stocker des objets de manière native et non-relationnelle, fonctionnant sur le principe d'une base de données orientée document, sans schéma. Plusieurs backends de stockage sont disponibles : BerkeleyDB, DBI, CouchDB, Amazon SimpleDB, fichiers plats.

Le stockage d'objets Perl présents en mémoire sur un support permanent n'est pas une tâche facile. Huit ans plus tôt, Pixie était déjà une tentative d'atteindre ce Saint Graal. KiøkuDB est un nouvel essai mais la différence est qu'il peut se passer des heuristiques hasardeuses grâce aux possibilités d'introspection offertes par Møøse et MOP. On peut ainsi enregistrer et charger des graphes d'objets sans problème.

Yuval montre un exemple avec des objets représentant un blog et ses entrées, et indique que pour les backends qui le supportent, les opérations sont transactionnelles.

Pour les objets non-Møøse, KiojuDB::TypeMap propose déjà plusieurs modèles : Naive pour les objets classique à base de hash, StorableHook pour les classes supportant ces fonctions. Les objets avec une méta-classe peuvent définir des traits additionnels pour indiquer des attributs à ne pas sérialiser ou à charger à la demande.

Yuval reconnaît que Møøse n'offre par contre pas une grande vitesse d'exécution, mais autorise tout de même dans les 400 reconstructions d'objet à la seconde sur son portable. Il espère néanmoins que Moose::XS permettra d'améliorer les performances.

Brian Ingerson demande comment KiøkuDB est lié à Perl ; Yuval répond qu'étant basé sur Møøse, l'implémentation est spécifique à Perl, mais le concept peut très bien être porté dans d'autres langages.

Gabor Szabo.

Padre signifie Perl Application Development and Refactoring Environment, mais comme le dit Gabor, c'est juste un éditeur de texte avec un ego surdimensionné :-).

Pourquoi créer un nouvel éditeur alors qu'il en existe déjà une pléthore ? La plupart (vi, emacs, etc) sont conçus par et pour des geeks. Padre se veut pour les gens normaux.

Par ailleurs, Perl lui-même n'aide pas souvent le débutant avec des messages d'erreurs pas toujours très clairs (et diagnostics.pm est plutôt trop verbeux et n'aide pas vraiment non plus). Le but de Padre est d'aider le programmeur à comprendre l'erreur, et même à en éviter en repérant les plus courantes, par exemple use warning; (manque le "s") ou l'utilisation d'une fonction comme say() sans un use 5.010.

Gabor fait un démonstration et présente les différentes fonctionnalités :

• facilité de création d'un programme ou module Perl 5, et même de distribution CPAN (avec Module::Starter)

• diff entre le fichier sur disque et sa version en mémoire

• intégration de Ack (le grep du programmeur)

• interface traduite en une dizaine de langues

• exécution du code avec surlignage des erreurs et avertissements ; un clic sur le message et les diagnostics détaillés s'affichent, avec la traduction si elle est disponible

Bien sûr, on peut étendre Padre avec des plugins, et plusieurs sont déjà disponibles sur le CPAN : Nopaste, PAR, Perl::Critic... MyPlugin est un plugin local facile à éditer et à recharger pour changer le comportement de l'éditeur en temps réel.

Padre peut utiliser PPI pour l'analyse du code Perl, mais c'est désactivé par défaut, PPI étant un peu lent. Cela permet d'avoir des fonctionnalités spécifiques à Perl comme trouver une accolade non appariée, renommer lexicalement une variable, trouver la déclaration d'une variable, voir la structure globale (les fonctions) d'un fichier.

Padre permet aussi d'écrire du Perl 6, en fournissant une aide contextuelle tirée des Synopsis. Le code peut être exécuté si Rakudo est installé. Gabor note qu'une fois que Patrick Michaud aura corrigé un bug dans PCT, il sera très facile de récupérer l'arbre d'analyse de n'importe quel langage implémenté avec Parrot, et ainsi fournir pour chaque nouveau langage un support automatique de coloration syntaxique.

Gabor termine en précisant que Padre est bien sûr disponible sur le CPAN, mais aussi sous forme de paquet pour les principales distributions.

La statue en bronze blanc Myth (Sphynx) de Marc Quinn,
représentant Kate Moss dans une pose.. surprenante,
accueille les visiteurs à l'entrée du bâtiment.

De nombreuses personnes sont restées après la conférence pour participer au hackathon de deux jours consacré à Perl 6, ou aux formations à Perl 6 et aux tests automatisés réalisées par Gabor Szabo.

Copyright © Les Mongueurs de Perl, 2001-2011 pour le site.
Les auteurs conservent le copyright de leurs articles.