Re: series

2001-08-16 Thread Alastair David Reid
> hello, i just want to ask a simple question: does somebody have or > know where to find a haskell program that calculates the number e, > that is the list of infinite digits? Hugs includes such a function in its demos. Look at eFactBase in the file hugs98/demos/Examples.hs There's a lot of oth

Re: type signatures with existentially quantified data constructors

2001-08-16 Thread Dylan Thurston
On Thu, Aug 16, 2001 at 01:11:25AM -0400, Avi Pfeffer wrote: > Works fine. Things get tricky when I try to add pairs. In order to type > a pair expression, I find I need to create a Pair class and introduce a > class constraint: > > class Pair a b c | a -> b c, b c -> a > > instance Pair (b,c