Demo: A Functional EDSL for Mathematics Visualization That Compiles to JavaScript
Pages 21 - 24
Abstract
Visualizations are a critical part of mathematics practice and education, and computers and open-source web technologies provide accessible ways to create high-quality mathematics visualizations at virtually no cost. However libraries and languages to create visualizations for mathematics are typically fine-grained, low-level, and targeted to vector graphics domain experts or web developers, not mathematics students or teachers or end-users. We present demos of Sylvester: a functional domain-specific language interface to the JSXGraph visualization library embedded in F# that emphasizes readability, composability, and the ability of end-users to easily create and manipulate elements of high-quality interactive mathematics visualizations without needing vector graphics or web development domain knowledge.
References
[1]
Allister Beharry. 2023. Sylvester: Unified, typed, notation for symbolic mathematics and proofs (short talk) (ML 2021) - ICFP 2021. https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/6/Sylvester-Unified-typed-notation-for-symbolic-mathematics-and-proofs-short-talk- [Online; accessed 9. Jun. 2021].
[2]
Mark Gillis. 2011. Basic Supply and Demand. https://demonstrations.wolfram.com/BasicSupplyAndDemand/ [Online; accessed 18. Jul. 2023].
[3]
John Hobby. 2014. MetaPost. https://www.tug.org/docs/metapost/mpman.pdf
[4]
Paul Hudak. 1996. Building Domain-Specific Embedded Languages. ACM Comput. Surv., 28, 4es (1996), dec, 196–es. issn:0360-0300 https://doi.org/10.1145/242224.242477
[5]
Dor Ma’ayan, Wode Ni, Katherine Ye, Chinmay Kulkarni, and Joshua Sunshine. 2020. How Domain Experts Create Conceptual Diagrams and Implications for Tool Design. In Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems (CHI ’20). Association for Computing Machinery, New York, NY, USA. 1–14. isbn:9781450367080 https://doi.org/10.1145/3313831.3376253
[6]
Maplesoft, a division of Waterloo Maple Inc... [n.d.]. Maple. https://www.maplesoft.com/products/Maple/
[7]
Markus Hohenwarter, GeoGebra Team. 2001. GeoGebra. https://www.geogebra.org/
[8]
Till Tantau. 2023. PGF/TikZ. https://pgf-tikz.github.io/pgf/pgfmanual.pdf
[9]
Bianca Valentin and Michael Gerhäuser. 2009. Interactive SVG with JSXGraph. https://jsxgraph.uni-bayreuth.de/talks/svgopen09/jsxgraph.pdf
[10]
Wolfram Research, Inc. 2023. Mathematica. https://www.wolfram.com/mathematica
[11]
wxMaxima authors. 2023. wxMaxima. https://wxmaxima-developers.github.io/wxmaxima/wxmaxima.pdf
Index Terms
- Demo: A Functional EDSL for Mathematics Visualization That Compiles to JavaScript
Recommendations
Storm: a language platform for interacting and extensible languages (tool demo)
SLE 2018: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language EngineeringThe ability to extend programming languages with domain-specific concepts is becoming an essential technology for developing complex software. However, many domain-specific languages are implemented in a way that interact poorly with the host language. ...
JavaScript as an embedded DSL
ECOOP'12: Proceedings of the 26th European conference on Object-Oriented ProgrammingDeveloping rich web applications requires mastering different environments on the client and server sides. While there is considerable choice on the server-side, the client-side is tied to JavaScript, which poses substantial software engineering ...
A Model and Framework for Visualization Exploration
Visualization exploration is the process of extracting insight from data via interaction with visual depictions of that data. Visualization exploration is more than presentation; the interaction with both the data and its depiction is as important as ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
August 2023
46 pages
Copyright © 2023 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 31 August 2023
Check for updates
Author Tags
Qualifiers
- Short-paper
Conference
FARM '23
Sponsor:
FARM '23: 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design
September 8, 2023
WA, Seattle, USA
Acceptance Rates
Overall Acceptance Rate 19 of 23 submissions, 83%
Upcoming Conference
ICFP '25
- Sponsor:
- sigplan
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 40Total Downloads
- Downloads (Last 12 months)16
- Downloads (Last 6 weeks)1
Reflects downloads up to 08 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in