Haskell ecosystem

2021年12月7日 (二) 08:34的版本

Haskell ecosystem

项目集

• Haskell @ LibHunt

用户服务商

• FP Complete
• Galois, Inc.
• Serokell
• Wire Swiss GmbH Wire.com backend services

语言编译器

• Implementations Glasgow Haskell Compiler (GHC) Utrecht Haskell Compiler (UHC) LLVM Haskell Compiler (LHC)
• Compilers and interpreters Foreign Function Interface (FFI)
• Haskell LLVM JIT Compiler Tutorial Implementing a JIT Compiled Language with Haskell and LLVM
• Asterius A Haskell to WebAssembly compiler
• llvm-hs Haskell bindings for LLVM
• Elm语言 Elm Compiler
• PureScript A small strongly, statically typed language which compiles to JavaScript
• Clash A functional hardware description language, Haskell to VHDL/Verilog/SystemVerilog compiler
• Cryptol The Language of Cryptography
• Agda is a dependently typed programming language / interactive theorem prover.
• Idris A Language for Type-Driven Development
• ForSyDe Haskell-embedded Domain Specific Language
• Perl6::Pugs - A Perl 6 Implementation, Perl 6 的 Haskell 实现 Pugs
• Plutus smart contracts language implementation and tools
• Ermine Programming Language
• Yampa Functional Reactive Programming (FRP, 函数反应式编程) domain-specific language for efficient hybrid（混合离散时间和连续时间）systems，使用了信号函数作为它的核心抽象，并使用箭头（Arrow）组合器进行结构化。

类型系统

这里包含类型、数据、结构、算法等软件包，Haskell 主要使用 data 与 newtype 关键字来定义新的数据类型。

• Haskell Type
• Type Class 类型类首先在 Haskell 中实现 对类型类的广泛解释
• Monad 单体可以被看作是各种数据或控制结构的标准编程接口
• Lens Lenses, Folds, and Traversals

包管理

• Haskell Platform Included Packages 35 core & widely-used packages
• Hackage The Haskell Package Repository
• stack Nix integration
• cabal
• ghc-pkg

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

• Nix 是一个包管理器，它管理的包环境可信赖、可重现，可原子地执行升级与回滚，在这基础上又有了基于包管理的操作系统 NixOS

测试质量

• hspec Testing for Haskell

桌面IDE

• lamdu towards the next generation IDE
• Morte IDE
• Leksah Haskell IDE

图形GUI

• XMonad A dynamically tiling X11 window manager that is written and configured in Haskell.
• wxHaskell
• Haskell OpenGL

Web应用

• IHP is a modern batteries-included haskell web framework, built on top of Haskell and Nix
• Yesod Web Framework
• Snap A Haskell Web Framework
• hakyll A static website compiler library in Haskell

数据科学

• dataHaskell Haskell data science

金融科技

机器学习

数学密码学

• Haskell Mathematics Articles using Haskell for mathematics and the mathematics of Haskell
• Haskell math packages
• Numerical is the core library for Numerical Haskell
• cryptol加密语言
• Automatic Differentiation
• Haskell DSP Library

并发并行

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

• Concurrent and Parallel Programming 软件事务内存（Software Transactional Memory,STM）是一种比较理想的解决并发程序的解决方案。
• Cloud_Haskell（CH） 与 Erlang 类似,都采用 Actor 模型作为其默认的并发模型。
• Distributed Haskell
• A Cloud Haskell Appetiser (Parallel Haskell Digest 11)
• stm-actor An implementation of the actor model in Haskell using STM
• drama Actor library for Haskell 更多 Actor 开源项目

游戏

• Haskanoid A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.
• Frag is a 3D first person shooting game written in Haskell
• Barbarossa - a chess engine written completely in Haskell
• hadoom A little Doom-like 2.5 game engine
• Hedgewars A turn-based artillery game, The game server is written in Haskell.
• Lazy Lambda a Flappy Bird clone in Haskell with SpriteKit
• Lambda-Heights A fast paced arcade game

区块链

• Input Output Cardano Foundation Adrestia Project Why Cardano chose Haskell — and why you should care
• Well-Typed
• lorentz: EDSL for the Michelson Language Lorentz: Implementing Smart Contract eDSL in Haskell
• Morley Standards and tools for the Tezos platform

操作系统

Operating System

• XMonad
• Bluetile full-featured tiling for the GNOME desktop environment
• Hos A Haskell operating system]
• House
• Haskell File System

硬件芯片

• Lion Where Lions Roam: RISC-V on the VELDT
• riscv-semantics A formal semantics of the RISC-V ISA in Haskell
• Retrocomputing with Clash: Haskell for FPGA Hardware Design

图集

• 

  GHC实时系统

• 

  Cardano Node

• 

  Cardano架构

• 

  静态网站生成器

• 

  Actor和Thread

• 

  用Haskell构建操作系统

• 

  类型类

• 

  Lens

• 

  wire.com 架构

链接