……你其实可以在这里合法免费下载：[2] 关于类型论（type theory），我建议先从学 Haskell 入手，哪怕只是为了让那些术语看起来没那么吓人，然后再去啃 J Roger Hindley 写的《Basic Simple Type Theory》。别被名字骗了，这书依然硬核得很；要不是我提前学了 Haskell，我绝对不可能啃得下来。[3] [1] https://www.amazon.com/Programming-Distributed-Computing-Sys...…
…You can actually download it legally free here: [2] In regards to type theory, I'd recommend starting by learning Haskell, just to make the terminology a little less scary, then picking up the book "Basic Simple Type Theory" by J Roger Hindley. Don't let the name fool you, it's still pretty heavy stuff; there's no way I would have been able to get through it if I hadn't learned Haskell beforehand. [3] [1] https://www.amazon.com/Programming-Distributed-Computing-Sys...…
Hindley 写的《Basic Simple Type Theory》（基础简单类型论）通俗易懂，而且出自泰斗之手（绝对一手权威）：http://books.google.co.uk/books/about/Basic_Simple_Type_Theo....
Hindley's Basic Simple Type Theory is accessible and comes from the horse's mouth: http://books.google.co.uk/books/about/Basic_Simple_Type_Theo....
……你其实可以在这里合法免费下载：[2] 关于类型论（type theory），我建议先从学 Haskell 入手，哪怕只是为了让那些术语看起来没那么吓人，然后再去啃 J Roger Hindley 写的《Basic Simple Type Theory》。别被名字骗了，这书依然硬核得很；要不是我提前学了 Haskell，我绝对不可能啃得下来。[3] [1] https://www.amazon.com/Programming-Distributed-Computing-Sys...…
…You can actually download it legally free here: [2] In regards to type theory, I'd recommend starting by learning Haskell, just to make the terminology a little less scary, then picking up the book "Basic Simple Type Theory" by J Roger Hindley. Don't let the name fool you, it's still pretty heavy stuff; there's no way I would have been able to get through it if I hadn't learned Haskell beforehand. [3] [1] https://www.amazon.com/Programming-Distributed-Computing-Sys...…