感谢您发送咨询！我们的团队成员将很快与您联系。
感谢您发送预订！我们的团队成员将很快与您联系。
课程大纲
基本类型类百科
- 函
- 应用
- 可折叠、可移动
- 单子
- 其他（箭头等）
高级类型
- 深度代数数据类型
- 高级类型类
- 类型族
- GADT的
调试和代码优化
- 数据类型和函数的严格性
- 内存和 CPU 分析
- 高效的数据结构（字节串、文本、向量等）
- 关于“不安全”的说明
了解运行时系统
- GHC 中的内存布局
- 解压缩严格字段
- 理解和阅读核心
Haskell 中的并发性
- Haskell 线程
- MVars 和 co.
- STM公司
- 排比
外部功能接口
- FFI 基础知识
- 安全与不安全
- Haskell 中的全局变量
模板 Haskell
- 拼接和报价
- Q monad（Q 单子酒店）
- 物化
要求
Haskell 编程语言的基本知识和一些 Haskell 编程经验。
14 小时
