Re: [Haskell] Num is such a fat and greedy class

>> class Subtraction a b | a -> b where >> (-) :: a -> a -> b > > If you split them up like this, things like quadRoots take an > unwieldly type signature: [...] ultimately this leads to a style of programming where you have a class Has_f for each function symbol f. then the signature of a

Re: [Haskell] Num is such a fat and greedy class

On Dec 11, 2006, at 03:50 , Johannes Waldmann wrote: let data Bar = ... in ... If you allow this you need to be very careful about type equality. When is Bar equal to Bar? If it's inside a recursive function, does each invocation get its own Bar? (In SML the answer is yes.) If you d

Re: [Haskell] Num is such a fat and greedy class

Lennart Augustsson wrote: let data Bar = ... in ... If you allow this you need to be very careful about type equality. When is Bar equal to Bar? If it's inside a recursive function, does each invocation get its own Bar? (In SML the answer is yes.) Can you give an example of how this wou

Re: [Haskell] Num is such a fat and greedy class

> > let data Bar = ... in ... > > > > If you allow this you need to be very careful about type equality. > When is Bar equal to Bar? > If it's inside a recursive function, does each invocation get its > own Bar? (In SML the answer is yes.) Not really. In SML the answer used to be a clear "

Re: [Haskell] Num is such a fat and greedy class

S.M.Kahrs wrote: let data Bar = ... in ... If you allow this you need to be very careful about type equality. When is Bar equal to Bar? If it's inside a recursive function, does each invocation get its own Bar? (In SML the answer is yes.) Not really. In SML the answer used to be a clear

[Haskell] (no subject)

[Foundations of AOP and AO languages have benefitted from the functional programming community for a while now. Haskellers, please have a look. Thanks! Ralf] Call For Papers FOAL: Foundations of Aspect-Oriented Languages 2007 A one day workshop affiliated wit

[Haskell] Call for papers -- FOAL: Foundations of Aspect-Oriented Languages 2007

[Added a subject. Please accept my apologies! Foundations of AOP and AO languages have benefitted from the functional programming community for a while now. Haskellers, please have a look. Thanks! Ralf] Call For Papers FOAL: Foundations of Aspect-Oriented Lang

Re: [Haskell] ANNOUNCE: dlist, difference lists supporting O(1) append

On 12/10/06, Donald Bruce Stewart <[EMAIL PROTECTED]> wrote: This is DList, 0.1 I've cabalised, and packed up a small difference lists module. In case you've not used them, they are a Haskell idiom for implementing O(1) append and snoc, using functions to represent lists. Are they in Monoid? T

[Haskell] [newbie]any nice code to read?

hello,all, I am new to haskell,and have read some tutorial, but I would like to read some "real" code from "real" haskell project, I believe this will help me study and use haskell quickly. would anyone please give me some suggestion about opensource project that a new haskell user should study

Re: [Haskell] [newbie]any nice code to read?

notyycn: > >hello,all, > > I am new to haskell,and have read some tutorial, but I >would like to read some "real" code from "real" haskell >project, I believe this will help me study and use haskell >quickly. > > would anyone please give me some suggestion about >o

Re: [Haskell] [newbie]any nice code to read?

oh, sorry, I sent to a wrong mailing list. I will ask for help there, thank you, and sorry for disturb you all. On 12/12/06, Donald Bruce Stewart <[EMAIL PROTECTED]> wrote: notyycn: > >hello,all, > > I am new to haskell,and have read some tutorial, but I >would like to read some

[Haskell] ANNOUNCE: Phooey -- a Functional UI library for Haskell

Announcing Phooey , a functional UI library for Haskell. GUIs are usually programmed in an "unnatural" style, in that implementation dependencies are inverted, relative to logical dependencies. This reversal results directly from the imperative orientation of most GUI lib

[Haskell] Haskell Weekly News: December 12, 2006

--- Haskell Weekly News http://sequence.complete.org/ Issue 53 - December 12, 2006 --- Welcome to issue 53 of HWN, a weekly newsletter covering develop