skaller wrote: > Indeed typeclasses are one way to fix it, since they encapsulate > constraints and allow them to propagate. > And some of the discussions about the future of Haskell are looking at expanding this.
> In Haskell, which in particular gains little benefit from > constraints in typeclasses since unlike Felix it doesn't support > typeclasses with multiple type arguments, Actually, Haskell98 does not have them, but most of the Haskell compilers support the MPTC extension, MPTC = multi-parameter type classes. They even come with new and interesting ways of putting on restrictions between the parameters. Jacques ------------------------------------------------------------------------- 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 Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
