[Grace-core] Minutes of Teleconference 2011.12.21-22

[James Noble]

what we talked about 

we'll go to Lang.NEXT --- Kim to update Mads

we'll try to go to OSCON  (especially Andrew)

we actually talked about modules, based on James's emailed proposal
   * modules are just *objects* not types
   * should emphasize the "operation" model of modules, not just the file packaging
   * think of #lang as inherit - i.e. modules *inherit from *dialects* *
             with think this - probably works OK with "lexical copy-down semantics..."

   * anything that comes in from a dialect should not be accessible from outside 
      // i.e. be no more than "ruby-private" (aka confidential, aka selfish, aka called on self only)?
      // we get this because you're nested inside your module (that inherits from your dialect) so this is OK

 * J really likes andrew's phrasing - "definitively static"

 * changed class syntax to match "generic method" design

class CountingStackClass.new<T>(size : Number, bottom : Number) -> CountingStack<T> {
  inherits StackClass.new<T>(bottom) 
       // permitted via "definitively static" 
  var count:= 0;
  override method push ...
 ...

Here is the unencoded version:
object CountingStackClass
      { method new<T>(size : Number, bottom : Number) -> CountingStack<T>
            { object { inherits StackClass.new<T>(bottom)
                 var count := 0
                 <override> method push { … }
           } 
       }

 * J may attempt to update spec..
 
 * J's parser combinator grammar is (almost) ready to go

 * next meeting:   wed 4 Dec 3pm Pacific, thurs 5 Dec noon NZ