Sortie de GHC 8.0.2 et une petite histoire de typage statique

33
23
jan.
2017
Programmation fonctionnelle

GHC, le compilateur Haskell le plus utilisé, est sorti en version 8.0.2 ; vous pouvez consulter l’annonce de la sortie datée du 11 janvier 2017, ainsi que les notes de version.

Il s’agit principalement d’une version de suivi qui corrige plus de deux cents bogues depuis la version 8.0 dont l’annonce de la sortie avait été faite sur LinuxFr.org. Donc, à ce titre, il n’y a pas grand chose à raconter. Le futur, c’est GHC 8.2 qui devrait arriver aux environs d’avril, si l’on en croit le planning. Celle‐ci devrait apporter principalement des améliorations de performance de l’environnement d’exécution parallèle et du ramasse‐miettes.

Comme on frôle la dépêche bookmark et que je tiens à mon karma, je vais vous présenter une fonctionnalité de Haskell, que l’on retrouve dans de nombreux langages. J’ai nommé les ADT, ou types algébriques de données.

Journal Un cours en français sur la compilation : ne boudons pas notre plaisir !

60
16
déc.
2012

Pour me déculpabiliser de quelque procrastination sur le réseau des réseau - bref, j'ai moulé sur le Web -, je regarde parfois des conférences scientifiques, le net en regorge pour qui a le temps de chercher. Une pourra peut-être vous intéresser : elle est donnée au collège de France par Xavier Leroy, sur la compilation et le typage.

Pour les pressés, tout de suite le lien la Conférence.

De l'assembleur aux langages de haut niveau !

Xavier Leroy retrace rapidement (...)

Journal Typage statique versus typage dynamique

Posté par . Licence CC by-sa
Tags :
32
8
juil.
2012

Réveillé par le journal précédent sur la transformation de programmes python vers le C, je me suis dit qu'en ce beau dimanche, ce serait cool de lancer le fameux troll "typage statique versus dynamique", mais avec des sources de poids :)

Un mec a transcrit (ligne à ligne !) des programmes python vers haskell pour voir si cela ferait apparaître des bugs grâce au typage statique.
Il n'a bien sûr pas changé le design et suivi celui qui avait été fait (...)