Welcome to Alfred’s Textbook !

目录:

• Haskell TextBook
  • Haskell 安装与入门
  • 数据类型与函数
  • 表达式
  • 递归与高阶函数
  • 类型类
  • 函子专题
  • Monad专题
  • IO 专题
  • Haskell 的类型系统
  • Typeable 专题
  • GADTs 专题
  • Generics 专题
  • 错误和异常专题
  • Haskell 工程专题
  • 资源
• Logic In Computer Science
  • 命题逻辑
  • 谓词逻辑
  • 模型检验与时序逻辑
• Type Theory and Formal Proof
  • 无类型lambda演算(Untyped lambda calculus)
  • 简单类型的lambda演算(Simple typed lambda calculus)