Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 8,940 posts.

Life, Learning & Writing
Any year
4477

Typing Is Hard

Type checking is the process of taking a given program in some programming language and working out whether all variables and expressions have the correct types, i.e. strings are assigned to strings, arithmetic expressions involve only numbers, etc. Some languages also offer type inference , tasking the compiler with…