[Haskell-cafe] head as a total function

2006-09-07 Thread oleg
Jo'n Fairbairn wrote in response to Neil Mitchell: And as you go on to say, if you apply it to the infinite list, who cares if you used head. Head is only unsafe on an empty list. So the problem then becomes can you detect unsafe calls to head and let the programmer know. No, that's the

Re: [Haskell-cafe] head as a total function

2006-09-07 Thread Bulat Ziganshin
Hello oleg, Thursday, September 7, 2006, 10:28:00 AM, you wrote: P.S. Algol68 was my favorite language too. +1 :) it was the first imperative language supporting closures, after all -- Best regards, Bulatmailto:[EMAIL PROTECTED]

Re: [Haskell-cafe] head as a total function

2006-09-07 Thread Bill Wood
On Thu, 2006-09-07 at 11:03 +0400, Bulat Ziganshin wrote: . . . it was the first imperative language supporting closures, after all Uh, what about lisp? The (MIT) lisp 1.4 manual (ca. 1965) refers to FUNCTION differing from QUOTE in that it handled free variables correctly; I take this to

Re: [Haskell-cafe] head as a total function

2006-09-07 Thread Jared Updike
it was the first imperative language supporting closures, after all Uh, what about lisp? For those who read the Foozles slides posted earlier [0], I must say he nailed this one, on slide 2. The (MIT) lisp 1.4 manual (ca. 1965) refers to FUNCTION differing from QUOTE in that it handled free

Re[2]: [Haskell-cafe] head as a total function

2006-09-07 Thread Bulat Ziganshin
Hello Bill, Thursday, September 7, 2006, 8:24:53 PM, you wrote: it was the first imperative language supporting closures, after all Uh, what about lisp? Lots of Idiotic Silly Parentheses? :) well, i say about more or less well-known non-FP languages. actually, i'm sure that some FBCPL