欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Haskell DSL Foundation
来自开放百科 - 灰狐
（版本间的差异）
(以“Haskell DSL Foundation ==简介== 基于 Haskell ecosystem 构建更多的领域特定语言。 ==功能== ==指南== ==项目== *[https://github.com...”为内容创建页面) |
小 (→项目) |
||
| 第15行： | 第15行： | ||
*[https://github.com/input-output-hk/marlowe Marlowe] is also an embedded [[DSL]], hosted in the Haskell programming language. | *[https://github.com/input-output-hk/marlowe Marlowe] is also an embedded [[DSL]], hosted in the Haskell programming language. | ||
*[https://github.com/ivanperez-keera/Yampa/ Yampa] Functional Reactive Programming (FRP, 函数反应式编程) [[DSL]] for efficient hybrid（混合离散时间和连续时间）systems，使用了信号函数作为它的核心抽象，并使用箭头（Arrow）组合器进行结构化。 | *[https://github.com/ivanperez-keera/Yampa/ Yampa] Functional Reactive Programming (FRP, 函数反应式编程) [[DSL]] for efficient hybrid（混合离散时间和连续时间）systems，使用了信号函数作为它的核心抽象，并使用箭头（Arrow）组合器进行结构化。 | ||
| + | *[https://github.com/GaloisInc/ivory Ivory] 是一种嵌入式领域特定语言（E[[DSL]]），旨在提供一种系统级的编程语言，在不牺牲表现力的情况下，消除C语言编程的一些常见缺陷。 | ||
==图集== | ==图集== | ||
2021年12月19日 (日) 05:31的版本
Haskell DSL Foundation
目录 |
简介
基于 Haskell ecosystem 构建更多的领域特定语言。
功能
指南
项目
- 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语言编程的一些常见缺陷。
图集
Marlowe DSL
链接
分享您的观点
