Recherche:

Les applications nécessitant la sécurité ne peuvent écrites qu'en C, le seul langage offrant un contrôle total quant au déroulement des erreurs/exceptions (les signaux et les valeurs de errno...

Non, j'avais bien compris, rassure-toi, mais je ne comprends toujours pas tes remarques étant donné que le GC d'OCaml est générationnel et fonctionne grâce à un mark & sweep et est loin d'être...

Ah oui... et pourquoi ? Donc, d'après toi, le GC de OCaml est à foutre en partie à la poubelle ?



Le faire sous forme de front-end pour GCC est peut-être une idée intéressante : ça évite...

Certainement, mais du coup la comparaison en devient complètement risible : c'est comme comparer un torchon et un éléphant... rien à voir ! De plus, étant donné que le C fonctionne différemment, on...

Créer un langage à partir de rien est une chose difficile, c'est vrai. Cependant, il y a surtout deux choses qui me dérangent dans les commentaires vus ici et sur le site d'Anubis.

La première...

Serait-il possible d'avoir accès aux sources du compilateur et de la machine virtuelle ? J'ai l'impression que la distribution Linux ne contient que les sources de la librairie standard.

Pour ce...

OCaml fait ici du partage de valeurs, c'est pourquoi a "pointe" ici sur b et b "pointe" sur a ; de plus, a et b sont très probablement balayés assez rapidement par le GC mineur, d'où la faible...

Alors on revient aux bonnes vieilles méthodes du C (langage on ne peut plus robuste si il n'est pas entre les mains d'un cochon), à savoir tester la valeur de retour d'une fonction à chaque fois que...

Si je me souviens bien, les fermetures ne sont plus chaînées dans la machine virtuelle de OCaml : d'ailleurs, la CAM, c'est du passé.



Oui, bien-sûr, les appels récursifs terminaux sont...