On Sep 8, 2006, at 7:32 PM, skaller wrote: > Why do we have to type check them?
I forgot to mention one thing: under (2), where I noted each type needs a (possibly empty) table for its instances of a typeclass, it would be redundant for type checking if the typeclass had the same information (which data types are instances of it); the data type needs its table of typeclass-instances for predicates. Predicates are those qualifiers at the beginning of a function: same[ Eq[T] => T ] ... (The Eq[T] is a predicate.) For type inference and for initial type checking of function declarations, it is helpful to have this information in the type itself instead of having to refer to the typeclass data table. -Pete ------------------------------------------------------------------------- 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
