Haskell
维库，知识与思想的自由文库
Haskell是一种纯函数式编程语言，它的命名源自美国数学家Haskell Brooks Curry，他在数学逻辑方面上的工作使得函数式编程语言有了广泛的基础。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以Λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母Lambda作为自己的标志。Haskell语言的最重要的两个应用是Glasgow Haskell Compiler (GHC)和Hugs(一个Haskell语言的编译器)。本語言的特式是利用很簡單的敘述就可以完成链表、矩陣等數據結構。
[编辑] 发展在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的编译器[编辑] 外部連結
[编辑] 教學手冊
[编辑] 参见 | |||||||||||||||||||
