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

Any sufficiently complex type system is indistinguishable from an esolang.