The Declaration Approach (was: Some thoughts on the 'reveal' operator)

[Mark S. Miller]

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