Mathidot

Study note

Thinking with Types. Type-Level Programming in Haskell

View original Back to list

Properties

Type
Books
Status
想读
Domain
Compilers / PL
Category
编程语言与函数式编程
Source
goodreads.com
Vault note
library/books/compilers/Thinking-with-Types.-Type-Level-Programming-in-Haskell-c2abd9b773fd92ab.md

Summary

Sandy Maguire 写给已有 Haskell 基础读者的类型级编程指南，覆盖类型代数、cardinality、同构、Curry-Howard、kind、type-level functions、GADT、rank-n/existential types、type families、defunctionalization、custom type errors、GHC.Generics、linear/dependent types 等主题。

Highlights

目标是让编译器承担更多工作，适合从“会写 Haskell”推进到“用类型系统表达约束和消除样板代码”。

Notes

Maguire, Sandy。

Comments

Loading comments...

    Be kind. Basic Markdown is not rendered.