文件名称：Thinking.with.Types.2018.pdf
文件大小：4.71MB
文件格式：PDF
更新时间：2022-06-01 04:06:30
Haskell pdf types
Type-Level Programming in Haskell This book aims to be the comprehensive manual for type-level programming. It’s about getting you from here to there—from a competent Haskell programmer to one who convinces the compiler to do their work for them.