User:
Arch-TK
Created:
October 10 2016
Karma:
2402
Any sufficiently complex type system is indistinguishable from an esolang.