Abstract
We report on the design and implementation of a programming tool, DynaMoW, to control interactive and incremental mathematical calculations to be presented on the web. This tool is implemented as a language extension of OCaml using Camlp4. Fragments of mathematical code written for a computer-algebra system as well as fragments of mathematical web documents are embedded directly and naturally inside OCaml code. A DynaMoW-based application is made of independent web services, whose parameter types are checked by the OCaml extension. The approach is illustrated by two implementations of online mathematical encyclopedias on top of DynaMoW.
Supplemental Material
- M. Abramowitz and I. A. Stegun, editors. Handbook of mathematical functions. Dover, New York, 1992.Google Scholar
- V. Balat, J. Vouillon, and B. Yakobowski. Experience report: Ocsigen, a web programming framework. In A. Tolmach, editor, ICFP'09, pages 311--315, 2009. Google Scholar
Digital Library
- A. Benoit, F. Chyzak, A. Darrasse, S. Gerhold, M. Mezzarobba, and B. Salvy. The Dynamic Dictionary of Mathematical Functions (DDMF). In The Third International Congress on Mathematical Software (ICMS 2010), volume 6327 of Lecture Notes in Computer Science, pages 35--41, 2010. Google Scholar
Digital Library
- M. Mauny and D. de Rauglaudre. A complete and realistic implementation of quotations for ML. In Proc. of the Workshop on ML and its applications, 1994.Google Scholar
- N. J. A. Sloane and S. Plouffe. The Encyclopedia of Integer Sequences. Academic Press, 1995.Google Scholar
Index Terms
Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web
Recommendations
Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web
ICFP '11: Proceedings of the 16th ACM SIGPLAN international conference on Functional programmingWe report on the design and implementation of a programming tool, DynaMoW, to control interactive and incremental mathematical calculations to be presented on the web. This tool is implemented as a language extension of OCaml using Camlp4. Fragments of ...
Camlp4 and Template Haskell
CUFP '10: ACM SIGPLAN Commercial Users of Functional Programming"Static metaprogramming" is compile-time code analysis and synthesis. It has many applications, such as (from simple to complex): defining abbreviations, generating boilerplate from type definitions, extending the language syntax, and embedding DSLs.
...
LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming
GPCE '14This paper presents a library called LibDSL that helps the implementer of an embedded domain specific language (EDSL) effectively develop it in D language. The LibDSL library accepts as input some kinds of ``specifications'' of the EDSL that the ...







Comments