Thinking with Types Type-Level Programming in Haskell


Thinking with Types Type-Level Programming in Haskell
by 作者: Sandy Maguire
Publisher Finelybook 出版日期: 2018
Pages: 249
Language 语言: English
Pages: PDF/EPUB
Size: 10 Mb
Developed for the intermediate-to-professional Haskell programmer looking for a deeper understanding of the type system and its extensions. Thinking with Types emphasizes writing code that is compiler-verified to be correct,safe,and user-friendly. The author has carefully presented the material in an accessible manner—realizing that not everyone who wishes to learn about type-level programming is a post-doctorate in mathematics. This book covers the majority of Haskell’s type-related language extensions,including rank-n types,GADTs,type families,dependent types and rebindable syntax. Throughout early chapters,readers are introduced to the core fundamentals of type systems,and later chapters refine these ideas,often employing many of them simultaneously to accomplish real-world goals.


下载地址:

Thinking with Types Type-Level Programming in Haskell.pdf

打赏
未经允许不得转载:finelybook » Thinking with Types Type-Level Programming in Haskell

相关推荐

  • 暂无文章

评论 抢沙发

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址

觉得文章有用就打赏一下

您的打赏,我们将继续给力更多优质内容

支付宝扫一扫打赏

微信扫一扫打赏