欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Haskell DSL Foundation
来自开放百科 - 灰狐
(版本间的差异)
小 (→简介) |
小 (→简介) |
||
第2行: | 第2行: | ||
==简介== | ==简介== | ||
− | 基于 [[Haskell ecosystem]] | + | 基于 [[Haskell ecosystem]] 构建实现更多的[[DSL|领域特定语言]]和编程语言。 |
*[[Haskell Web Foundation]] | *[[Haskell Web Foundation]] | ||
*[[Haskell Desktop Foundation]] | *[[Haskell Desktop Foundation]] | ||
+ | |||
+ | [[JavaScript]], [[PHP]], [[Ruby]] 和 [[Python]] 等编程语言的 Haskell 实现也一并讨论,可理解为对脚本语言特定领域的支持。 | ||
+ | *[[PureScript]] | ||
+ | *[https://github.com/bjpop/berp/ Berp] an implementation of [[Python]] 3 | ||
+ | *[https://github.com/bartavelle/hruby hruby] Embed [[Ruby]] in your Haskell program. | ||
+ | *[https://github.com/jhartikainen/hs-language-php hs-language-php] 用于解析和评估 [[PHP]] 代码的实验性 Haskell 模块 | ||
==功能== | ==功能== |
2022年3月5日 (六) 02:07的版本
Haskell DSL Foundation
目录 |
简介
基于 Haskell ecosystem 构建实现更多的领域特定语言和编程语言。
JavaScript, PHP, Ruby 和 Python 等编程语言的 Haskell 实现也一并讨论,可理解为对脚本语言特定领域的支持。
- PureScript
- Berp an implementation of Python 3
- hruby Embed Ruby in your Haskell program.
- hs-language-php 用于解析和评估 PHP 代码的实验性 Haskell 模块
功能
指南
项目
- 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
文档
图集
链接
分享您的观点