7 Feb
2001
7 Feb
'01
9:19 p.m.
Hello! On Wed, Feb 07, 2001 at 03:43:59PM -0500, Dylan Thurston wrote:
In thinking about various issues with the numeric classes, I came up with the following question: Is there a problem with having a class 'Convertible' as follows?
class Convertible a b where convert :: a -> b
[...]
Why not better: class Subtype a b where {- a is subtype of b, if following operations exist -} inject :: a -> b project :: b -> Maybe a Kind regards, Hannah.