[Grace-core] Minutes of Teleconference 23-24.2.2016

[James Noble]

(belatedly) 

We talked about issue #64 manifest / what is the initialisation order etc, let vs def 

Michael - types are a problem because the ordering of types wrt to inheritance is confusing
  method depends on types, and types depend on methods 

Tim built some sort of placeholder system parameterised types complicate things more
  types can be mutually recursive 

*TODO* Wellingtonians will talk again and try to produce something* 

**NEXT MEETING*** most likely some time next friday afternoon US time.
Not sure if that suits Kiwis… 


ISSUES MOVED TO “resolved, to be specd” AFTER TELECONFERENCE 
https://github.com/gracelang/language/issues/44 - relationship between aliasing / excluding / overriding nd annotations (confidential, overrides, abstract, final, etc
https://github.com/gracelang/language/issues/59 - when should errors be detected?  (Nixonianism) 
https://github.com/gracelang/language/issues/54 - overidden initialisation - (KEEP init code, even if var/def is dead?)
https://github.com/gracelang/language/issues/36 - Syntax for trait `uses` clauses 
https://github.com/gracelang/language/issues/43 - traits 'excludes' and alias clauses syntax
https://github.com/gracelang/language/issues/63 - modulo


ISSUES THAT PEOPLE SHOULD LOOK AT AND SEE IF WE'VE AGREED 
https://github.com/gracelang/language/issues/68 - where should arguments of use and inherits be evaluated?
https://github.com/gracelang/language/issues/58 -  trait shortcuts permit non-type parameters?  (YES?)
https://github.com/gracelang/language/issues/23 - permit overriding methods with defs  (YES?)


*NOW*  ISSUES WE’RE TRYING TO DECIDE ABOUT NOW
https://github.com/gracelang/language/issues/64 - What's a type (module "build order")
https://github.com/gracelang/language/issues/47 - manifest

what do we do about default methods 
 -  https://github.com/gracelang/language/issues/38 -  default methods and trait composition
 - https://github.com/gracelang/language/issues/49 - what are the default methods
-   (for kjx reference only: https://github.com/gracelang/language/issues/39#issuecomment-183753964) 


UPCOMING ISSUES
https://github.com/gracelang/language/issues/41 - what’s the syntax for once methods - 
https://github.com/gracelang/language/issues/48  - DNF for types
https://github.com/gracelang/language/issues/18 - unicode equivalents 

ISSUES THAT WILL BE ABANDONED IF NO-ONE CARES
https://github.com/gracelang/language/issues/62 - alias vs rename; (KEEP as alias?)

ISSUES THAT SHAMBLE ON 
https://github.com/gracelang/language/issues/67 - J’s semantics
https://github.com/gracelang/language/issues/38 - big issue that started this all