3 ms·
What is wrong with type theory that it needs to be replaced every few decades, just because it got "old"?
by pekk 13y ago
What is wrong with type theory that it needs to be replaced every few decades, just because it got "old"?
- adamnemecek 13y agoBecause older type systems aren't webscale /s.
- freyrs3 13y agoNothing is wrong with it, it's just as relevant today as it was 40 years ago, if not more. Most of the really interesting modern work is just building on top of some form intensional Martin-Löf theory.
- chadzawistowski 13y agoI don't think there's anything implicitly wrong with a 40 year old type theory. Rather, C's type system is pretty decrepit.
- pekk 13y agoThis was a rhetorical question, it is clearly ridiculous to toss things out just because they are 40 years old