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