3 ms·
What does a stack trace have to do with typechecking?
by MaysonL 14y ago
What does a stack trace have to do with typechecking?
- evincarofautumn 14y agoI used scare quotes because the trace has more to do with the structure of the AST than the evaluation of the program. In Haskell, for instance, a type error is given in descending order of detail: “no instance for (Num String) arising from a use of ‘+’, in the expression 5 + a, in the expression let a = "foo" in 5 + a, …”