Re: [Felix-language] Type constraints

[skaller <sk...@us...>]

On Fri, 2006-09-22 at 11:30 +0200, Klas I wrote:
> I must admit that a lot of this stuff is over my head, but I have question.
> In the wiki you mention:
> 
> typeclass X[u,v] { fun f(x:u,y:v) ..
> 
> which reminds me about the typeclasses I've used in Haskell.

Yes, it's based on them.

> Is it also possible to put == in typeclass X?

If you mean the equality operator, yes, it's just another
function.

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net