Forum général.hors-sujets De la conception du langage Python

Posté par  . Licence CC By‑SA.
27
7
fév.
2018

Dans mon journal sur La recherche en langages de programmation au quotidien, Xavier Combelle demande un avis sur Python—sur les rapports entre Python et la théorie des langages de programmation, j'imagine. J'ai choisi de créer un sujet ici puisque c'est une discussion un peu "hors sujet".

Quel est ton avis sur mon langage préféré: python auquel je n'ai pas fait défaut depuis sa découverte il y a une dizaine d'année ?

Je voudrais discuter surtout des aspects qui concernent les (…)

Sortie de GHC 8.0.2 et une petite histoire de typage statique

Posté par  (site web personnel) . Édité par Davy Defaud, rogo, palm123, Benoît Sibaud, ZeroHeure, Ontologia, Anthony Jaguenaud, Nils Ratusznik et Lucas. Modéré par ZeroHeure. Licence CC By‑SA.
Étiquettes :
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.
Étiquettes :
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 (…)