Dear all, we have come across the need to communicate OpenMath Objects to JavaScript.
We could go traditional and send over XML and have JS parse that into JS Objects, or we could use a JSON binding for OpenMath. It actually seems that Nathan Carter has already done something very much like that. [1] Would it make sense to standardize a JSON binding of OpenMath? After all, JSON is one of the practical competitors for XML and used A LOT on the web. Michael [1] https://lurchmath.github.io/openmath-js/site/ -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42 Professur für Wissensrepräsentation & -verarbeitung Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139, tel/fax: (49) 9131-85-64052/55, michael.kohlh...@fau.de ---------------------------------------------------------------------- _______________________________________________ Om mailing list Om@openmath.org http://mailman.openmath.org/cgi-bin/mailman/listinfo/om
