“Type safety” is a thing (not even unrelated, see Hofstadter’s ‘type safe wish’). Also it was pretty counterintuitive until people figured it out.
“Type safety” is a thing (not even unrelated, see Hofstadter’s ‘type safe wish’). Also it was pretty counterintuitive until people figured it out.