Re: Type design question

2003-07-27 Thread Andrew J Bromage
G'day all. On Sun, Jul 27, 2003 at 10:36:46PM -0400, Dylan Thurston wrote: > However, I would be sure to distinguish between an inner product space > and a vector space. That's true. If you're after a completely generic solution, this might be an issue. > An inner product space has the 'innerP

Re: Type design question

2003-07-27 Thread Dylan Thurston
On Mon, Jul 28, 2003 at 11:59:48AM +1000, Andrew J Bromage wrote: > G'day all. > > On Fri, Jul 25, 2003 at 03:48:15PM -0400, Dylan Thurston wrote: > > > Another approach is to make Universe a multi-parameter type class: > > > > class (RealFrac a, Floating a) => Universe u a | u -> a where > >

Re: Type design question

2003-07-27 Thread Andrew J Bromage
G'day all. On Fri, Jul 25, 2003 at 03:48:15PM -0400, Dylan Thurston wrote: > Another approach is to make Universe a multi-parameter type class: > > class (RealFrac a, Floating a) => Universe u a | u -> a where > distanceVector :: u -> Vector a -> Vector a -> Vector a > ... Actually, this is a

compiling concurrent haskell with ghc

2003-07-27 Thread Dennis Sidharta
Hi all,   I have a question on compiling a concurrent haskell source code using GHC. Today is my first time playing around with concurrency in Haskell, and this afternoon, GHC seemed to be able to compile my code and produced an executable. However, that executable did not seem to run the program c