In article [EMAIL PROTECTED],
Ross Paterson [EMAIL PROTECTED] wrote:
The point about symmetry is a fair one, but unfortunately the Haskell class
system imposes a cost on fine-grained class hierarchies,
It does?
--
Ashley Yakeley, Seattle WA
___
On Thu, Jul 10, 2003 at 02:00:37AM -0700, Ashley Yakeley wrote:
In article [EMAIL PROTECTED],
Ross Paterson [EMAIL PROTECTED] wrote:
The point about symmetry is a fair one, but unfortunately the Haskell class
system imposes a cost on fine-grained class hierarchies,
It does?
There are
On Thursday, 2003-07-10, 15:33, Ross Paterson wrote:
[...]
There are more instances and methods for people to define, even if some of
them imply others.
As it happens, I would like yet another intermediate class:
class BiFunctor a where
bimap :: (b' - b) - (c - c') - a
On Thu, Jul 10, 2003 at 02:33:25PM +0100, Ross Paterson wrote:
Subclasses in Haskell cover a range of relationships, including this
sense where things in the subclass automatically belong to the superclass.
Other examples include Eq = Ord and Functor vs Monad. In such cases it
would be handy
On Thursday, 2003-07-10, 15:33, Ross Paterson wrote:
[...]
Subclasses in Haskell cover a range of relationships, including this sense
where things in the subclass automatically belong to the superclass. Other
examples include Eq = Ord and Functor vs Monad.
By the way, I strongly vote for
In article [EMAIL PROTECTED],
Wolfgang Jeltsch [EMAIL PROTECTED] wrote:
By the way, I strongly vote for Functor being a superclass of Monad in
Haskell 2.
I recently created my own Monad class in HBase instead of using the
Prelude one. The hierarchy looks something like this:
class
In article [EMAIL PROTECTED],
Ross Paterson [EMAIL PROTECTED] wrote:
As it happens, I would like yet another intermediate class:
class BiFunctor a where
bimap :: (b' - b) - (c - c') - a b c - a b' c'
This can be decomposed into:
fmap :: (c - c') - a b c - a b c'
In article [EMAIL PROTECTED],
Jerzy Karczmarczuk [EMAIL PROTECTED] wrote:
If I were to write
pi = 3.1415926536 :: Rational
I suppose that I would like to see rather 355/113 or something close,
than 3926990817/125000 or similar.
There should be a separate syntax for that. As it