第四讲：函数式编程.pdfVIP

第四章：函数式编程 第四章：函数式编程 使⽤ Haskell 思考 初学 Haskell 的⼈需要迈过两个难关： ⾸先，我们需要将⾃⼰的编程观念从命令式语⾔ 换到函数式语⾔上⾯来。这样做的 原因并不是因为命令式语⾔不好，⽽是因为⽐起命令式语⾔，函数式语⾔更胜⼀筹。 其次，我们需要熟悉 Haskell 的标准库。和其他语⾔⼀样，函数库可以像杠杆那样， 极⼤地提升我们解决问题的能⼒。因为 Haskell 是⼀门层次⾮常⾼的语⾔，⽽ Haskell 的标准库也趋向于处理⾼层次的抽象，因此对 Haskell 标准库的学习也稍微更难⼀ 些，但这些努⼒最终都会物有所值。 这⼀章会介绍⼀些常⽤的函数式编程技术，以及⼀些 Haskell 特性。还会在命令式语 ⾔和函数式语⾔之间进⾏对⽐，帮助读者了解它们之间的区别，并且在这个过程中， 陆续介绍⼀些基本的 Haskell 标准库。 ⼀个简单的命令⾏程序 在本章的⼤部分时间⾥，我们都只和⽆副作⽤的代码打交道。为了将注意⼒集中在实 际的代码上，我们需要开发⼀个接⼜程序，连接起带副作⽤的代码和⽆副作⽤的代 码。 这个接⼜程序读⼊⼀个⽂件，将函数应⽤到⽂件，并且将结果写到另⼀个⽂件： -- file: ch04/InteractWith.hs import System.Environment (getArgs) interactWith f nction inp tFile o tp tFile = do inp t - readFile inp tFile writeFile o tp tFile (f nction inp t) main = mainWith myF nction where mainWith f nction = do args - getArgs case args of [inp t,o tp t] - interactWith f nction inp t o tp t _ - p tStrLn error: exactly two arg ments needed -- replace id with the name of o r f nction below myF nction = id 这是⼀个简单但完整的⽂件处理程序。其中 do 关键字引⼊⼀个块，标识那些带有副 作⽤的代码，⽐如对⽂件进⾏读和写操作。被 do 包围的 - 操作符效果等同于赋值。 第七章还会介绍更多 I/O ⽅⾯的函数。 当我们需要测试其他函数的时候，我们就将程序中的 id 换成其他函数的名字。另外， 这些被测试的函数的类型包含 String-String ，也即是，这些函数应该都接受并返回字 符串值。 [译注： id 函数接受⼀个值，并原封不动地返回这个值，⽐如 idhello 返回值 hello ，⽽ id 10 返回值 10 。] [译注：这⼀段最后⼀句的原⽂是“ ... need to have the ty e String-String ... ” ，因为 Haskell 是⼀种带有类型多态的语⾔，所以将“ have the ty e ” 翻译成 “ 包含 xx 类型 ” ，⽽不是 “ 必须是 xx 类型 ” 。 接下来编译这个程序： $ ghc --make InteractWith [1 of 1] Compiling Main ( InteractWith.hs, InteractWit Linking InteractWith ... 通过命令⾏运⾏这个程序。它接受两个⽂件名作为参数输⼊，⼀个⽤于读取，⼀个⽤ 于写⼊： $ echo hello world hello-in.txt $ ./InteractWith hello-in.txt hello-o t.txt $ cat hello-in.txt hello world $ cat hello-o t.txt hello world [译注：原书这⾥的执⾏过程少了写⼊内容到 hello-in .txt 的⼀步，导致执⾏会出错，所 以这⾥加上 echo ... 这⼀步。另外原书执⾏的是 Interact 过程，也是错误的，正确的执 ⾏⽂件名应该是 InteractWith 。] 循环的表⽰ 和传统编程语⾔不同， Haskell 既没有 f