On 5/1/07, skaller <[EMAIL PROTECTED]> wrote: > You'd use distinct types I think. Consider a matrix of 100 * 100 > elements -- the whole matrix would either be polar or cartesian > surely, not individual elements.
Good point, I'll have to see how much I can work into the type system and still keep the conversion "automatic". Hopefully with typeclasses + overloading + reductions it shouldn't be too hard :) ------------------------------------------------------------------------- This SF.net email is sponsored by DB2 Express Download DB2 Express C - the FREE version of DB2 express and take control of your XML. No limits. Just data. Click to get it now. http://sourceforge.net/powerbar/db2/ _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language