[Haskell-cafe] Bound and free variables

[John Lato]

Is 'y' even referred to in `f`?  I don't think it is, so it doesn't make
sense to say if it's bound or free.

My $.01 (half-off because I don't know what I'm talking about)

John L.

On Wed, Sep 17, 2014 at 11:49 PM, Jan Stolarek <jan.stolarek at p.lodz.pl>
wrote:

> Hi *,
>
> I have a simple question about terminology regarding bound and free
> variables. Assume I have:
>
> let f x  = let g y = ...
>             in g c
> in ...
>
> Now:
>   - `c` is free in `g` and `f`
>   - `y` is bound in `g`
>   - `x` is free in `g`.
>   - `x` is bound in `f`
>
> What about `y` in `f`? Is it also bound in `f`? If so then it certainly is
> bound in a different
> way that `x`. Is there a terminology that allows to distinguish these
> different forms of bound
> variables?
>
> Janek
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140918/3b46caa7/attachment.html>