Haskell趣学指南

✍ Scribed by [斯洛文尼亚] Miran Lipovaca

• Publisher: 人民邮电出版社
• Year: 2014
• Tongue: Chinese
• Leaves: 426
• Series: 新锐编程语言集萃
• Category: Library

✦ Synopsis

书签已装载，
书签制作方法请找 [email protected]
完全免费

《haskell趣学指南》是一本讲解haskell这门函数式编程语言的入门指南，语言通俗易懂，插图生动幽默，示例短小清晰，结构安排合理。书中从haskell的基础知识讲起，涵盖了所有的基本概念和语法，内容涉及基本语法、递归、类型和类型类、函子、applicative 函子、monad、zipper及所有haskell重要特性和强大功能。
《haskell趣学指南》适合对函数式编程及haskell语言感兴趣的开发人员阅读。

✦ Table of Contents

第一章 简介
§1.1关于这份教学
§1.2什么是 Haskell？
§1.3你需要些什么来使用 Haskell 呢？
第二章 从零开始
§2.1准备好了吗？
§2.2初学者的第一个函数
§2.3List 入门
§2.4使用 Range
§2.5List Comprehension
§2.6Tuple
第三章 Types and Typeclasses
§3.1Type
§3.2Type variables
§3.3Typeclasses入门
第四章 函数的语法
§4.1模式匹配 (Pattern matching)
§4.2什么是 Guards
§4.3关键字 Where
§4.4关键字 Let
§4.5Case expressions
第五章 递回
§5.1你好，递回！
§5.2实现 Maximum
§5.3来看几个递回函数
§5.4快速''排序 §5.5用递回来思考 第六章 高阶函数 §6.1Curried functions §6.2是时候了，来点高阶函数！ §6.3map 与 filter §6.4lambda §6.5关键字 fold §6.6有$的函数调用 §6.7Function composition 第七章 模组 (Modules) §7.1装载模组 §7.2Data.List §7.3Data.Char §7.4Data.Map §7.5Data.Set §7.6建立自己的模组 第八章 构造我们自己的 Types 和 Typeclasses §8.1Algebraic Data Types 入门 §8.2Record Syntax §8.3Type parameters §8.4Derived instances §8.5Type synonyms §8.6Recursive data structures (递回地定义数据结构) §8.7Typeclasses 的第二堂课 §8.8yes-no typeclass §8.9Functor typeclass §8.10Kind 第九章 输入与输出 §9.1Hello, world! §9.2文件与字符流 §9.3命令行引数 §9.4乱数 §9.5Bytestrings §9.6Exceptions (异常) 第十章 函数式地思考来解决问题 §10.1运算逆波兰表示法(Reverse Polish notation form) §10.2路径规划 第十一章 Functors, Applicative Functors 与 Monoids §11.1温习 Functors §11.2Applicative functors §11.3关键字newtype''
11.3.1 Using newtype to make type class instances
11.3.2 On newtype laziness
11.3.3 type vs newtype vs data
§11.4Monoids
11.4.1 Lists are monoids
11.4.2 Product and Sum
11.4.3 Any and ALL
11.4.4 The Ordering monoid
11.4.5 Maybe the monoid
11.4.6 Using monoids to fold data structures
第十二章 来看看几种 Monad
§12.1动手做做看: Maybe Monad
§12.2Monad type class
§12.3走钢索
§12.4do 表示法
§12.5List Monad
12.5.1 A knight's quest
§12.6Monad laws (单子律)
12.6.1 Left identity
12.6.2 Right identity
12.6.3 Associativity
第十三章 再来看看更多 Monad
§13.1你所不知道的 Writer Monad
13.1.1 Monoids 的好处
13.1.2 The Writer type
13.1.3 Using do notation with Writer
13.1.4 Adding logging to programs
13.1.5 Inefficient list construction
13.1.6 Difference lists
13.1.7 Comparing Performance
§13.2Reader Monad
§13.3State Monad
13.3.1 Stack and Stones
13.3.2 The State Monad
13.3.3 随机性与 state monad
§13.4Error Monad
§13.5一些实用的 Moandic functions
13.5.1 liftM
13.5.2 The join function
13.5.3 filterM
13.5.4 foldM
13.5.5 Making a safe RPN calculator
13.5.6 Composing monadic functions
§13.6定义自己的 Monad
第十四章 Zippers 数据结构
§14.1来走二元树吧!
§14.2凡走过必留下痕迹
14.2.1 Going back up
14.2.2 Manipulating trees under focus
14.2.3 I'm going straight to top, oh yeah, up where the air is fresh and clean!
§14.3来看串行
§14.4阳春的文件系统
14.4.1 A zipper for our file system
14.4.2 Manipulating our file system
§14.5小心每一步
附录 A FAQ
§A.1我能把这份教学放在我的网站吗？我可以更改里面的内容吗？
§A.2推荐其它几个 Haskell 读物？
§A.3我怎么联络到你？
§A.4我想要一些习题！
§A.5关于作者
§A.6关于简体译者
§A.7关于繁体译者
附录 B Resource
§B.1Specification
§B.2Tools
§B.3Lectures & Articles
§B.4Forum
§B.5Online Judge
§B.6Books
§B.7PL Researchers
§B.8Interesting Projects
§B.9Taiwan Functional Programming User Group