Hacker News new | ask | show | jobs
by Arch-TK 702 days ago
Any sufficiently complex type system is indistinguishable from an esolang.