Je pense que tu parles de la sécurité par des tests durant l'exécution. Ce qui permet juste d'avoir des vrai erreurs plutôt que des segfaults.
La sécurité en ocaml est assuré par du typage 'statique'. Il n'y a donc aucun impact sur les performances vu que tout est vérifié au moment de la compilation. En fait c'est même le contraire, vu que le compilateur connaît plus de truc sur le code il est capable de faire plus d'optimisations qu'un compilateur C.
[^] # Re: Hmmm
Posté par Jérémie Dimino . En réponse à la dépêche Le language de programmation ooc sorti en version 0.2. Évalué à 4.
La sécurité en ocaml est assuré par du typage 'statique'. Il n'y a donc aucun impact sur les performances vu que tout est vérifié au moment de la compilation. En fait c'est même le contraire, vu que le compilateur connaît plus de truc sur le code il est capable de faire plus d'optimisations qu'un compilateur C.