Journal
RSS Feed
Tag cloud
mrb: Types Are The Truth
Pour ceux qui ne comprennent pas le principe de "type erasure", ou qui veulent en apprendre plus à ce sujet.
"Most compilers for full-scale programming languages actually avoid carrying annotations at run time: they are used during typechecking (and during code generation, in more sophisticated compilers), but do not appear in the compiled form of the program."
jeu. 12 juin 2014 10:13:51 CEST -
-
link
- http://michaelrbernste.in/2014/06/10/types-are-the-truth.html
type algorithmique langage
"Most compilers for full-scale programming languages actually avoid carrying annotations at run time: they are used during typechecking (and during code generation, in more sophisticated compilers), but do not appear in the compiled form of the program."
jeu. 12 juin 2014 10:13:51 CEST -
-
link
- http://michaelrbernste.in/2014/06/10/types-are-the-truth.html
type algorithmique langage
Ce journal est basé sur Ginger, un gestionnaire de lien minimaliste développé dans le cadre d'un stage de perfectionnement. Pour plus d'informations, consulter le wiki consacré à mes projets personnels.