
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
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