Haskell 简明教程

Haskell 简明教程

第一部分：函数式基石与环境

语言全景：值、函数与类型类
开发环境与 GHCi 交互
基础语法与表达式

第二部分：类型系统核心

基本数据类型、类型推断与类型别名
类型类（Typeclasses）与法则约束
函数式控制流与模式匹配
递归与计算模型

第三部分：数据结构与数据建模

列表（List）与常用操作
字符串与文本处理
列表折叠（Folds）与扫描（Scans）
常用容器与文本类型：Map、Set、Vector、Seq 与 Text
代数数据类型（ADT）与数据建模
错误处理：Maybe、Either 与异常

第四部分：抽象代数与函子单子体系

半群与幺半群（Semigroup 与 Monoid）
函子（Functor）与范畴映射
应用函子（Applicative）与效果组合
单子（Monad）与 do 记号
容器抽象：Foldable 与 Traversable

第五部分：深入计算与工程实践

状态与环境管理：Reader、Writer 与 State
单子变换子（Monad Transformers）与 MTL 风格
惰性求值、WHNF 与性能剖析（Profiling）
输入输出（I/O）与副作用模型
并发编程与运行时调度
模块系统与项目组织

第六部分：常用类库与实战

读写文件与目录
命令行程序：参数、环境变量与选项解析
JSON 处理：aeson
HTTP 请求：request 库
网络编程：Socket

索引

© Copyright 2019, An Long.
A typlog sphinx theme, designed by Hsiaoming Yang.