[Grace-core] Type declarations

[Andrew P Black]

On 20 Mar 2014, at 18:23 , James Noble <kjx at ecs.vuw.ac.nz> wrote:

>> That said, I LIKE using type to mean set of methods and with their types.  I believe that it's what type OUGHT to mean, in an OO language.  But the "type theorists" don't agree ...
> 
> and that's what it means in Grace, and will continue to mean in Grace. 


Good.  Hence my proposal that we write

	const Boolean = type {&& (SelfType) -> SelfType, || (SelfType) -> SelfType, ... }

const is like def, but you can't override it in sub-objects,  and the value must be knowable at compile time.

	Andrew

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailhost.cecs.pdx.edu/pipermail/grace-core/attachments/20140320/1401bff1/attachment.html>