[Haskell-cafe] Bound and free variables
Jan Stolarek
jan.stolarek at p.lodz.pl
Thu Sep 18 06:49:12 UTC 2014
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
More information about the Haskell-Cafe
mailing list