Hacker News new | ask | show | jobs
by prologist11 662 days ago
Any sufficiently advanced type system is indistinguishable from Prolog.