Why don't we have a theory of typechecking/elaboration as sophisticated as the theory we have for lexing/parsing?
11
3
60
Conversation
I've thought about this a few times. Would be neat if would could the equivalent of parser combinators but for type systems.
1
1
3
Algebraic type checking seemed like it was somewhat towards that direction: bentnib.org/posts/2015-04-
