from
Hacker News
Top
New
Arch-TK
joined 10/10/16, 5:29 PM has 2073 karma
Any sufficiently complex type system is indistinguishable from an esolang.
This user hasn't posted yet