Hacker News new | ask | show | jobs
by srtjstjsj 3220 days ago
You are confusing "static typing" with "algebraic typing", which is related but different.