Haskell ecosystem

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(区块链)
(硬件芯片)
 
(未显示1个用户的21个中间版本)
第38行: 第38行:
 
*[https://weibo.com/ttarticle/p/show?id=2309404612580730863669 为什么 Haskell 是我们(Foxhound Systems)构建生产软件系统的首选] [https://weibo.com/ttarticle/p/show?id=2309404517904941973519 Concordium 混合使用 Rust & Haskell] [https://github.com/Concordium Concordium @ GitHub]
 
*[https://weibo.com/ttarticle/p/show?id=2309404612580730863669 为什么 Haskell 是我们(Foxhound Systems)构建生产软件系统的首选] [https://weibo.com/ttarticle/p/show?id=2309404517904941973519 Concordium 混合使用 Rust & Haskell] [https://github.com/Concordium Concordium @ GitHub]
 
*[https://well-typed.com/ Well-Typed]
 
*[https://well-typed.com/ Well-Typed]
 +
*[https://github.com/kowainik Kowainik] Anyone can change the world. We do.
 +
*[https://serokell.io/ Serokell] Software Development Company
  
 
==语言编译器==
 
==语言编译器==
第94行: 第96行:
 
*[https://futhark-lang.org/ Futhark] High-performance purely functional data-parallel array programming
 
*[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]]
 
*[https://github.com/lexi-lambda/hackett Hackett] WIP implementation of a Haskell-like [[Lisp]] in [[Racket]]
 +
*[https://www.mathstat.dal.ca/~selinger/quipper/ Quipper: A Scalable Quantum Programming Language] [[量子计算]]
  
 
==GHC==
 
==GHC==
第102行: 第105行:
 
[[文件:compiler.png]]
 
[[文件:compiler.png]]
 
*[https://www.haskell.org/ghc/ GHC @ Haskell] [https://gitlab.haskell.org/ghc/ghc GHC @ GitLab] [https://github.com/ghc/ghc GHC @ GitHub] [https://downloads.haskell.org/~ghc/latest/docs/html/ GHC Documentation] [https://downloads.haskell.org/~ghc/ GHC Download] [https://docs.huihoo.com/haskell/ghc/ GHC @ Huihoo]
 
*[https://www.haskell.org/ghc/ GHC @ Haskell] [https://gitlab.haskell.org/ghc/ghc GHC @ GitLab] [https://github.com/ghc/ghc GHC @ GitHub] [https://downloads.haskell.org/~ghc/latest/docs/html/ GHC Documentation] [https://downloads.haskell.org/~ghc/ GHC Download] [https://docs.huihoo.com/haskell/ghc/ GHC @ Huihoo]
 +
*[https://blog.llvm.org/2010/05/glasgow-haskell-compiler-and-llvm.html The Glasgow Haskell Compiler and LLVM]
 +
[[文件:glasgow-haskell-compiler-and-llvm-pipeline.png]]
 
*[https://hoogle.haskell.org Hoogle] is a [https://hackage.haskell.org/api Haskell API] search engine
 
*[https://hoogle.haskell.org Hoogle] is a [https://hackage.haskell.org/api Haskell API] search engine
 
*[http://compilertools.net/ compilertools.net] The Catalog of Compiler Construction Tools  
 
*[http://compilertools.net/ compilertools.net] The Catalog of Compiler Construction Tools  
第129行: 第134行:
 
*[https://wiki.haskell.org/Monad Monad] 在 Haskell 中,monad 是一个很重要的类型类,它起源于数学中的范畴论,单体(Monad)可以被看作是各种数据或控制结构的标准编程接口。
 
*[https://wiki.haskell.org/Monad Monad] 在 Haskell 中,monad 是一个很重要的类型类,它起源于数学中的范畴论,单体(Monad)可以被看作是各种数据或控制结构的标准编程接口。
 
*[https://github.com/ekmett/lens Lens] Lenses, Folds, and Traversals
 
*[https://github.com/ekmett/lens Lens] Lenses, Folds, and Traversals
 +
*[https://www.stackbuilders.com/blog/from-type-theory-to-haskell-in-10-minutes/ From Type Theory to Haskell in 10 Minutes]
  
 
==包管理==
 
==包管理==
 +
[[文件:haskell-cabal-logo.png|right|Cabal]]
 
[[文件:Darcs-logo.png|right|Darcs 版本控制系统]]
 
[[文件:Darcs-logo.png|right|Darcs 版本控制系统]]
 +
*推荐使用 [https://www.haskell.org/ghcup/ GHCup] 安装 GHC, cabal-install, Stack and haskell-language-server
 +
*[https://github.com/haskell/cabal/ Cabal]
 
*[https://www.haskell.org/platform/contents.html Haskell Platform Included Packages] 35 core & widely-used packages
 
*[https://www.haskell.org/platform/contents.html Haskell Platform Included Packages] 35 core & widely-used packages
 
*[https://hackage.haskell.org/ Hackage] The Haskell Package Repository
 
*[https://hackage.haskell.org/ Hackage] The Haskell Package Repository
 
*[https://www.haskellstack.org/ stack] [https://docs.haskellstack.org/en/stable/nix_integration/ Nix integration] Stack is a cross-platform program for developing Haskell projects.  
 
*[https://www.haskellstack.org/ stack] [https://docs.haskellstack.org/en/stable/nix_integration/ Nix integration] Stack is a cross-platform program for developing Haskell projects.  
*[https://github.com/haskell/cabal/ cabal]
 
 
*[https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/packages.html ghc-pkg]
 
*[https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/packages.html ghc-pkg]
 
cabal-install 支持多个 Haskell 编译器,而 ghc-pkg 仅用于 GHC。
 
cabal-install 支持多个 Haskell 编译器,而 ghc-pkg 仅用于 GHC。
 
*[https://nixos.org/ Nix] 是一个包管理器,它管理的包环境可信赖、可重现,可原子地执行升级与回滚,在这基础上又有了基于包管理的操作系统 NixOS
 
*[https://nixos.org/ Nix] 是一个包管理器,它管理的包环境可信赖、可重现,可原子地执行升级与回滚,在这基础上又有了基于包管理的操作系统 NixOS
 +
*[https://github.com/nixos/cabal2nix cabal2nix] Generate Nix build instructions from a Cabal file
 
*[https://github.com/input-output-hk/haskell.nix haskell.nix] 用 Nix 构建 Haskell 包的基础设施,haskell.nix 可以自动将 Cabal 或 Stack 项目及其依赖项转化成 Nix 代码。
 
*[https://github.com/input-output-hk/haskell.nix haskell.nix] 用 Nix 构建 Haskell 包的基础设施,haskell.nix 可以自动将 Cabal 或 Stack 项目及其依赖项转化成 Nix 代码。
 
*[https://github.com/fosskers/aura The Aura Package Manager]
 
*[https://github.com/fosskers/aura The Aura Package Manager]
第208行: 第217行:
 
*[https://github.com/jgm/gitit Gitit] A [[wiki]] using HAppS, pandoc, and git
 
*[https://github.com/jgm/gitit Gitit] A [[wiki]] using HAppS, pandoc, and git
 
*[https://github.com/dmjio/miso miso] A tasty Haskell front-end framework
 
*[https://github.com/dmjio/miso miso] A tasty Haskell front-end framework
 +
 +
==消息社交媒体==
 +
*[https://github.com/n1k0/tooty tooty] An experimental multi-account [[Mastodon]] Web client written in [[Elm]].
 +
*[[Mastodon]] client module for [https://github.com/syucream/hastodon Haskell]
 +
*[https://github.com/simplex-chat/simplex-chat SimpleX] messaging platform 包含 iOS and Android apps
 +
*[[RabbitMQ]] Client for [https://github.com/hreinhardt/amqp Haskell]
  
 
==eLearning==
 
==eLearning==
第261行: 第276行:
  
 
==数学物理==
 
==数学物理==
*[https://wiki.haskell.org/Applications_and_libraries/Mathematics Haskell Mathematics] [https://wiki.haskell.org/Blog_articles/Mathematics Articles using Haskell for mathematics and the mathematics of Haskell]
+
*[https://wiki.haskell.org/Category:Mathematics Haskell and Mathematics] [https://wiki.haskell.org/Blog_articles/Mathematics Articles using Haskell for mathematics and the mathematics of Haskell]
 +
*[https://wiki.haskell.org/Applications_and_libraries/Theorem_provers Theorem provers] [[Agda]]
 
*[https://wiki.haskell.org/Combinatory_logic 组合逻辑(Combinatory logic)]被发展为数学基础的理论,组合逻辑为发展[https://wiki.haskell.org/Applications_and_libraries/Linguistics 数理语言学(mathematical linguistics)] 的强大理论做出了贡献,应用:[[Natural language processing|NLP]]
 
*[https://wiki.haskell.org/Combinatory_logic 组合逻辑(Combinatory logic)]被发展为数学基础的理论,组合逻辑为发展[https://wiki.haskell.org/Applications_and_libraries/Linguistics 数理语言学(mathematical linguistics)] 的强大理论做出了贡献,应用:[[Natural language processing|NLP]]
*[https://haskell.libhunt.com/categories/3145-math Haskell Math projects] [https://hackage.haskell.org/packages/#cat:Math Math packages] [https://hackage.haskell.org/packages/#cat:Algebra Algebra packages]  
+
*[https://haskell.libhunt.com/categories/3145-math Haskell Math projects] [https://hackage.haskell.org/packages/#cat:Math Math packages] [https://hackage.haskell.org/packages/#cat:Algebra Algebra packages] [https://hackage.haskell.org/package/texmath texmath] Conversion between math formats.
 
*[http://blog.sigfpe.com/2006/01/eleven-reasons-to-use-haskell-as.html 作为一个数学家使用 Haskell 的十一个理由]
 
*[http://blog.sigfpe.com/2006/01/eleven-reasons-to-use-haskell-as.html 作为一个数学家使用 Haskell 的十一个理由]
 
*[https://github.com/wellposed/numerical Numerical] is the core library for Numerical Haskell  
 
*[https://github.com/wellposed/numerical Numerical] is the core library for Numerical Haskell  
第272行: 第288行:
 
*[https://github.com/DSLsofMath/DSLsofMath DSLsofMath] [[DSL|Domain-Specific Languages]] of [[Mathematics]]
 
*[https://github.com/DSLsofMath/DSLsofMath DSLsofMath] [[DSL|Domain-Specific Languages]] of [[Mathematics]]
 
*[https://dslsofmath.github.io/BScProj2018/index.html Learn You a Physics for Great Good!]
 
*[https://dslsofmath.github.io/BScProj2018/index.html Learn You a Physics for Great Good!]
 +
*[https://github.com/nick8325/jukebox/ jukebox] A theorem prover
  
 
==并发并行==
 
==并发并行==
第322行: 第339行:
  
 
==安全密码学==
 
==安全密码学==
 +
[[文件:cryptol-logo.png|right|Cryptol]]
 
*[https://github.com/haskell/hackage-security Hackage Security]
 
*[https://github.com/haskell/hackage-security Hackage Security]
 
*[https://hackage.haskell.org/packages/#cat:Security Security] [https://hackage.haskell.org/packages/#cat:ACME ACME] (Automatic Certificate Management Environment, RFC 8555) packages
 
*[https://hackage.haskell.org/packages/#cat:Security Security] [https://hackage.haskell.org/packages/#cat:ACME ACME] (Automatic Certificate Management Environment, RFC 8555) packages
 
*[https://hackage.haskell.org/packages/#cat:Cryptography Cryptography packages]
 
*[https://hackage.haskell.org/packages/#cat:Cryptography Cryptography packages]
*[https://github.com/GaloisInc/cryptol cryptol]加密语言
+
*[[Cryptol]]加密语言
  
 
==区块链==
 
==区块链==
 
[[文件:cardano-logo.png|right|Cardano]]
 
[[文件:cardano-logo.png|right|Cardano]]
*[[Cardano]] [https://github.com/input-output-hk Input Output] [https://cardano.org/ Cardano Foundation] [https://github.com/cardano-foundation/CIPs Cardano Improvement Proposals (CIPs)] [https://cardano.org/what-is-ada/ ADA加密货币] [https://forum.cardano.org/t/cardano/82144 为什么人们无法评估Cardano的潜力] [https://forum.cardano.org/t/cardano/76981 Cardano如何实现中本聪的愿景] [https://forum.cardano.org/t/cardano/67573 Cardano和比特币可以共存并相互支持] [https://forum.cardano.org/t/alonzo-cardano/76973 Alonzo为Cardano带来智能合约] [https://github.com/input-output-hk/essential-cardano The Essential Cardano list] [https://input-output-hk.github.io/adrestia/ Adrestia Project] [https://medium.com/@cardano.foundation/why-cardano-chose-haskell-and-why-you-should-care-why-cardano-chose-haskell-and-why-you-should-f97052db2951 Why Cardano chose Haskell — and why you should care] [https://forum.cardano.org/c/chinese/39 Cardano中文]
+
*[[Cardano]]  
 +
*[https://github.com/input-output-hk Input Output] [https://cardano.org/ Cardano Foundation] [https://github.com/cardano-foundation/CIPs Cardano Improvement Proposals (CIPs)] [https://cardano.org/what-is-ada/ ADA加密货币] [https://forum.cardano.org/t/cardano/82144 为什么人们无法评估Cardano的潜力] [https://forum.cardano.org/t/cardano/76981 Cardano如何实现中本聪的愿景] [https://forum.cardano.org/t/cardano/67573 Cardano和比特币可以共存并相互支持] [https://forum.cardano.org/t/alonzo-cardano/76973 Alonzo为Cardano带来智能合约] [https://github.com/input-output-hk/essential-cardano The Essential Cardano list] [https://input-output-hk.github.io/adrestia/ Adrestia Project] [https://medium.com/@cardano.foundation/why-cardano-chose-haskell-and-why-you-should-care-why-cardano-chose-haskell-and-why-you-should-f97052db2951 Why Cardano chose Haskell — and why you should care] [https://forum.cardano.org/c/chinese/39 Cardano中文]
 
*[https://well-typed.com/blog/tags/blockchain/ Well-Typed]
 
*[https://well-typed.com/blog/tags/blockchain/ Well-Typed]
 
*[https://hackage.haskell.org/package/lorentz lorentz: EDSL for the Michelson Language] [https://serokell.io/blog/lorentz-implementing-smart-contract-edsl-in-haskell Lorentz: Implementing Smart Contract eDSL in Haskell]
 
*[https://hackage.haskell.org/package/lorentz lorentz: EDSL for the Michelson Language] [https://serokell.io/blog/lorentz-implementing-smart-contract-edsl-in-haskell Lorentz: Implementing Smart Contract eDSL in Haskell]
第373行: 第392行:
  
 
==硬件芯片==
 
==硬件芯片==
涉及 [[proof assistant]]、软硬件规范、形式化语言、定理验证等领域
 
 
[[文件:Formal-Verification.png]]
 
[[文件:Formal-Verification.png]]
 
[[文件:Corespec.png|right]]
 
[[文件:Corespec.png|right]]
  
 +
涉及 [[proof assistant]]、软硬件规范、形式化语言、定理验证等领域
 +
 +
*[https://ku-fpg.github.io/software/kansas-lava/ Kansas Lava]
 
*[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]
第424行: 第445行:
 
[[category:haskell]]
 
[[category:haskell]]
 
[[category:ecosystem]]
 
[[category:ecosystem]]
 +
[[category:Huihoo Foundation]]

2023年3月26日 (日) 08:11的最后版本

Haskell ecosystem

Haskell-logo.png

目录

[编辑] 基金会

[编辑] 会议

ACM

[编辑] 项目集

[编辑] 用户服务商

IOHK
Well-Typed

[编辑] 语言编译器

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

Glasgow-haskell-compiler-and-llvm-pipeline.png

[编辑] 开发者

Haskell & GHC 核心开发者

[编辑] .NET

.NET 的集成和互操作

[编辑] 类型系统

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

[编辑] 包管理

Cabal
Darcs 版本控制系统

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

  • Nix 是一个包管理器,它管理的包环境可信赖、可重现,可原子地执行升级与回滚,在这基础上又有了基于包管理的操作系统 NixOS
  • cabal2nix Generate Nix build instructions from a Cabal file
  • 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
Grammatical Framework
Haskell OpenCV

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

[编辑] 数学物理

[编辑] 并发并行

Accelerate

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

[编辑] 音乐视频

[编辑] 游戏

Fungen.gif

[编辑] 移动App

[编辑] 实时嵌入式

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

[编辑] 安全密码学

Cryptol

[编辑] 区块链

Cardano

[编辑] FRP流计算

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

[编辑] 数据库存储

PostgREST
Postgrest-request-flow.png

Databases and Persistence

[编辑] 操作系统

Operating System

[编辑] 机器人

[编辑] 硬件芯片

Formal-Verification.png

Corespec.png

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

[编辑] 图集

[编辑] 链接

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

变换
操作
导航
工具箱