欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Haskell
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
{{SeeWikipedia}} | {{SeeWikipedia}} | ||
| + | {{SeeWikipediaChinese|Haskell}} | ||
Haskell is an advanced purely functional programming language. An open source product of more than twenty years of cutting edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency and parallelism, debuggers, profilers, rich libraries and an active community, Haskell makes it easier to produce flexible, maintainable high-quality software. | Haskell is an advanced purely functional programming language. An open source product of more than twenty years of cutting edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency and parallelism, debuggers, profilers, rich libraries and an active community, Haskell makes it easier to produce flexible, maintainable high-quality software. | ||
2010年9月23日 (四) 08:48的版本
|
您可以在Wikipedia上了解到此条目的英文信息 Haskell Thanks, Wikipedia. |
|
|
您还可以在维基百科上了解到此条目的中文信息 Haskell 感谢, 维基百科. |
Haskell is an advanced purely functional programming language. An open source product of more than twenty years of cutting edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency and parallelism, debuggers, profilers, rich libraries and an active community, Haskell makes it easier to produce flexible, maintainable high-quality software.
Haskell，一门通用型纯粹函数式编程语言。其特性有：静态类型，高阶函数，多态，型别类，以及单子式副作用等。Haskell编译器几乎在每一种计算机上都可以运行。
Links
分享您的观点
