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

Achim Schneider barsoap at web.de
Thu Dec 27 16:00:52 EST 2007

apfelmus <apfelmus at quantentunnel.de> wrote:
> Ah, that's only a glitch in the wording. [1..] == [1..] is still _|_ 
> since it loops forever.
And if it wouldn't? After all, arguing that |N == |N is undefined
because it takes too long to check would earn you a straight F in any
math test.

It's just that I always assumed that haskell is defined by exactly
those semantics (which I admittedly never really read), not by its
runtime behaviour, which can change from implementation to

Fuck, I'm smartassing _and_ nitpicking, and for the worst of it with
the "Smart enough compiler"-argument, all of that just after
stopping lurking.

More information about the Haskell-Cafe mailing list