4 ms·
Both System-F and Martin-Löf type theory are roughly 40 years old as well.
by freyrs3 12y ago
Both System-F and Martin-Löf type theory are roughly 40 years old as well.
- pekk 12y agoWhat is wrong with type theory that it needs to be replaced every few decades, just because it got "old"?
- adamnemecek 12y agoBecause older type systems aren't webscale /s.
- freyrs3 12y 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 12y 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 12y agoThis was a rhetorical question, it is clearly ridiculous to toss things out just because they are 40 years old