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 supp

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 fre

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 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] __

[Haskell-cafe] head as a total function

2006-09-06 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, th