user:Arch-TK
created:Oct 10, 2016
karma:2076
about:

Any sufficiently complex type system is indistinguishable from an esolang.