cognitive psychology. PhD 
Are there any programming languages with *intentionally* unsound static type systems?
-
I can't quite see how a segfault is different (in practice) from "undefined is not a function". Is it caught-by-OS vs. caught-by-interpreter that you are noting here?
Putting the PL theory hat on... If Javascript had a formal language semantics, "Undefined is not a function" would be listed as a rule. If C had a formal language semantics, *NULL would not be listed as a rule, i.e. have no semantic meaning defining the behavior.
-
-
In practice, we define *some* kind of semantics for UB, often punted to a different computation layer (e.g. the OS). But from a PL design perspective, it's important to know whether a program can enter a state for there's no official semantics.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.