You should look at functional dependencies. They allow you to write
things like:
class HasTimes a b c | a b -> c where
(*) :: a -> b -> c
this means "a and b determine c", which is more or less what you want.
This, especially as related to numeric operations, has been discussed a
lot on
Hello All,
I'm trying to create a generic function (*) using
classes. I've been playing with ghc extensions but
haven't found what I need yet.
class HasTimes a b c where
(*) :: a -> b -> c
This doesn't work because it can't figure out what
the return types are for a general expression a*(b
CALL FOR PAPERS
NEW REGISTRATION/SUBMISSION POLICY!!! cf. below.
**
COMPUTING AND PHILOSOPHY
E-CAP2004_ITALY
Pavia, Italy, Collegio Ghislieri, J
G'day all.
Quoting Paul Graunke <[EMAIL PROTECTED]>:
> Right, cooperative multitasking is faster than preemptive multitasking.
That's often the case, but it depends. Some OSes have very, very fast
thread primitives. It also depends on the application, as I noted,
because what you lose in syste
Peter Simons <[EMAIL PROTECTED]> replies:
> Paul Graunke writes:
>
> > [...] event driven servers (which are supposedly oh so
> > much faster.)
>
> At least in my experience, multiplexing servers _are_
> significantly faster than those relying on the OS (or
> whatever library) to do the schedul
On Wednesday, November 5, 2003, at 08:46 PM, [EMAIL PROTECTED] wrote:
G'day all.
Quoting Peter Simons <[EMAIL PROTECTED]>:
At least in my experience, multiplexing servers _are_
significantly faster than those relying on the OS (or
whatever library) to do the scheduling. They also tend to be
much
On Sat, 1 Nov 2003 17:36:11 +0100
Stefan Karrmann <[EMAIL PROTECTED]> wrote:
> a while ago time calculation was subject on this list.
> Now, I have a time library based on the TAI (international
> atomic time) time scale.
I get the following error with GHCi:
