Typing is Hard January 26, 2022, 12:20:04 am Typing is Hardhttps://typing-is-hard.chQuoteQuoteType 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.
Re: Typing is Hard Reply #1 – January 26, 2022, 12:20:16 am Ah, semantic analysis. Hard in c++ due to generics and templates. And c++ is not completely context free so you'll be pulling you hair (literally) if you want to make a C++ compiler.
Topic: Typing is Hard (Read 5034 times)
previous topic - next topic
