`Covertible' class. Reply.

Marc van Dongen dongen@cs.ucc.ie
Thu, 8 Feb 2001 14:14:40 +0000

S.D.Mechveliani (mechvel@math.botik.ru) wrote:


: The basic algebra library BAL 
:  http://www.botik.ru/pub/local/Mechveliani/basAlgPropos/bal-pre-0.01/
: suggests             class Cast a b where cast :: a -> b -> a

I just want to add that this is almost similar to a
mechanism I've implemented. You really need this.


Marc van Dongen