[Haskell-cafe] Re: Wikipedia on first-class object

[Cristian Baboi]

On Mon, 31 Dec 2007 11:14:39 +0200, Achim Schneider <barsoap at web.de> wrote:

> "Cristian Baboi" <cristi at ot.onrc.ro> wrote:

>>
>> I could have written this instead:
>>
>> a :: Something
>> a = a
>>
>> Which is nicer than undefined.
>>
> ksf at solaris ~ % ghci
> GHCi, version 6.8.2: http://www.haskell.org/ghc/  :? for help
> Loading package base ... linking ... done.
> Prelude> let a = undefined
> Prelude> a
> *** Exception: Prelude.undefined
> Prelude> let a = a
> Prelude> a
> Interrupted.

> nope, it isn't.

Well, it depends on what you think is nicer.
For me it looks shorter than undefined and it don't rely on the library.

> And then
> let a = a
> is more defined than the other two... only the equation is _|_, not the
> value that is "assigned". Value that is equated? Term? Jonathan, please
> beat me.

This is over my head.
If let a = a is more defined, then why (print a) won't stop ?



________ Information from NOD32 ________
This message was checked by NOD32 Antivirus System for Linux Mail Servers.
  part000.txt - is OK
http://www.eset.com