La version 4.05.0 du langage OCaml vient d’être publiée, le 13 juillet 2017 ; quelque mois après la sortie de la version 4.04.0, annoncée le 4 novembre 2016. OCaml est un langage fonctionnel de la famille des langages ML (dont font partie SML et F#). Il s’agit d’un langage fonctionnel multi‐paradigme fortement typé qui permet de mélanger librement les paradigmes fonctionnel, impératif et objet.

Il s’agit des deux premières versions après le passage à un cycle court de développement (6 mois). Elles contiennent assez peu de changements majeurs et peuvent être considérées comme des versions de maturation, en particulier pour la nouvelle phase d’optimisation Flambda introduite dans la version 4.03.

On note cependant l’intégration de deux nouveaux outils dans le compilateur : un profileur de mémoire et un fuzzer ; mais aussi quelques améliorations du langage et de la bibliothèque standard. Pas mal de changements ont aussi eu lieu dans les entrailles du compilateur et n’ont pas encore débouché sur des changements visibles à la surface du langage.

Une des nouveautés les plus surprenantes de ces cycles de développement est probablement l’apparition d’une nouvelle syntaxe alternative à OCaml, nommé Reason(ml), sous l’impulsion d’une équipe de Facebook.

Toujours des bonnes nouvelles pour ceux qui chaque mois contribuent positivement au site LinuxFr.org (dépêches, commentaires, logos, journaux, etc.). Vous n'êtes pas sans risquer de gagner un abonnement à Linux Magazine France ou un livre des éditions Eyrolles et InLibroVeritas. Voici les gagnants du mois de mars 2009 :

Abonnement d'un an à Linux Magazine France

• Julien pour son journal sur NFtables, le successeur d'Iptables, qui a d'ailleurs été promu en dépêche. N'hésitez pas à poster des journaux de cette qualité directement en dépêche.
  

Livres Eyrolles et InLibroVeritas

• Olivier Pérès pour son journal sur le prix Turing 2008 pour Barbara Liskov, lui aussi promu en dépêche. On le répète, pensez « dépêche » d'abord ! Si cela s'avère trop juste pour une dépêche, l'équipe de modération peut soit l'améliorer pour la valider, soit vous ré-orienter vers les journaux en vous renvoyant le contenu par courriel. Il n'est pas perdu.
  
• auve pour sa dépêche sur les spécifications d'OpenGL 3.1
  
• Omnisilver pour sa dépêche concernant la publication de Battle for Wesnoth 1.6.
  

Tous nos remerciements aux contributeurs du site ainsi qu'à Linux Magazine France et aux éditions Eyrolles et InLibroVeritas (lien archive.org). Sachez aussi qu'à partir d'avril, il y aura un peu plus de gagnants. En effet, les éditions ENI ont rejoint les partenaires qui nous permettent d'attribuer des livres aux meilleurs contributeurs. Merci à eux :)

N'oubliez pas de contribuer ; LinuxFr.org vit pour vous et par vous !

À 69 ans, la professeure Barbara Liskov du MIT remporte la plus prestigieuse des récompenses en informatique. Largement considéré comme équivalent à un prix Nobel, le prix Turing est décerné chaque année par l'Association for Computing Machinery à une ou plusieurs personnes dont les contributions à l'informatique sont particulièrement brillantes.

Comme beaucoup de chercheurs de premier plan, Barbara Liskov a contribué à plusieurs domaines de l'informatique, principalement :

• les langages de programmation, en particulier avec le support de la programmation répartie ;
  
• la théorie des types, où elle a défini une nouvelle notion de type dérivé (T est un type dérivé de S si toute propriété prouvable sur les objets de S est prouvable sur les objets de T) ;
  
• les bases de données, en particulier orientées objet ;
  
• l'algorithmique répartie avec tolérance aux défaillances, et en particulier les plus difficiles de toutes ces défaillances : les processus byzantins.

NdM: Un grand merci à oyp pour le journal à l'origine de la dépêche.