Skip to main content
Topic: Typing is Hard (Read 152 times) previous topic - next topic

Typing is Hard

Typing is Hard

https://typing-is-hard.ch

Quote
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 the task of figuring out correct types on its own. Depending on a languageā€™s features the type checking and type inference problems range from trivial to undecidable.