Haskell函数式编程之一-语言初体验

如果你是使用面向对像语言进行编程的程序员，那么你应该去了解掌握一门动态语言。而动态语言的魔力之一就是函数式编程。而要学习了解函数式编程，那么haskell是一个不错的选择。

Haskell是是一门纯函数式编程语言(purely functional programming language)。在其世界中函数是第一等对象。并且在haskell中没有赋值，例如你指派a的值为5，然后你无法再给a分配其它的值。所以你不能像命令式语言那样命令电脑“要做什么”，而是通过函数来描述出问题“是什么”。

作为一个纯的函数式编程语言，它支持惰性求值、模式匹配、列表解析、类型类、类型多态……

别着急，让我们慢慢来解开函数式编程的面纱。

安装Haskell

1. 可以去官网下载安装包进行安装。

2. mac平台的用户可以通过homebrew进行安装。

在terminal下输入brew install haskell-platform即可。

使用Haskell

安装完毕后haskell platform的解释器GHC就已经在你的电脑上了。GHC可以解释执行Haskell脚本，即后缀名为.hs的文件。你可可以通过在terminal输入ghci进入交互模式。

1 2 3 4 5 6 7 8 9 10 11

twer@bowen-huang:~$ ghci GHCi, version 7.4.2: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking … done. Loading package integer-gmp ... linking … done. Loading package base ... linking … done. Prelude> 1+2 3 Prelude> 3*4 12 Prelude> 5/1 5.0

关于Haskell的编辑器你可以使用任何喜欢的编辑器:Vim、Emacs、Sublime、TextMate…..我比较喜欢Sublime。因为在Sublime自带Haskell的快捷编译执行。只需要按Ctrl+B来直接运行Scripts脚本。

在ghci交互模式下可以使用:l命令来load一个Haskell脚本，然后就可以调用此脚本中的函数。我们先写一个’Hello world!’程序，然后通过ghci来load和调用.

HelloWorld.hs

1	main = print $ "Hello world!"

1 2 3 4 5

Prelude> :l HelloWorld.hs [1 of 1] Compiling Main ( HelloWorld.hs, interpreted ) Ok, modules loaded: Main. *Main> main "Hello world!"

如果对文件进行了修改，也可以直接通过:r来重新加载文件。

Haskell的基本语法

加减乘除操作

1 2 3 4 5 6 7 8 9 10

Prelude> 1 + 2 3 Prelude> 3 - 1 2 Prelude> 3 * 4 12 Prelude> 5 / 1 5.0 Prelude> 10 / (-5) -2.0

注意对负数进行操作时要将其用()括起来，否则系统会报错。

判等与比较操作

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24

Prelude> 5 == 5 True Prelude> 10 == 8 False Prelude> 5 /= 5 False Prelude> 10 /= 8 True Prelude> 5 >= 3 True Prelude> 5 <= 3 False Prelude> True && True True Prelude> True && False False Prelude> False || False False Prelude> True || False True Prelude> not True False Prelude> not False True

控制流转

1 2 3 4 5

Prelude> let isHello x = if x == "Hello" then True else False Prelude> isHello "Hello" True Prelude> isHello "World" False

注意这里的条件判断中的else是不可以省略的，这样保证条件语句总会返回一个值。所以我们可以将整个if..then..else pattern看做一个表达式。

如果在脚本文件中写的话不需要使用let关键字。并且也可以采用另一个写法。

isHello.hs

1 2 3

isHello x | x == "Hello" = True | otherwise = False

|表示或，otherwise关键字表示其它的情况。当然你也可以将这三行代码写成一行，这样也是能够正常运行的。分成三行只是为了更加可读。

还有第三种写法，实际上与面对对象语言中的switch…case语句有些类似。

isHello.hs

1 2 3

isHello x = case x of "Hello" -> True otherwise -> False

这和第二种写法很类似。其实第二种写法本质上就是case语句，它只是case语句的一个语法糖而已。

另外，在Haskell中是没有各种循环语句的，如果要实现相似的特性当然要使用递归了。

第二节中，我们会讨论这个问题。