Il est sur que ocaml va avoir du mal à faire des threads avec son GC. Certain pense qu'un modèle multiprocess serait plus intéressant + lwt (comme chrome ?).
Les types linéaires semblent être l'avenir pour l'échange de message entre taches.
LLVM n'est pas magique, il ya un tas d'optimisation de très haut niveau impossible à faire au niveau llvm (deforestation, canonisation automatique, unboxing, changement du layout mémoire)…
[^] # Re: avantage ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie de Rust en version 0.3. Évalué à 2.
Il est sur que ocaml va avoir du mal à faire des threads avec son GC. Certain pense qu'un modèle multiprocess serait plus intéressant + lwt (comme chrome ?).
Les types linéaires semblent être l'avenir pour l'échange de message entre taches.
LLVM n'est pas magique, il ya un tas d'optimisation de très haut niveau impossible à faire au niveau llvm (deforestation, canonisation automatique, unboxing, changement du layout mémoire)…
"La première sécurité est la liberté"