[Grace-core] Minutes of Teleconference 9-10.2.2016

[James Noble]

* discussed ECOOP status

* ECOOP workshop 
- James has invited people 
- and will invite more, and will roll out over blog & mailing list 

* need to get the spec out!!
     (which means solving lots of outstanding issues)

* TODO ANDREW: - roundtrip spec through panic, generate latex & html 
** we should decide on spec format next week or earlier.

* Wadlerfest - Andrew & Kim  arr sunday night, leave thursday morning

* Michael talked about Kernan / JSIL 


OVERLOADING BY ARITY
 - now allowed in both types and objects/classes
 - Q: how do we write method names:  foo(0)  foo(1)  foo(2) 

CLASSES VS TRAITS SYMMETRY
 - Q: can traits have parameters: Yes, type parameters, 
 - Q: what about the “default methods” (from GraceObject) 
    where do they come from?
    how do they play into the trait composition rules
 - Q: where should errors be raised? 
* TODO ANDREW: come up with informal english semantics
    a) ignoring implicit methods
    b) incuding aliasing w/ overloading on arity 
    c) with implicit methods
 * TODO JAMES think about implicit methods in symmetry 

**NEXT WEEK SAME TIME**