欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Haskell
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 Haskell Thanks, Wikipedia. |
Haskell,一门通用型纯粹函数式编程语言。其特性有:静态类型,高阶函数,多态,型别类,以及单子式副作用等。Haskell编译器几乎在每一种计算机上都可以运行。
C++11的Concepts、C#的LINQ、Java中的泛型、Scala、CoffeeScript、F#、Python、Swift 等语言都从中受到启发和得到灵感。
Haskell在工业界有不少应用,最集中的是在金融界的高频交易。
项目
图书
链接
- Haskell官网
- Haskell开放文档
- GHC User's Guide
- GHC Standard Libraries
- 维基教科书:Haskell
- http://download.huihoo.com/haskell/
- Phabricator @ Haskell.org
- Haskell创始人之一Paul Hudak去世
<discussion>characters_max=300</discussion>
分享您的观点