[Haskell-cafe] Bound and free variables

Jan Stolarek jan.stolarek at p.lodz.pl
Thu Sep 18 08:02:17 UTC 2014


Thanks Emil.

> I think bound and free usually refers to *occurrences* of variables in
> an expression.
Right. I think I was a bit confused here.

> However, I think that "bound" is also sometimes used to mean "in scope",
> and this seems to be mainly your interpretation.
Yup, I think that was it.

Thanks for clearing this up for me.

Janek


More information about the Haskell-Cafe mailing list