Ich habe versucht, die Definitionen von Typensicherheit und Typensicherheit auseinanderzuhalten, und ich habe eine verdammt gute Zeit damit. Ich habe kürzlich einen Professor gefragt und nach einigem Nachdenken sagte er, dass es wirklich keinen Unterschied gibt. Doch nach der Lektüre dieses wie es scheint:
- Typensicherheit ist eine Eigenschaft der Sprache, die besagt, dass die Anwendung von Funktionen (und Operatoren) auf Daten sinnvoll ist (dh 1 / "Hallo" ist Unsinn und nicht zulässig).
- Type Soundness ist eine Eigenschaft eines Typprüfungssystems, das garantiert, dass seine statischen Typvorhersagen zur Laufzeit genau sind.
Dies ist eindeutig nur eine einzelne Personennotiz und ich frage mich, ob es innerhalb der PL-Community einen Standard gibt. Ich habe etwas gesucht und keine zufriedenstellende Antwort gefunden.