I rather like
  let { binding and binding and binding in  EXPR}

or let binding
        binding
        binding
        in EXPR


This leaves no question in the reader's mind about the scope of the
variables. It is explicit that all variables share the same scope, which is
the intent here, isn't it?

If you want nested levels of scope, then put another let block in the EXPR.

This is basically Haskell syntax,  perhaps I'm already showing by bias.


On Thu, Mar 5, 2009 at 12:36 PM, Jonathan S. Shapiro <[email protected]>wrote:

> Binding forms that introduce inner scopes should be distinct from
> those that merely append definitions to the current scope. I do
> understand that appending actually does introduce a new scope. The
> issue is that in one type of form the scopes end in the same place,
> where in the other they do not.
>
> I'm currently inclined to favor a syntax very similar to OCaml:
>
>  let BINDING { and BINDING } in EXPR end
>
> and other forms similarly.
>
>
> Strong objections or alternatives?
> _______________________________________________
> bitc-dev mailing list
> [email protected]
> http://www.coyotos.org/mailman/listinfo/bitc-dev
>



-- 
We can't solve problems by using the same kind of thinking we used when we
created them.
   - A. Einstein
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to