Euh, déjà, Ada est fortement typé (tout comme OCaml, d'ailleurs -- je crois que c'est le cas aussi pour Haskell, mais je ne suis pas sûr). Donc tout comme pour les langages dont tu parles, énormément de vérifications sont possibles à la compilation.
De plus, même si j'aime beaucoup les langages fonctionnels [1], il n'en demeure pas moins que la machine, elle, reste bêtement impérative dans son fonctionnement et son architecture. Vouloir à tout prix passer par du fonctionnel n'est pas toujours la bonne idée.
[1] Serait-ce une sorte de syndrôme de Stockholm ? :-)
[^] # Re: ...da sur mon bidet
Posté par lasher . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 2.
De plus, même si j'aime beaucoup les langages fonctionnels [1], il n'en demeure pas moins que la machine, elle, reste bêtement impérative dans son fonctionnement et son architecture. Vouloir à tout prix passer par du fonctionnel n'est pas toujours la bonne idée.
[1] Serait-ce une sorte de syndrôme de Stockholm ? :-)