Dave Clarke

Seems like a very natural proposal — Scala uses this implementation, at least for normal variables. It would be nice to avoid having the programmer think explicitly in terms of...

@kikofernandez I'm not sure I follow what you are saying. Are you saying: Closure environments should also have type variables?

What @elias proposes is called Closure Conversion. This is typically considered to be an optimisation. If there are many many parameters, it may not be.

@kikofernandez I still don't know what you mean.

@kikofernandez I understand now.

@albertnetymk What you say is true, but your example does not use type parameters.

There are simpler problems when using `Nothing` in a generic situation. For example, given ``` fun isJust[a](mval : Maybe[a]) : bool match mval with case Just(ice) => true case Nothing...

It seems that `return` and `abort()` have the same problem.

Isn't there something in @kaeluka's Iter PR for adding traits to existing classes (like Fut)? Maybe this can be used.

If you don't mention the directories, then the screen is filled with warnings, though the tests will still pass. It was decided not to suppress such warnings and to force...