Most papers in computer science describe how their author learned what someone else already knew.
Schlagwort: Programmieren
Understanding Research.
Expected type Target, found Foot.
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
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