Hacker News Reader

All this FP revolt kind of start to remind me Whitehead's and Russell's attempt to invent a formal system which would be paradox free...

Martin-Lof Type Theory doesn't actually have any paradoxes in it.

Well, it does—Girard found one. It also has lots of troubles with equality.