Haskell

Haskell （正體）

Haskell
编程范型	函数式编程, 非即刻运算, 模组化
面市時間	1990年
型态系统	强型态，静态
主要实作产品	GHC, Hugs, NHC, JHC, Yhc
衍生副语言	--
启发语言	Miranda, ML, Gofer
影响语言	Python
网站	www.Haskell.org

Haskell是一种纯函数式编程语言，它的命名源自美国数学家Haskell Brooks Curry，他在数学逻辑方面上的工作使得函数式编程语言有了广泛的基础。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母“λ”（Lambda）作为自己的标志。Haskell语言的最重要的两个应用是Glasgow Haskell Compiler (GHC)和Hugs(一个Haskell语言的编译器)。本语言的特式是利用很简单的叙述就可以完成链表、矩阵等数据结构。

目录 1 发展 2 示例 2.1 Haskell的函数结构 2.2 Haskell的高阶函数 2.3 Haskell的编译器 3 外部链接 3.1 教学手册

发展

在1980年代末已经出现了一些函数式编程语言，它们各有优缺点。为了使它们在科研上有一种统一的研究和发展的基础，应该有一种标准化的全新的语言使函数式编程语言在此基础上实现统一。接下来有人想以Miranda作为此项工作的出发点，但Miranda的开发者却对此项工作并不感兴趣。就在这种背景下Haskell 1.0于1990年发布。

这种语言的最新版本是在原来版本的基础上经过修改的变体(Haskell-98-Standard于1999年)。Haskell是现如今最广泛被用于研究的一种函数语言。现在以Haskell为基础的语言衍生物有很多，它们是：并行Haskell、扩充Haskell(旧名Goffin)、Eager Haskell、Eden、DNA-Hakell 和面向对象的变体(Haskell++， O'Haskell，Mondrian)。另外Haskell还被作为在新语言设计时的样板，例如Python中的Lambda标记语句。

示例

Haskell的函数结构

函数语言中的"Hello world"是阶乘函数。用 Haskell 如下表达：

fac :: Integer -> Integer
fac 0 = 1
fac n | n > 0 = n * fac (n-1)

它将阶乘描述成有一个基本终止情形的递归函数。这跟数学定义中对阶乘的描述很相似。事实上，Haskell中很多的代码的语法与功能都和数学一致。

上面的递归函数的第一行是可选的，它描述了这个函数的型态（types）。它可以读作函式fac的型态为整数至整数（function fac has a int-to-int type）。这就是说，它以一个整型为参数，并且返回另一个整型。

第二行依赖的模式匹配，是Haskell程序中一个重要的部分。注意函数的参数是用空格分隔而不是在括号中。当函数的参数是 0 时，它会返回整型 1。对于其他的情况则尝试第三行。这是一个递归，它会一直执行只到满足基本的情形。负参数会导致无限递归，一个guard保证第三行不会执行负参数。

"Prelude"是一个类似 C 中标准库的小函数集合。使用 Prelude，并用无指定参数的写法，它可以改成：

fac = product . enumFromTo 1

上面的定义接近于数学中的定义：f = g o h (参见 复合函数)，这并不是一个对变量赋值的语句。

Haskell的高阶函数

Haskell中可以定义高阶函数（Higher-order Function)，既将函数作为一个参数来使用，也可以将函数作为结果输出，例如：

f :: (Int -> Int) -> (Int -> Int)
f g = \x -> g x + 5

这里f就是一个高阶函数，它取一个从Int到Int的函数g作为参数，输出一个从Int到Int的函数。高阶函数的使用在一些情况下将极大的简化代码。

Haskell的编译器

• Hugs
• ghc (Glasgow Haskell Compiler)
• yhc (York Haskell Compiler)
• nhc98

外部链接

• （英文） Haskell 的官方主页
• （英文） HaskellWiki：Haskell 社群主网站
• （英文） UNSW 的 Haskell 教程
• （英文） Haskell 笑话
• （英文） Haskell 旧的讨论主题
• （英文） Haskell vs. Ada vs. C++ vs. Awk vs. ...... 一个实验性的前卫语言 （PostScript档案）
• （英文） Haskell 编程的变革 -- 一个轻快的 Haskell 编程风格总缆
• （英文） 一个Haskell研究者的线上介绍
• （英文） ePolyglot -- 将 Haskell、Python与Eiffel 结合的语言
• （英文） Haskell 函式库

教学手册

• （英文）用 Haskell 写程式，Graham Hutton 撰写
• （英文）另一个 Haskell 教学手册 -- 由 Hal Daume III 所写的好手册，需要比官方教学手册少的先备知识
• （英文）A Gentle Introduction to Haskell 98（较高阶的教学手册，有PDF档案）
• （英文）Haskell Tutorial for C Programmers，Eric Etheridge 撰写
• （英文）在 Haskell.org 的教学手册列表
• （英文）Haskell 编程典范

查 • 论 • 编 • 历 程序设计语言
工业编程语言	A+ - Ada - 汇编语言 - B - Brainfuck - COBOL - Curl - D - Eiffel - Erlang - FORTRAN - IronPython - Java - Jython - LISP - Lua - SCILAB - MATLAB - MATHEMATICA - Nuva - Oberon - OCaml - Perl - PHP - PostScript - Powerbuilder - Python - R - REXX - Ruby - Self - Smalltalk - Tcl/Tk - C# - F# - J# - Microsoft Visual C#
C/C++语言	C - C++ - Turbo C++ - Borland C++ - C++ Builder- C++/CLI - Objective-C - Microsoft Visual C++
BASIC语言	BASIC - BASICA - GW-BASIC - QBASIC - QuickBASIC - True BASIC - Turbo BASIC - PowerBASIC - DarkBASIC - ETBASIC - GVBASIC Visual Basic .NET - Visual Basic - VBScript - VBA
Pascal/Delphi语言	Pascal语法：（Pascal - Turbo Pascal - Object Pascal - Free Pascal） Pascal+Delphi语法：（Delphi）
ECMAScript方言	ActionScript - DMDScript - JavaScript - JScript
GPU用着色器语言	Cg - GLSL - HLSL
学术编程语言	APL/J - Clean - Haskell - Logo - ML - Prolog - Scheme - SAC
数据库相关编程语言	Clipper - Visual FoxPro - SQL - SQL預存程序
其他编程语言	ALGOL - Forth - Modula-2/Modula-3 - MUMPS - PL/I - Simula

Why are we here?
All text is available under the terms of the GNU Free Documentation License
This page is cache of Wikipedia. History