Haskell DSL Foundation

2021年12月20日 (一) 04:44的版本

Idris 提供对实现嵌入式领域特定语言（Embedded Domain Specific Language，EDSL）的支持
servant A Type-Level Web DSL
Euterpea 是一种用于电子音乐的嵌入 Haskell 的 DSL 《The Haskell School of Music》
diagrams DSL for creating vector graphics
ForSyDe Haskell-embedded DSL
Marlowe is also an embedded DSL, hosted in the Haskell programming language.
Yampa Functional Reactive Programming (FRP, 函数反应式编程) DSL for efficient hybrid（混合离散时间和连续时间）systems，使用了信号函数作为它的核心抽象，并使用箭头（Arrow）组合器进行结构化。
Ivory 是一种嵌入式领域特定语言（EDSL），旨在提供一种系统级的编程语言，在不牺牲表现力的情况下，消除C语言编程的一些常见缺陷。
DSLsofMath DSL of Mathematics

@@ 第9行： / 第9行： @@
 ==项目==
+*[[Idris]] 提供对实现嵌入式领域特定语言（Embedded Domain Specific Language，E[[DSL]]）的支持
 *[https://github.com/haskell-servant servant] A Type-Level Web [[DSL]]
 *[https://github.com/Euterpea Euterpea] 是一种用于电子音乐的嵌入 Haskell 的 [[DSL]] [https://www.cs.yale.edu/homes/hudak/Papers/HSoM.pdf 《The Haskell School of Music》]