Paul Libbrecht wrote: >> how strongly, or simply, typed must it be? > > completely open question to my taste... as long as no tool-set is > offered to help this. > E.g. nothing can prevent you to take the arcsine of a matrix... > Attempts at providing types exist but their implementation has been > known to be quite difficult. Is this a critique to the feasibility of > a BNF grammar as Robert wishes? Maybe. I think that there was a consensus in the groups that types and notations should be kept near the CDs, but not in them (since they are optional to the whole framework). That is exactly what we do in the current setup.
Michael > > paul > ------------------------------------------------------------------------ > > _______________________________________________ > Om3 mailing list > [email protected] > http://openmath.org/mailman/listinfo/om3 > -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62 Professor of Computer Science Campus Ring 12, School of Engineering & Science D-28759 Bremen, Germany Jacobs University Bremen* tel/fax: +49 421 200-3140/-493140 [EMAIL PROTECTED] http://kwarc.info/kohlhase skype: m.kohlhase * International University Bremen until Feb. 2007 ---------------------------------------------------------------------- _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
