• [^] # Re: Le web

    Posté par . En réponse au journal Qui fait des trucs "cools" en France et en Europe?. Évalué à 6.

    Compiler OCaml/Haskell te donne la même chose qu'une couverture à 100% des branches de code avec des tests unitaires, mais sans aucune assertion.

    Hum... tu y crois vraiment ?

    Aussi, avec l'inférence de types, tu peux avoir une équipe qui implémente la moitié du code, et une autre équipe l'autre moitié. Du moment que tu as défini des interface communes.

    Sérieusement, une interface ne se limite pas aux signatures de fonctions... La sémantique, c'est pour les chiens ?

    Et Haskell te permet de faire du multi-threading sans race-condition très facilement

    Aussi facilement que n'importe quel truc fait en Haskell, j'imagine.