BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

学习Haskell的现实意义

| 作者 Sadek Drobi 关注 0 他的粉丝 ,译者 郭晓刚 关注 0 他的粉丝 发布于 2009年2月12日. 估计阅读时间: 5 分钟 | 都知道硅谷人工智能做的好,你知道 硅谷的运维技术 也值得参考吗?QCon上海带你探索其中的奥义

大约有750人评论了《Real World Haskell》的网上预览版。作者之一John Goerzen近日在与O’Reilly的访谈中介绍,此书用现实的代码、现实的例子和技巧去介绍Haskell在业务环境中的应用。在访谈中,Goerzen解释了他为何认为Haskell是一门值得学习的语言,剖析了Haskell的各种特质,还讨论了一些可能令人对Haskell敬而远之的问题根源。

John Goerzen承认Haskell要求重学大量基础,并且认为对于具有命令式语言及面向对象编程背景的人来说,纯洁性(purity)和惰性(laziness)是最大的观念转变。

他强调在Haskell中,“任何有可能改变系统全局状态的事物都被严密隔离”,并“用类型系统标记出来”。这样有助于大大减少实现错误,因为代码中的不纯元素都是静态类型的,编译时即可识别错误。这个特点将Haskell与Python等语言区别开来。纯洁性也有利于测试,尤其当程序的结构是由许多小函数嵌合而成的时候;比如Haskell的纯洁性就有效地降低了通过QuickCheck(译注:Haskell开源测试框架)进行测试的难度。

“惰性(laziness)是Haskell的中心概念之一。当问到“惰性对现实世界的程序有何帮助?” John Goerzen着重说明了惰性在I/O中的应用:

如果我用Haskell写一个小小的过滤器或者解析器,不需要怎么操心按行或者按块读取输入的事情,因为我可以直接用getContents ,然后把函数一个个串起来。我喜欢用Haskell写Unix过滤器。

[……]有了输入端的惰性,也就有了输出端的惰性,因为打印输出的时候不需要立即完成全部求解。[……]

最后你得到的是一个设计非常简明的程序,因为不用折腾输入行的缓冲、迭代之类的事情,而且产生的程序只需要固定大小的内存。

John Goerzen还谈到Haskell在表达能力上的优点,其优势一是来自模式匹配,二是因为函数能把事物表达得既扼要又易读,适合阐述问题之余,又容易看清逻辑推导的步骤。访谈人更是认为可以“用函数和词语建立一套词汇,再用那套词汇去作为书写问题解答的语言”。 “用Haskell摆弄函数确实就像用Perl摆弄字符串那么简单”,Goerzen如是说。

然而,Haskell语言的某些特性可能令来自OO或命令式语言的人们敬而远之。比如它的递归方式就“可能有点吓人”,因为类C语言所用的“变量递增方式是一种代价非常低的操作”。不过,Goerzen辩解说,尽管“高级语言一般达不到C的速度”,但GHC编译器会将递归重写成迭代,“非常高效地把你用递归表达的程序转换成更适合于CPU执行的形式”。

有些人认为惰性就是“换来类型推导、纯洁性这些东西,却丢掉了对时间及空间复杂性的掌握”。John Goerzen认为这个观点要辩证地看:

我举个例子,比如随便用哪种语言写一段程序[……],要求一次过读入整个文件,然后加以处理。打开文件、调用读取操作、将整个文件读入内存,都是可以的。有些人会假设要处理的文件只有100K,那么这样做当然没问题。但如果你给他们一个2G大小的文件,这种做法就行不通了。

凭着他的经验,John还批驳了关于Haskell的IO系统孱弱又难学的说法。他说,Haskell里吓跑最多人的怪兽要数Monad,但他要强调“无需挠破头去理解什么是Monad、Modad做些什么,照样可以写出无懈可击的Haskell程序去处理IO[之类的现实工作]”。比如使用IO monad,不需要以理解Monad为前提,粗浅地把Monad当作“一种分隔纯与不纯代码的盒子”就足够了

总而言之,John Goerzen认为虽然“要把Haskell里的各种东西都叫上名字要费不少功夫”,不过之后会顺畅许多,因为“看函数的类型就能把它们的所作所为知道得八九不离十”。照他看,探索Haskell是一桩赏心乐事,哪怕Haskell不会成为万众瞩目的明星,但“那么别致又有趣的语言,怎么都值得学一学。”

InfoQ中文站补充消息:《Real World Haskell》中文版正由AlbertLee翻译之中,他在博客上放出了一部分预览章节

查看英文原文:What Makes Haskell Worth Learning for Real World Applications

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

Yes,I love her by J O

i love haskell

书评一则 by Guo Xiaogang

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

2 讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT