[Grace-core] Minutes of teleconference 25-26.08.2014

[James Noble]

Discussed where we are up to:
 * Andrew has done some fixes to library etc, and will work on (dynamic) type stuff
 * Tim J is merging the graphics stuff in 
 * Clément is writing up his report - his last meeting... 
 * Tim S has PyPy version going enough to run the benchmarks.

- :> vs #>   (p10, p32)
  :> is sutyping,  #> is matching.  both need definitions

- top class &  protocol for all objects (i.e. for object { })
   top type is Object 
   top class is graceObject, its "factory method" is graceObject.trait

   type Object includes:
      - asString    //recursion - no! 
      ==  !=      
      ::               //association former- or is that only if the reciever is hashable.

   note that type Object does not include hash.

   James sneakily adds:   
   value type is Value     (hmm, how is this distinguished?  isValue? some annotation? some BRAND?)
   value class is valueObject.  Value has match, it's autozygotic   (but then wtechnically Booleans aren't values :-() 

   "done" does not conform to Object;
   type Done has asString (?) 

 
// what's standard grace dialect called? 

* useful things to do
 - AST interface  (for writing dialects)
 - Reflection interface (esp for writing debuggers)   --- and convenience methods 
 - Type interface  (and e.g. why doesn't this match) 

* james's minor notes - nominal vs structural types
 - exceptions
 - debuggers
 - what else works particularly nicely nominally?  

- singleton types vs literal patterns   (p28 vs p24)
 still need to get story straight here. James will think and talk to Michael sometime. 

next meeting 3pm thus US;   fri 10am NZ   (James will most likely join from home)