> Dans cette notion, des languages comme CaML ou Haskell sont securises par exemple, mais pas C ou Java (ce dernier ne l'est pas notamment a cause des NullPointerException)
???
Soit tu dis qu'un langage sécurisé est un language pour lequel on ne peut pas avoir de segfault ou de pointeur pointant sur autre chose qu'un objet du type qu'il est censé pointer, et Java en fait partie, soit tu dis qu'un langage sécurisé est un langage où il n'y a jamais d'erreur à l'exécution, et Caml n'en fait pas partie (essaye de calculer 1 / 0 en Caml).
[^] # Re: Il y a deux notions de langage securise
Posté par Matthieu Moy (site web personnel) . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 3.
???
Soit tu dis qu'un langage sécurisé est un language pour lequel on ne peut pas avoir de segfault ou de pointeur pointant sur autre chose qu'un objet du type qu'il est censé pointer, et Java en fait partie, soit tu dis qu'un langage sécurisé est un langage où il n'y a jamais d'erreur à l'exécution, et Caml n'en fait pas partie (essaye de calculer 1 / 0 en Caml).