Tag Info

New answers tagged


Your problem is that you link method calls before the program is fully type-checked. In a complicated language with subtype polymorphism and parametric polymorphism, you cannot do any kind of linking before you know the type (or in the case of subtyping, the type bounds) of an expression. The solution is to introduce type variables for expressions of ...


Fundamentally, if the type system is there, the programmer has to deal with it. It can be made rather "flexible" (i.e., stays out of your way in situations where type system like Java's would be a pain) and implicit (so type annotations can be left out when they don't add value), but the programmer has to deal with it. Even if every practical, correct ...

Top 50 recent answers are included