Ensuring correctness through the type system | Dark Hacker News