Haskell ecosystem

2021年12月6日 (一) 12:30的版本

Haskell ecosystem

用户服务商

• FP Complete

编译器解释器

• 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

语言类

• 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

桌面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

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

并发并行

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

• 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
• Well-Typed

图集

• 

  GHC实时系统

• 

  Cardano Node

• 

  Cardano架构

• 

  静态网站生成器

• 

  Actor和Thread

链接