HaskellDSL用于微积分或线性代数

微积分或线性代数的Haskell DSL

（A）硕士论文Cezar Ionescu的项目构想数学DSL项目。）

在[1]和[2]中，Sussman等人提出了微分几何的新方法，使用“计算机编程鼓励清晰思考的功能性风格”。他们的工作表明为构建特定于域的语言的优势理解数学理论（以及一些缺点为此目的使用方案）。该领域的论文将也许在数学尺度上目标较低，但在以下方面目标较高关注语言方面。我们想用哈斯克尔设计DSL以理解基本分析概念（极限、，序列、幂级数、积分、导数）、线性代数，或简单复杂的分析。

[1]:函数微分几何《苏斯曼、智慧和法尔》，麻省理工出版社2013年版。
[2]:经典力学的结构与解释《苏斯曼、智慧与迈尔》，麻省理工出版社2001年版。