[Haskell-cafe] Re: IPv6?

2004-10-09 Thread Dominic Steinitz
-- Message: 2 Date: Fri, 8 Oct 2004 14:10:35 + (UTC) From: John Goerzen <[EMAIL PROTECTED]> Subject: [Haskell-cafe] Re: IPv6? To: [EMAIL PROTECTED] Message-ID: <[EMAIL PROTECTED]> On 2004-10-08, Simon Marlow <[EMAIL PROTECTED]> wrote: On 07 October 2004 21:43, John G

Language extension idea (was Re: [Haskell-cafe] Re: OCaml list sees...)

2004-10-09 Thread Tom Pledger
MR K P SCHUPKE wrote: [...] I dont see why you cannot change the "implementation" of lists without changing the "interface"... Good old lists will behave like good old lists - just the implementation would try and take advantage of blocking of the data wherever possible. Perhaps a pragma to change

Language extension idea (was Re: [Haskell-cafe] Re: OCaml list sees...)

2004-10-09 Thread oleg
Tom Pledger wrote: > Something along these lines: > > class List l a | l -> a where > nil :: l > cons :: a -> l -> l > > But that's not of much use, because there isn't a class method to > recover the elements of a List. We could add more methods (corresponding > to null, head

Re: Language extension idea (was Re: [Haskell-cafe] Re: OCaml list sees...)

2004-10-09 Thread Tom Pledger
[EMAIL PROTECTED] wrote: [...] Actually we merely need to add a deconstructor. Also, we can leave the type of elements fully polymorphic. Something like this: class List l where nil :: l a cons :: a -> l a -> l a decon :: l a -> w -- on empty -> (a -> l a -> w)

[Haskell-cafe] Re: OCaml list sees abysmal Language Shootout results

2004-10-09 Thread karczma
Fergus Henderson comments the comment of Andre Pang concerning my nasty comment addressed to Marcin Kowalczyk. On 08-Oct-2004, Andre Pang <[EMAIL PROTECTED]> wrote: I believe that Marcin wishes to prove the same point that I want to: namely, Clean encourages use of strictness by making it easie

Re: Language extension idea (was Re: [Haskell-cafe] Re: OCaml list sees...)

2004-10-09 Thread J. Garrett Morris
--- Tom Pledger wrote: It could get more convenient, though, if we have data-constructors-as-class-members and move the familiar list constructors into the List class. (The following might need to be built into the compiler, because of the special [] syntax.) --- end of quote --- Changing the su

[Haskell-cafe] strictness and the simple continued fraction

2004-10-09 Thread William Lee Irwin III
So, I discovered that simple continued fractions are supposed to be spiffy lazy lists and thought I'd bang out some continued fraction code. But then I discovered ContFrac.hs and couldn't really better it. Of course, I went about trying to actually do things relying on their laziness, and discovere

Re: [Haskell-cafe] strictness and the simple continued fraction

2004-10-09 Thread William Lee Irwin III
On Sat, Oct 09, 2004 at 12:33:53PM -0700, William Lee Irwin III wrote: > So, I discovered that simple continued fractions are supposed to be > spiffy lazy lists and thought I'd bang out some continued fraction code. > But then I discovered ContFrac.hs and couldn't really better it. Of > course, I w

Re: [Haskell-cafe] strictness and the simple continued fraction

2004-10-09 Thread William Lee Irwin III
On Sat, Oct 09, 2004 at 12:33:53PM -0700, William Lee Irwin III wrote: >> So, I discovered that simple continued fractions are supposed to be >> spiffy lazy lists and thought I'd bang out some continued fraction code. >> But then I discovered ContFrac.hs and couldn't really better it. Of >> course,