On Sun, Jan 5, 2014 at 7:11 PM, Ben Kloosterman <[email protected]> wrote:
> The one exception is closed type classes/traits, where the implementation >> and the TC/trait need to be lexically together. >> > > I dont see how this is an issue . You can put the impl and the TC in a > seperate scope or module. Normally you only have impl. seperate when you > have your second type that needs it . So you pull out the code from the > first type and create a new type. > The whole point of a closed type class is that it cannot be implemented by any module outside the one in which it is defined. Once that is so, it is purely a lexical matter whether the text of the implementation appears within the declaration or appears elsewhere in the module. > Note one huge diff with Java / C# is we are using interfaces as our > encapsulation... > I'm not sure about that. Even though I think we're pretty sold on interfaces at this point, it may still make sense to have the notion of public vs. private members and methods. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
