Hacker News new | ask | show | jobs
by klodolph 400 days ago
Exactly—Haskell’s type checker can be made Turing-complete, but that won’t make it much like Prolog.