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

[Achim Schneider]

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
implementation. 

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.