Hacker News new | ask | show | jobs
by jqpabc123 3 days ago
More expressive --- I don't necessarily think so.

What types do is make language more precise and deterministic.