课程大纲

基本类型类百科

  • 应用
  • 可折叠、可移动
  • 单子
  • 其他(箭头等)

高级类型

  • 深度代数数据类型
  • 高级类型类
  • 类型族
  • GADT的

调试和代码优化

  • 数据类型和函数的严格性
  • 内存和 CPU 分析
  • 高效的数据结构(字节串、文本、向量等)
  • 关于“不安全”的说明

了解运行时系统

  • GHC 中的内存布局
  • 解压缩严格字段
  • 理解和阅读核心

Haskell 中的并发性

  • Haskell 线程
  • MVars 和 co.
  • STM公司
  • 排比

外部功能接口

  • FFI 基础知识
  • 安全与不安全
  • Haskell 中的全局变量

模板 Haskell

  • 拼接和报价
  • Q monad(Q 单子酒店)
  • 物化

要求

Haskell 编程语言的基本知识和一些 Haskell 编程经验。

  14 小时

人数


开始

完结


Dates are subject to availability and take place between 09:30 and 16:30.

每位参与者的报价

客户评论 (4)

相关课程

Combined C/C++, JAVA and Web Application Security

  28 小时

Advanced Java Security

  21 小时

Combined JAVA, PHP and Web Application Security

  28 小时

Java and Web Application Security

  21 小时

Advanced Java, JEE and Web Application Security

  28 小时

课程分类