[Haskell-cafe] about beta NF in lambda calculus

Eugene Kirpichov 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
> http://antti-juhani.kaijanaho.fi/newblog/
> http://www.flickr.com/photos/antti-juhani/
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

Eugene Kirpichov
Web IR developer, market.yandex.ru

More information about the Haskell-Cafe mailing list