Haskell ecosystem

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(语言编译器)
(语言编译器)
第28行: 第28行:
 
*[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]
 
*[https://wiki.haskell.org/Implementations Implementations (GHC, Hugs, NHC, JHC, Yhc, UHC)] [https://www.haskell.org/ghc/ Glasgow Haskell Compiler (GHC)] [https://github.com/UU-ComputerScience/uhc Utrecht Haskell Compiler (UHC)] [https://github.com/Lemmih/lhc LLVM Haskell Compiler (LHC)] [https://wiki.haskell.org/Yhc York Haskell Compiler (Yhc)]
 
*[https://wiki.haskell.org/Implementations Implementations (GHC, Hugs, NHC, JHC, Yhc, UHC)] [https://www.haskell.org/ghc/ Glasgow Haskell Compiler (GHC)] [https://github.com/UU-ComputerScience/uhc Utrecht Haskell Compiler (UHC)] [https://github.com/Lemmih/lhc LLVM Haskell Compiler (LHC)] [https://wiki.haskell.org/Yhc York Haskell Compiler (Yhc)]
 +
[[文件:write-you-a-haskell.png]] [https://github.com/sdiehl/write-you-a-haskell Building a modern functional compiler from first principles]
 
*[https://www.cs.kent.ac.uk/people/staff/dat/miranda/ Miranda] 是一种惰性求值的纯函数式编程语言,由英国学者大卫·特纳所设计,强烈的影响了后来发展出的 Haskell。  
 
*[https://www.cs.kent.ac.uk/people/staff/dat/miranda/ Miranda] 是一种惰性求值的纯函数式编程语言,由英国学者大卫·特纳所设计,强烈的影响了后来发展出的 Haskell。  
 
*Haskell library for [https://github.com/haskell/lsp/tree/master/lsp Language Server Protocol]
 
*Haskell library for [https://github.com/haskell/lsp/tree/master/lsp Language Server Protocol]

2021年12月16日 (四) 07:17的版本

Haskell ecosystem

Haskell-logo.png

目录

基金会

Haskell Foundation

项目集

用户服务商

语言编译器

GRIN编译器

Write-you-a-haskell.png Building a modern functional compiler from first principles

Agda
Carp语言
  • Carp 是一种旨在为互动和性能(如:游戏、语音视频、声音合成和可视化)提供良好支持的编程语言。Carp 是一个静态类型的 Lisp,没有 GC,用于实时应用。
  • Idris A Language for Type-Driven Development
  • ForSyDe Haskell-embedded Domain Specific Language
  • Accelerate High-performance parallel arrays for Haskell Accelerate-LLVM
  • Perl6::Pugs - A Perl 6 Implementation, Perl 6 的 Haskell 实现 Pugs
Plutus language

GHC

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

Compiler.png

开发者

Haskell & GHC 核心开发者

类型系统

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

包管理

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

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

插件模块化

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

测试质量

  • QuickCheck Automatic testing of Haskell programs. Introduction to QuickCheck2
  • servant-quickcheck QuickCheck entire APIs
  • hspec Testing for Haskell
  • hspec-wai Experimental Hspec support for testing WAI applications
  • Retrie is a powerful, easy-to-use code modding tool for Haskell.
  • Glean System for collecting, deriving and working with facts about source code.
  • Duckling Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

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

网络服务器

数据科学

Jupyter-haskell.png

金融交易

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

人工智能

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

机器人

硬件芯片

Formal-Verification.png

Corespec.png

图集

链接

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

变换
操作
导航
工具箱