27 Dec
2007
27 Dec
'07
4 p.m.
apfelmus
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.