[Grace-core] Fwd: [Grace-interest] Progress on New OO language "Grace"

Eric Tanter etanter at dcc.uchile.cl
Mon Dec 6 13:36:47 PST 2010


Hi all,

Sorry I've been really silent on the list, because of lack of time. But now I see this remark of Sophia and I couldn't agree more. It reminds me of the invited talk of Dave Ungar at ECOOP (09?), where he talked about designing languages top-down by considering values->principles->practices, instead of going by example, or bottom up.

In a nutshell:
values (what you care about, what you want, what you like)
principles (general rules for achieving values)
practices (specific things to do)

but the best is to (re-)watch Dave's talk (available online).

It would be really helpful to have (and discuss) the values/principles/practices statement of Grace.

-- Éric


On Dec 6, 2010, at 8:40 PM, James Noble wrote:

> exchange with Sophia...
> 
> Begin forwarded message:
> 
>> From: James Noble <kjx at ecs.vuw.ac.nz>
>> Date: 7 December 2010 8:28:22 AM
>> To: "Drossopoulou, Sophia" <s.drossopoulou at imperial.ac.uk>
>> Subject: Re: [Grace-interest] Progress on New OO language "Grace"
>> 
>> Yes, I can see that.
>> The difficulty is: it's hard to talk about e.g. modules or types or higher level things
>> when the lower-level stuff isn't done.
>> 
>> people always talk to the examples..
>> 
>> J
>> 
>> On 7/12/2010, at 04:39 AM, Drossopoulou, Sophia wrote:
>> 
>>> My main issue is that it seems to go bottom-up, and I think it should go top-down: what are the main driving language features, and then how do we integrate them.
>>> 
>>> S
>>> 
>>> -----Original Message-----
>>> From: James Noble [mailto:kjx at ecs.vuw.ac.nz]
>>> Sent: 05 December 2010 22:38
>>> To: Sophia Drossopoulou
>>> Subject: Re: [Grace-interest] Progress on New OO language "Grace"
>>> 
>>> yeah well, that's what we want comments about!
>>> 
>>> J
>>> 
>>> 
>>> On 6/12/2010, at 10:56 AM, Sophia Drossopoulou wrote:
>>> 
>>>> structural typing ????? Points shooting cowboys?
>>> 
>>> 
>> 
> 
> _______________________________________________
> Grace-core mailing list
> Grace-core at cecs.pdx.edu
> https://mailhost.cecs.pdx.edu/mailman/listinfo/grace-core



More information about the Grace-core mailing list