A Functional EDSL for Economics Concepts & Models
summary
An F# embedded DSL called Sylvester EDSL integrates Maxima, Z3, Gambit and JSXGraph (Maxima Z3 Gambit JSXGraph) into a single notation for symbolic algebra, calculus, SMT-backed optimization and game‑theory solvers that run in Jupyter and compile to JavaScript for browser visuals. The repo implements equation translation to Maxima, Z3 optimization for constrained maxima, automated Nash‑equilibrium solvers (pure and mixed) and interactive plots of production, cost and Cobb‑Douglas demand models; demos run and produce numeric and symbolic results.
AI-written summary · about
chapters (6)
- 0:00Introduction
- 3:57Why create custom math language
- 9:29Sylvester internals and tools
- 16:31Game theory models
- 20:23Economic models and visualization
- 24:19Summary
related talks
21mDemo: A functional EDSL for mathematics visualization that compiles to JavaScrip...
38m"Emmy: Moldable Physics and Lispy Microworlds"
38mThinking DSLs for Massive Visualization
35mConstructing a DSL for Composable Reports in Haskell
48mDesigning composable functional libraries, not just for data visualization
23mAxle A Spire based DSL
01h 00mVisualizing Olympic Medals with F# and Fable
30mOptimizing Energy Tariffing System with Formal Concept Analysis and Dash