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@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@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe