Re: [scala-language] The cake’s problem, dotty des ign and the approach to modularity.

I believe perhaps the ideas I have presented for injection of interface 
(relying on DOT) are a complete solution (and more generalized) to the 
reasons given for needing to represent family polymorphism by tracking 
types in the instance (which appears to be a less general form of 
dependency injection):

http://www.cs.au.dk/~eernst/tool11/papers/ecoop01-ernst.pdf#page=8

I will need to test and work on this idea. Okay nafg, not here in this 
list...

Also I discovered this interesting presentation from Martin Odersky 
contrasting ML modules and Scala's abstract and self types and the Cake 
pattern:

http://stackoverflow.com/questions/15584848/whats-the-difference-if-any-between-standard-mls-module-system-and-ocaml-mod#comment22427900_15585373

The DOT appears to be a unifying, simplifying, and generalizing concept and 
perhaps some past crud can be discarded.

-- 
You received this message because you are subscribed to the Google Groups "scala-language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
For more options, visit https://groups.google.com/d/optout.