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

Any sufficiently complex type system is indistinguishable from an esolang.