出版时间：2018
官网链接：Leanpub
下载地址：百度网盘(PDF)
提取码 ：rgfg
内容简介：
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.