[bitc-dev] Syntax Poll: Scoping Syntax

[Rick R]

In the 1st case, at the closing curly brace. In the 2nd, at the next Dedent.


On Thu, Mar 5, 2009 at 1:25 PM, Jonathan S. Shapiro <shap at eros-os.com>wrote:

> Rick:
>
> You have the issue backwards. When does the let block END?
>
> On Thu, Mar 5, 2009 at 1:03 PM, Rick R <rick.richardson at gmail.com> wrote:
> > 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
> >
> > _______________________________________________
> > bitc-dev mailing list
> > bitc-dev at coyotos.org
> > http://www.coyotos.org/mailman/listinfo/bitc-dev
> >
> >
> _______________________________________________
> 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/2a931aa5/attachment.html