Actually I was also going to provide exactly the same example, but hesitated to :)
2009/3/21 Antti-Juhani Kaijanaho <[email protected]>: > 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 > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe > -- Eugene Kirpichov Web IR developer, market.yandex.ru _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
