New answers tagged type-systems
What is the connection between type inference and advanced type systems? There are three things off the top of my head: Language designers interested in type systems will focus their language design around them. This means that all sorts of type oriented features were considered/implemented - inference being one. ML had it, so when follow up languages ...
Top 50 recent answers are included