Re: The Declaration Approach (was: Some thoughts on the Mark S. Miller (markm@caplet.com)
Thu, 21 Oct 1999 12:00:36 -0700

At 11:43 AM 10/21/99 , Bill Frantz wrote:
>The more I hear, the more I like:
>
> def square(x) reveals {x*x}
>
>(Or perhaps)
>
> to square(x) reveal {x*x}

Ok, it's still in the running. In fact, at the moment, it's the only concrete proposal left in the running. However, you bring up an interesting problem above. E has both methods and functions. I *really* don't want to introduce both "reveal" and "reveals". Depending on which way we go, we'd be stuck having to live with one of

def square(x) reveal {x*x}
or

to square(x) reveals {x*x}

neither of which reads well. If we have to go with a keyword, I'd choose "reveal" since the method-level is where most of the action is.

>YMOV

I don't recognize this one. ??

         Cheers,
         --MarkM