Tag Info

New answers tagged

0

The other big difference between procs, methods and lambdas is how they deal with break and return. Basically, a return in a Proc will jump out of any enclosing method as well, and a return from a lambda will only exit the lambda. A break from a Proc tries to break out of an enclosing iteration (if there's no iteration, you'll get an error), while a break ...


3

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 ...



Top 50 recent answers are included