Haskell ecosystem

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(FRP流计算)
(语言编译器)
(未显示1个用户的25个中间版本)
第35行: 第35行:
 
[[文件:agda-language-logo.png|right|Agda]]
 
[[文件:agda-language-logo.png|right|Agda]]
 
[[文件:carp-lang.png|right|Carp语言]]
 
[[文件:carp-lang.png|right|Carp语言]]
 +
[[文件:curry-language.png|right|Curry语言]]
  
 
*[https://haskell.libhunt.com/categories/3068-language Haskell Language] [https://haskell.libhunt.com/categories/2307-compiler Haskell Compiler]
 
*[https://haskell.libhunt.com/categories/3068-language Haskell Language] [https://haskell.libhunt.com/categories/2307-compiler Haskell Compiler]
第53行: 第54行:
 
*[https://github.com/valderman/haste-compiler Haste] A GHC-based Haskell to JavaScript compiler  
 
*[https://github.com/valderman/haste-compiler Haste] A GHC-based Haskell to JavaScript compiler  
 
*[https://github.com/clash-lang/clash-compiler Clash] A functional hardware description language, Haskell to VHDL/[[Verilog]]/SystemVerilog [[compiler]]  
 
*[https://github.com/clash-lang/clash-compiler Clash] A functional hardware description language, Haskell to VHDL/[[Verilog]]/SystemVerilog [[compiler]]  
*[https://github.com/GaloisInc/cryptol Cryptol] The Language of Cryptography  
+
*[[Cryptol]] The Language of [[Cryptography]]
*[https://github.com/agda/agda Agda] is a dependently typed programming language / interactive theorem prover. [https://plfa.github.io/ Programming Language Foundations in Agda]  
+
*[[Agda]] is a dependently typed programming language / interactive theorem prover. [https://plfa.github.io/ Programming Language Foundations in Agda]  
 
*[[Carp]] 是一种旨在为互动和性能(如:游戏、语音视频、声音合成和可视化)提供良好支持的编程语言。Carp 是一个静态类型的 [[Lisp]],没有 GC,用于实时应用。
 
*[[Carp]] 是一种旨在为互动和性能(如:游戏、语音视频、声音合成和可视化)提供良好支持的编程语言。Carp 是一个静态类型的 [[Lisp]],没有 GC,用于实时应用。
 
*[https://github.com/idris-lang Idris] A Language for Type-Driven Development
 
*[https://github.com/idris-lang Idris] A Language for Type-Driven Development
第66行: 第67行:
 
*[https://github.com/ermine-language/ermine Ermine Programming Language]
 
*[https://github.com/ermine-language/ermine Ermine 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/Frege/frege Frege] is a Haskell for the [[JVM]], It brings purely functional programing to the Java platform. 
 
*[https://github.com/typelead/eta Eta] Modern Haskell on the [[JVM]], port Haskell games to [[Android]].  
 
*[https://github.com/typelead/eta Eta] Modern Haskell on the [[JVM]], port Haskell games to [[Android]].  
 
*[https://github.com/kframework/kore The Kore Language]
 
*[https://github.com/kframework/kore The Kore Language]
第75行: 第77行:
 
*[https://github.com/facebookincubator/hsthrift/ The Haskell Thrift Compiler] [[Apache Thrift]]
 
*[https://github.com/facebookincubator/hsthrift/ The Haskell Thrift Compiler] [[Apache Thrift]]
 
*[https://github.com/sam46/Paskell Paskell] A [[Pascal]] to [[LLVM]] compiler in Haskell
 
*[https://github.com/sam46/Paskell Paskell] A [[Pascal]] to [[LLVM]] compiler in Haskell
 +
*[https://github.com/Helium4Haskell/helium Helium compiler] Helium-as-a-library, and the texthint interpreter
 +
*[https://github.com/discus-lang/ddc Disco Discus Compiler (DDC)]
 +
*[https://github.com/IntelLabs/flrc Intel labs Haskell research compiler]
 +
*[https://curry.pages.ps.informatik.uni-kiel.de/curry-lang.org/ Curry] A Truly Integrated Functional Logic Programming Language
 +
*[https://futhark-lang.org/ Futhark] High-performance purely functional data-parallel array programming
 +
*[https://github.com/lexi-lambda/hackett Hackett] WIP implementation of a Haskell-like [[Lisp]] in [[Racket]]
  
 
==GHC==
 
==GHC==
第98行: 第106行:
 
Haskell & GHC 核心开发者
 
Haskell & GHC 核心开发者
 
*[https://github.com/haskell/core-libraries-committee Core Libraries Committee]
 
*[https://github.com/haskell/core-libraries-committee Core Libraries Committee]
 +
 +
==.NET==
 +
与 [[.NET ecosystem|.NET]] 的集成和互操作
 +
*[https://github.com/tim-m89/Salsa Salsa] a [[.NET]] bridge for Haskell
  
 
==类型系统==
 
==类型系统==
第119行: 第131行:
 
*[https://github.com/fosskers/aura The Aura Package Manager]
 
*[https://github.com/fosskers/aura The Aura Package Manager]
 
*[[Darcs]] 版本控制系统
 
*[[Darcs]] 版本控制系统
 +
*[https://github.com/sol/hpack hpack] 一种现代的 Haskell 包格式
  
 
==插件模块化==
 
==插件模块化==
第124行: 第137行:
  
 
==DevOps==
 
==DevOps==
代码测试、代码质量、代码安全、[[DevOps]] ...
+
代码测试、代码质量、代码安全、[[Gitlab]]、[[DevOps]] ...
 
*[https://hackage.haskell.org/package/QuickCheck QuickCheck] Automatic testing of Haskell programs. [https://wiki.haskell.org/Introduction_to_QuickCheck2 Introduction to QuickCheck2]
 
*[https://hackage.haskell.org/package/QuickCheck QuickCheck] Automatic testing of Haskell programs. [https://wiki.haskell.org/Introduction_to_QuickCheck2 Introduction to QuickCheck2]
 
*[https://github.com/haskell-servant/servant-quickcheck servant-quickcheck] QuickCheck entire APIs   
 
*[https://github.com/haskell-servant/servant-quickcheck servant-quickcheck] QuickCheck entire APIs   
第134行: 第147行:
 
*[https://github.com/composewell/packcheck Packcheck] Universal CI testing for Haskell packages
 
*[https://github.com/composewell/packcheck Packcheck] Universal CI testing for Haskell packages
 
*[https://github.com/Lysxia/generic-random Generic random generators]
 
*[https://github.com/Lysxia/generic-random Generic random generators]
 +
*[https://github.com/hercules-ci/hercules-ci-agent Hercules CI Agent]
 +
*[https://github.com/KSF-Media/gitlab-dashboard Gitlab Pipelines TV Dashboard]
  
 
==桌面IDE==
 
==桌面IDE==
第166行: 第181行:
 
[[文件:haskell-servant.png|right|Servant]]
 
[[文件:haskell-servant.png|right|Servant]]
 
*[https://haskell.libhunt.com/categories/3536-web Haskell Web]
 
*[https://haskell.libhunt.com/categories/3536-web Haskell Web]
 +
*[[Haskell Web Foundation]]
 
*[https://github.com/lyokha/nginx-haskell-module Nginx Haskell module] [[Nginx]] module for binding Haskell
 
*[https://github.com/lyokha/nginx-haskell-module Nginx Haskell module] [[Nginx]] module for binding Haskell
 
*[https://github.com/haskell-servant/servant servant] A Type-Level Web [[DSL]]
 
*[https://github.com/haskell-servant/servant servant] A Type-Level Web [[DSL]]
第180行: 第196行:
 
*[https://github.com/dmjio/miso miso] A tasty Haskell front-end framework
 
*[https://github.com/dmjio/miso miso] A tasty Haskell front-end framework
  
==网络服务器==
+
==eLearning==
 +
*[https://github.com/NoRedInk NoRedInk] We teach writing!
 +
 
 +
==网络系统==
 +
[[文件:Haskus-System.png|right]]
 +
网络、服务器、系统编程
 
*[https://github.com/haskell/network Haskell Network]  Low-level networking interface  
 
*[https://github.com/haskell/network Haskell Network]  Low-level networking interface  
 
*[https://github.com/jaspervdj/websockets websockets] A Haskell library for creating [[WebSocket]]-capable servers
 
*[https://github.com/jaspervdj/websockets websockets] A Haskell library for creating [[WebSocket]]-capable servers
 +
*[https://github.com/haskus/haskus-system Haskus system]
  
 
==数据科学==
 
==数据科学==
 
[[文件:jupyter-haskell.png|right]]
 
[[文件:jupyter-haskell.png|right]]
 +
[[文件:ArrayFire.png|right]]
 
*[https://github.com/haskell/statistics statistics] A library of statistical types, data, and functions 这个库提供了一些在统计学中有用的常用函数和类型,专注于高性能、数值稳健和使用良好的算法。
 
*[https://github.com/haskell/statistics statistics] A library of statistical types, data, and functions 这个库提供了一些在统计学中有用的常用函数和类型,专注于高性能、数值稳健和使用良好的算法。
 
*[https://github.com/DataHaskell dataHaskell] Haskell [[data science]]
 
*[https://github.com/DataHaskell dataHaskell] Haskell [[data science]]
第196行: 第219行:
 
*[https://github.com/acowley/Frames Frames] Data Frames for Haskell
 
*[https://github.com/acowley/Frames Frames] Data Frames for Haskell
 
*[https://github.com/timbod7/haskell-chart haskell-chart] A 2D charting library for haskell
 
*[https://github.com/timbod7/haskell-chart haskell-chart] A 2D charting library for haskell
 +
*[https://github.com/datahaskell dataHaskell] Data Types for Data Science 汇总了很多数据科学和机器学习的开源项目
 +
*[https://github.com/arrayfire/arrayfire-haskell ArrayFire] Haskell bindings to [https://arrayfire.org ArrayFire]
  
 
==[[Financial technology|金融交易]]==
 
==[[Financial technology|金融交易]]==
第207行: 第232行:
 
[[Artificial intelligence|人工智能]], [[machine learning|机器学习]], [[deep learning|深度学习]], [[Artificial neural network|神经网络]], [[Natural language processing|NLP]] in Haskell
 
[[Artificial intelligence|人工智能]], [[machine learning|机器学习]], [[deep learning|深度学习]], [[Artificial neural network|神经网络]], [[Natural language processing|NLP]] in Haskell
 
*[https://haskell.libhunt.com/packages/machine-learning Haskell Machine Learning packages @ Libhunt]
 
*[https://haskell.libhunt.com/packages/machine-learning Haskell Machine Learning packages @ Libhunt]
 +
*[https://wiki.haskell.org/Applications_and_libraries/Linguistics Haskell Linguistics & NLP]
 
*[https://mmhaskell.com/machine-learning Machine Learning in Haskell]
 
*[https://mmhaskell.com/machine-learning Machine Learning in Haskell]
 
*[https://hackage.haskell.org/packages/#cat:AI AI packages]
 
*[https://hackage.haskell.org/packages/#cat:AI AI packages]
第240行: 第266行:
 
*[https://www.acceleratehs.org/ Accelerate] High-Performance Parallel Arrays for Haskell
 
*[https://www.acceleratehs.org/ Accelerate] High-Performance Parallel Arrays for Haskell
 
*[https://github.com/haskell/ThreadScope ThreadScope]  A graphical tool for profiling parallel Haskell programs  
 
*[https://github.com/haskell/ThreadScope ThreadScope]  A graphical tool for profiling parallel Haskell programs  
*[https://wiki.haskell.org/Cloud_Haskell Cloud_Haskell(CH)] 与 [[Erlang]] 类似,都采用 [[actor model|Actor 模型]]作为其默认的并发模型。
+
*[https://wiki.haskell.org/Cloud_Haskell Cloud Haskell(CH)] 与 [[Erlang]] 类似,都采用 [[actor model|Actor 模型]]作为其默认的并发模型。
*[https://github.com/haskell-distributed Distributed Haskell] [https://github.com/haskell-distributed/distributed-process distributed-process] Haskell analog to [[Erlang]]
+
*[https://github.com/haskell-distributed Distributed Haskell] [https://github.com/haskell-distributed/distributed-process distributed-process] Haskell analog to [[Erlang]] [https://haskell-distributed.github.io/ Learn how to build concurrent, distributed programs with Cloud Haskell]
 
*[https://well-typed.com/blog/68/ A Cloud Haskell Appetiser (Parallel Haskell Digest 11)]
 
*[https://well-typed.com/blog/68/ A Cloud Haskell Appetiser (Parallel Haskell Digest 11)]
 
*[https://github.com/samuelschlesinger/stm-actor stm-actor] An implementation of the [[actor model]] in Haskell using STM  
 
*[https://github.com/samuelschlesinger/stm-actor stm-actor] An implementation of the [[actor model]] in Haskell using STM  
第313行: 第339行:
 
*[https://github.com/NixOS/hackage-db hackage-db] provide access to the Hackage database via Data.Map
 
*[https://github.com/NixOS/hackage-db hackage-db] provide access to the Hackage database via Data.Map
 
*[https://github.com/tkvogt/judy-graph-db judy-graph-db] is a [[graph database]]
 
*[https://github.com/tkvogt/judy-graph-db judy-graph-db] is a [[graph database]]
 +
*[https://github.com/valderman/selda Selda] A type-safe, high-level SQL library for Haskell
  
 
==操作系统==
 
==操作系统==
第327行: 第354行:
  
 
==硬件芯片==
 
==硬件芯片==
 +
涉及 [[proof assistant]]、软硬件规范、形式化语言、定理验证等领域
 
[[文件:Formal-Verification.png]]
 
[[文件:Formal-Verification.png]]
 
[[文件:Corespec.png|right]]
 
[[文件:Corespec.png|right]]
 +
 
*[https://deepspec.org The Science of Deep Specification] [https://deepspec.org/entry/Project/Haskell+CoreSpec Haskell CoreSpec] [https://riscv.org/wp-content/uploads/2017/12/Wed-1454-RISCV-AdamChlipala.pdf Strong Formal Verification for RISC-V]  
 
*[https://deepspec.org The Science of Deep Specification] [https://deepspec.org/entry/Project/Haskell+CoreSpec Haskell CoreSpec] [https://riscv.org/wp-content/uploads/2017/12/Wed-1454-RISCV-AdamChlipala.pdf Strong Formal Verification for RISC-V]  
 
*[https://wiki.haskell.org/Specification_and_proof Specification and proof] [https://programatica.cs.pdx.edu/P/diatchi.pdf A Formal Specification of the Haskell 98 Module System]
 
*[https://wiki.haskell.org/Specification_and_proof Specification and proof] [https://programatica.cs.pdx.edu/P/diatchi.pdf A Formal Specification of the Haskell 98 Module System]
第365行: 第394行:
 
image:etalang-packages.png|Eta语言包
 
image:etalang-packages.png|Eta语言包
 
image:Eta-Haskell-Compatibility.png|Eta元编程兼容性
 
image:Eta-Haskell-Compatibility.png|Eta元编程兼容性
 +
image:flrc-pipeline.png|Functional Language Research Compiler (FLRC)
 
</gallery>
 
</gallery>
  

2022年1月11日 (二) 16:06的版本

Haskell ecosystem

Haskell-logo.png

目录

基金会

项目集

用户服务商

语言编译器

Write-you-a-haskell.png
GRIN编译器
PureScript-Logo.png
Agda
Carp语言
Curry语言
Plutus language

GHC

Hoogle.png

GHC, GHCi, Runtime, Virtual Machine, Haskell Compiler Service(HCS)资源汇集

Compiler.png

开发者

Haskell & GHC 核心开发者

.NET

.NET 的集成和互操作

类型系统

这里包含类型、数据、结构、算法等软件包,Haskell 主要使用 data 与 newtype 关键字来定义新的数据类型。Type systems are an example of lightweight formal methods(形式化方法)。

包管理

Darcs 版本控制系统

cabal-install 支持多个 Haskell 编译器,而 ghc-pkg 仅用于 GHC。

  • Nix 是一个包管理器,它管理的包环境可信赖、可重现,可原子地执行升级与回滚,在这基础上又有了基于包管理的操作系统 NixOS
  • haskell.nix 用 Nix 构建 Haskell 包的基础设施,haskell.nix 可以自动将 Cabal 或 Stack 项目及其依赖项转化成 Nix 代码。
  • The Aura Package Manager
  • Darcs 版本控制系统
  • hpack 一种现代的 Haskell 包格式

插件模块化

  • polysemy 是一个用于编写高复用领域特定语言(DSL)的库。polysemy 允许将业务逻辑与实现细节分开,这样一来,就把实现代码变成可重用的库代码。Reasonably Polymorphic

DevOps

代码测试、代码质量、代码安全、GitlabDevOps ...

桌面IDE

图形GUI

REST API

  • Hasura GraphQL Engine
  • Haxl is a Haskell library that simplifies access to remote data, such as databases or web-based services.

Web应用

Servant

eLearning

网络系统

Haskus-System.png

网络、服务器、系统编程

数据科学

Jupyter-haskell.png
ArrayFire.png

金融交易

  • Haskell in Production
  • hledger 是开源跨平台会计软件,适合刚接触会计的人,也适合强大的用户。它适合追踪金钱、时间、投资、加密货币、库存等,具有高度的准确性、灵活性和隐私性,它是纯文本会计的最佳实现之一。
  • Adjoint 为跨国企业实现了现金和结算流程的数字化

人工智能

Haskell Brain
Haskell OpenCV

人工智能, 机器学习, 深度学习, 神经网络, NLP in Haskell

数学物理

并发并行

并行、并发、异步以及分布式、云计算

音乐视频

游戏

Fungen.gif

移动App

实时嵌入式

  • Ivory is an embedded domain specific language (EDSL)
  • Copilot Stream DSL for hard real-time runtime verification

安全密码学

区块链

FRP流计算

大数据、流计算、Functional Reactive Programming (FRP) 使用可组合的事件和随时间变化的值,将交互式系统描述为纯函数。

数据库存储

Postgrest-request-flow.png

Databases and Persistence

操作系统

Operating System

机器人

硬件芯片

涉及 proof assistant、软硬件规范、形式化语言、定理验证等领域 Formal-Verification.png

Corespec.png

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱