[bitc-dev] Syntax Poll: Scoping Syntax

[Rick R]

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 <shap at eros-os.com>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
> bitc-dev at coyotos.org
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.coyotos.org/pipermail/bitc-dev/attachments/20090305/5e60e82b/attachment-0001.html