Haskell 技能图谱

Haskell语言编程基础

• 类型 (type)
• 函数 (function)
• 类型类 (type class)
• Prelude中的类型与函数的使用

Haskell语言初级部分

• 递归 (recursion)
• 列表内包 (list comprehension)
• 高阶函数 (higher order function)
• 定义类型 (define types)
• 定义类型类 (define type class)

Haskell语言中级部分

• 使用Monad
• 使用IO Monad
• 使用State, Writer, Reader Monad
• 使用Monad转换器 (monad transformer)
• 使用更多的Monad
• 使用Monad, 再使用Monad ...
• MonadIO, MonadBase ...
• 使用Monad与Monad转换器管理代码

Haskell进阶部分

类型系统

• 类型系统 (type system)
• 类型推断 (type inference)
• Kind推断 (kind inference)
• 多态Kind (kind polymorphism)
• 可类型化 (typeable)
• 单一同态限定 (monomorphism restriction)
• 类型家族 (type family)

通用编程

• 代数数据类型通用编程 (algebric data type generic)
• 摒弃模板化代码 (Scrap you boilerplate (SYB))

元编程

• 模板元编程 (meta template programming)
• 准引用 (quasi quotes)

在工程中使用Haskell

并行、并发还有异步

• 确定性并发
• 微线程
• Semarphore
• 软件事务内存 (software transactional memory)
• 通信顺序式进程 (communicating sequential process)
• 分布式编程 (distributed programming)

外部函数接口

数据库

前端

网络库

测试

正确性测试

• 单元测试 (unit test)
• 随机测试 (QuickCheck)
• 穷举测试
• 反例搜寻测试
• 完全性测试
• SMT精化类型

性能测试

• criterion库
• threadscope的使用

Haskell理论部分

• Arrow
• 函数反应式编程
• Haskell的依赖类型
• 编程语言原理
• 范畴论 (category theory)