[Haskell-cafe] about beta NF in lambda calculus

Algebras Math algebras2009 at googlemail.com
Sat Mar 21 15:29:05 EDT 2009


hi,

What is the different between 'in beta normal form' and 'has beta normal
form' ? Does the former means the current form of the term is already in
normal form but the latter means that it is not a normal form yet and can be
reduced to be normal form? Like  \x.x is in NF and (\x.x) (\x.x) has NF?

If above is true, I am confused why we have to distinguish the terms which
have NF and be in NF? isn't the terms have NF will eventually become in NF?
or there are some way to avoid them becoming in NF?

Thanks

Alg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090321/d20c417b/attachment-0001.htm


More information about the Haskell-Cafe mailing list