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

Any sufficiently complex type system is indistinguishable from an esolang.