[Grace-core] Minutes of Teleconference 2011.08.24

[James Noble]

* Proposed meetings at SPLASH in Portland
   - Monday 24 October - evening BOF after educations symposium
   - Friday 28 October - all day design workshop on Friday 
   - potentially another "developers" BOF/dinner meeting later in the week, organised on site if there is demand.

* Union types seem to work well:
   - we also get enums for free as in "red" | "blue" | "green"  as a _type_

* Need to be careful about Singleton types: 
  - if e.g. "EmptyTree" is an object, if it's used in a union EmptyTree | Tree 
     how does the system know which object EmptyTree actually is (esp. in another module).

* The "no shadowing rule"  *disambiguates* implicit sends 
    - Grace doesn't need an "implicit request priority rule" 
        because ambiguous requests are not permitted!  

* We should investigate need some kind of branding to make type matches more predictable

* Next Teleconf: Wed 31 August  US / 1 Sept NZ  - meeting 1 hour later that this week (3pm US; 10am NZ)

TODO:
* let's re-read "Modules as Objects" - think about module systems
* James to ask Grace-interest & blog about Splash BOFs / workshops
* James to update spec with pattern-match detail & blog (see 2011.08.17) 
* James to start on grammar consolidation
* Kim to draft blog post: How to deal with these collection types (see 2011.08.17))