Hacker News new | ask | show | jobs
by emiljbs 4417 days ago
Do you really want a turing complete type system? Being turing complete does not necessarily mean more powerful for real world applications.