Haskell DSL for Calculus or Linear Algebra
In  and , Sussman et. al. present a significant portion of differential geometry in a novel way, using "computer programming in a functional style to encourage clear thinking". Their work shows the advantages of constructing domain-specific languages for understanding mathematical theories (and some of the disadvantages of using Scheme for this purpose). The theses in this area will perhaps aim lower on the mathematical scale, but higher in terms of attention paid to the linguistic aspects. We want to use Haskell to design DSLs for understanding elementary analyis concepts (limits, sequences, power series, integration, derivatives), linear algebra, or simple complex analysis.
- : Functional Differential Geometry, Sussman, Wisdom, and Farr, MIT Press 2013.
- : Structure and Interpretation of Classical Mechanics, Sussman, Wisdom, and Mayer, MIT Press 2001.