La nouvelle version 4.00.0 du langage OCaml est disponible en ligne depuis le 26 juillet 2012. Aussi, la réunion des développeurs OCaml (OUD'2012) aura lieu cette années à Copenhague le 14 septembre. Venez nombreux !

Parmi les dernières nouveautés disponibles dans cette version 4.00.0 :

• l'introduction des types de données algébriques généralisés (Generalized Algebraic Data Types - GADTs), qui permettent de détecter encore plus de bugs dès la compilation ;
• le générateur de code pour ARM a été complètement réécrit ;
• les types des modules de première classe sont maintenant inférés quand cela est possible, et les modules peuvent eux-mêmes être extraits par filtrage ;
• le compilateur est disponible sous forme de bibliothèque, et une nouvelle option -bin-annot permet de sauver l'arbre de syntaxe typé, ce qui devrait permettre l'apparition de nouveaux outils de développement plus évolués (refactoring, etc.) ;
• optimisation des fonctions partielles ;
• détection de code mort ou inutile (variables, open, champs, constructeurs, labels, etc.) ;
• émission de directives CFI pour améliorer le debuggage sous GDB.

Après une première annonce lors des RMLL 2012, un an d'existence confidentielle et d'activités sporadique, mais surtout après le succès de la 9è édition des journées Perl, le groupe des programmeurs Perl de Strasbourg (Strasbourg.pm) tiendra sa première réunion publique le 15 août. Nous appliquons pour le moment une règle simple : les réunions des mongueurs ont lieu une semaine après les AAM, réunions de la Flamekuche connection). Le lieu reste à définir et l'ordre du jour sera de proposer des pistes de travail ou de présentations pour les réunions suivantes (plusieurs mini-confs et projets sont dans le tube et souhaitent du code reviewing). Quoi qu'il en soi t: ramenez vos ordis portables.

Restez informés de l'activité de Strasbourg.pm en adhérant à sa liste de diffusion.

Rust est un langage développé par la fondation Mozilla qui implémente les paradigmes procédural, orienté objet, concurrent et fonctionnel. C'est un langage compilé plutôt orienté bas-niveau et qui concurrence le C ou le C++. Il est multiplates-formes et tourne sous Linux, Mac OS X et Windows. Pour rappel, Rust est un langage de programmation système fortement typé. L'accent est mis sur la sûreté des accès mémoire et la concurrence.

Vu les orientations de la fondation Mozilla, le but est de pouvoir développer un navigateur Web avec ce langage et les travaux ont déjà commencé, ce navigateur alternatif s'appelle Servo.

Vous vous souvenez de Colobot ? Ce jeu est un OVNI sorti en novembre 2001 (eh oui) uniquement sur plateforme Windows. La trame de fond (un scénario de colonisation spatiale) n'est qu'un prétexte. Ce jeu propose de se familiariser avec la programmation de divers robots, pour déléguer des tâches cruciales à votre survie lorsque vous arrivez sur une nouvelle planète.

Le sujet avait été brièvement abordé sur LinuxFR il y a quelques années. L'important est qu'apparemment le code source de ce programme a été rendu public par l'éditeur sous licence GNU GPL à la demande de fans de Colobot en Pologne (Polski Portal Colobot).

Le but est de rendre le jeu portable dans un premier temps (en intégrant SDL et OpenGL) et de l'améliorer par la suite. Avis aux amateurs qui veulent participer à ce projet. Il y a un forum en anglais sur le site du Portail Polonais Colobot !

Opa est un langage de programmation libre sous licence AGPL dérivé de Ocaml au service du développement d'applications web. Son développement avance à grande vitesse depuis la mise à disposition du code sous licence libre il y a un an.

Aujourd'hui est sortie la version 0.9.3 qui amène de nombreuses améliorations, dont le support des plateformes FreeBSD et Windows, des fonctionnalités supplémentaires concernant la gestion des données et la concurrence.

Je viens de finir un petit projet en Go la semaine dernière, un assembleur vers du MIPS simplifié. Voici un petit retour d'expérience, en espérant que ça serve !

NdM : merci à G.bleu pour son journal.

Dr. Geo 12.04 est un environnement de programmation et de géométrie euclidienne interactive pour une utilisation de l’école primaire au lycée. Il fonctionne sous GNU/Linux, Mac OS X, Windows et Sugar pour portable XO.
Il est développé avec le langage et l'environnement Pharo Smalltalk permettant une complète introspection du code source depuis Dr. Geo lui-même.

Cette version 12.04 propose, outre les habituels correctifs de bugs, plusieurs améliorations ergonomiques pour une utilisation avec tableaux interactives et tablettes PC.

PS : des versions Android et iPad sont en préparation.

Annoncé avec un peu retard cette fois-ci (toutes mes excuses), voilà le prochain jeudi du libre !

Pour les nouveaux venus qui ne connaissent pas encore, il s'agit d'une conférence organisée chaque premier jeudi du mois, sur un logiciel ou un thème lié aux logiciels libres. Pour mars, ça se passe donc le 1er.

Cette intervention clôturera un cycle de présentations orienté "technique" destiné à présenter les principaux gestionnaires de version décentralisés. Après Git (Git, ou comment donner l'impression qu'on est un super codeur ?) et Mercurial (Mercurial, gestionnaire de version à la portée de tous), nous finissons donc avec Bazaar, logiciel basé avant tout sur l'accessibilité.

Avant que les trolls ne commencent, je sais, il existe beaucoup d'autres logiciels, mais nous ne pouvons malheureusement pas nous permettre d'organiser un cycle d'un an pour faire le tour de tous les gestionnaires. Nous avons donc fait le choix de présenter quelques noms parmi les plus connus, tout en sachant qu'il en existe d'autres.

C'est bientôt début février, et qui dit « début de mois », dit « Jeudi du libre » ! Comme d'habitude, il s'agit d'une conférence organisée par l'ALDIL le premier jeudi du mois, c'est à dire le 2 février 2012.

Cette intervention fait écho au précédent jeudi orienté technique où il était question de présenter Git, autre gestionnaire de version décentralisé (cf. Git, ou comment donner l'impression qu'on est un super codeur ?). Cette fois encore, les développeurs sont clairement visés, avec un logiciel probablement plus facile d'accès.

Linotte est un langage de programmation particulier dans le sens où sa syntaxe est en français. Riche et facile à appréhender, il se veut accessible à des personnes débutantes en programmation informatique.

Sept ans après sa création, la version 1.6 est sortie en ce début d'année. Mais que peut-on ajouter dans un langage en français en bout de sept ans de développement ? Les principales nouveautés se sont focalisées sur la réduction du code pour écrire des algorithmes simples et la correction des bogues.

NdM : Linotte est sous licence GPLv3