[Haskell-cafe] about beta NF in lambda calculus
ekirpichov at gmail.com
Sat Mar 21 16:29:26 EDT 2009
Actually I was also going to provide exactly the same example, but
hesitated to :)
2009/3/21 Antti-Juhani Kaijanaho <antti-juhani at kaijanaho.fi>:
> On Sat, Mar 21, 2009 at 07:29:05PM +0000, Algebras Math wrote:
>> 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?
> Spoken like a mathematician :) (Well, only sort of.)
> The way to avoid it is not to perform the work of beta conversion.
> Similarly, you may say that people are either dead or will eventually die, so
> why distinguish between a person who is dead and a mortal, live person?
> Antti-Juhani Kaijanaho, Jyväskylä, Finland
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
Web IR developer, market.yandex.ru
More information about the Haskell-Cafe