Informally, though, safe languages can be defined as ones that make it impossible to shoot yourself in the foot while programming.
Benjamin C. Pierce: Types and Programming Languages
Schlagwort: Programmieren
Expected type Target, found Foot.
Kaj, Aŭ, Ne, Se Tiam.
理论: Elke taal has logical Konstanten.
Compilerfeld.
Errors are a window into your unknown unknowns.
Cheangsy.
make the change easy
then make the easy change
Made Up Stuff.
“Most of you use languages that were invented, and you can tell, can’t you. This is my invitation to you to use programming languages that are discovered.”