On Fri, 2006-09-08 at 10:53 -0400, Peter Tanski wrote:

[on typeclasses]

> It isn't impossible and it is not as limited as you might think.

I have no idea how limited it is in practical use, having
only read how it works, rather than used it!

My comments are simply based on seeing the structure is
similar to OO, and so must have the same problems,
but one level up.

This doesn't make typeclasses useless, any more than
classes are useless :)

Obviously, they're useful and I very much like the
simply way constraints propagate. If anything,
'if it is good enough for GHC and Simon .. ' who the
heck am I to argue?

Felix has OO style classes (weakly supported).
With typeclasses we'd get Monads for free .. and that would
be a considerable asset by itself.

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

-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
_______________________________________________
Felix-language mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/felix-language

Reply via email to