3 ms·Any sufficiently complex type system is indistinguishable from an esolang.by Arch-TK 2y agoAny sufficiently complex type system is indistinguishable from an esolang.