Je croyais que l'Inria ne faisait que bosser sur les "typeurs" et autre fonctionnalité avancé de Ocaml. Pas franchement sur la génération de code, par exemple, qui reste assez primitif (le code est rapide grâce au optimisation de haut niveau, mais il n'y a pas de spécialisation de code par type, pas de déroulage de boucle,etc…).
# Maintenance par l'inria ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Annonce : un blog sur une équipe de recherche en langages de programmation. Évalué à 2.
Je croyais que l'Inria ne faisait que bosser sur les "typeurs" et autre fonctionnalité avancé de Ocaml. Pas franchement sur la génération de code, par exemple, qui reste assez primitif (le code est rapide grâce au optimisation de haut niveau, mais il n'y a pas de spécialisation de code par type, pas de déroulage de boucle,etc…).
"La première sécurité est la liberté"