欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Haskell DSL Foundation
来自开放百科 - 灰狐
（版本间的差异）
(以“Haskell DSL Foundation ==简介== 基于 Haskell ecosystem 构建更多的领域特定语言。 ==功能== ==指南== ==项目== *[https://github.com...”为内容创建页面) |
小 (→图集) |
||
| （未显示1个用户的8个中间版本） | |||
| 第2行： | 第2行： | ||
==简介== | ==简介== | ||
| − | 基于 [[Haskell ecosystem]] | + | 基于 [[Haskell ecosystem]] 构建实现更多的[[DSL|领域特定语言]]和编程语言。 |
| + | |||
| + | *[[Haskell Web 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 模块 | ||
==功能== | ==功能== | ||
| 第9行： | 第18行： | ||
==项目== | ==项目== | ||
| + | *[[Idris]] 提供对实现嵌入式领域特定语言（Embedded Domain Specific Language，E[[DSL]]）的支持 | ||
*[https://github.com/haskell-servant servant] A Type-Level Web [[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》] | *[https://github.com/Euterpea Euterpea] 是一种用于电子音乐的嵌入 Haskell 的 [[DSL]] [https://www.cs.yale.edu/homes/hudak/Papers/HSoM.pdf 《The Haskell School of Music》] | ||
| 第15行： | 第25行： | ||
*[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语言编程的一些常见缺陷。 | ||
| + | *[https://github.com/DSLsofMath DSLsofMath] [[DSL]] of [[Mathematics]] | ||
| + | |||
| + | ==计算语言学== | ||
| + | [[文件:Grammatical-Framework-logo.png|right|Grammatical Framework]] | ||
| + | [[Natural language processing|NLP]], [[Natural language understanding|NLU]], [[Machine_translation|机器翻译]] in Haskell | ||
| + | *[https://wiki.haskell.org/Applications_and_libraries/Linguistics Haskell Computational Linguistics] | ||
| + | *[https://github.com/GrammaticalFramework Grammatical Framework] [https://www.grammaticalframework.org/gf-book/gf-book-slides.pdf Grammatical Framework: Programming with Multilingual Grammars] | ||
| + | *[https://github.com/ajtulloch/dnngraph DNNGraph] A deep neural network model generation DSL in Haskell | ||
| + | *[https://hackage.haskell.org/packages/#cat:Natural%20Language%20Processing Natural Language Processing packages] | ||
| + | |||
| + | ==计算机视觉== | ||
| + | [[文件:haskell-opencv.png|right|Haskell OpenCV]] | ||
| + | [[Computer vision]], [[OpenCV]] | ||
| + | *[https://github.com/LumiGuide/haskell-opencv Haskell OpenCV] Haskell binding to [[OpenCV]]-3.x | ||
| + | |||
| + | ==文档== | ||
| + | *[https://docs.huihoo.com/haskell/DSLs-in-Haskell-2015.pdf DSLs in Haskell] | ||
==图集== | ==图集== | ||
<gallery> | <gallery> | ||
image:Marlowe-DSL.jpg|Marlowe DSL | image:Marlowe-DSL.jpg|Marlowe DSL | ||
| + | image:intermediate-representation-type.png|中间表示分类 | ||
</gallery> | </gallery> | ||
2022年3月11日 (五) 04:58的最后版本
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
[编辑] 计算语言学
- Haskell Computational Linguistics
- Grammatical Framework Grammatical Framework: Programming with Multilingual Grammars
- DNNGraph A deep neural network model generation DSL in Haskell
- Natural Language Processing packages
[编辑] 计算机视觉
- Haskell OpenCV Haskell binding to OpenCV-3.x
[编辑] 文档
[编辑] 图集
Marlowe DSL
中间表示分类
[编辑] 链接
分享您的观点
