1樓：parker liu
不少人覺得這本書太囉嗦了，但我覺得這本書講的如此瑣碎，是有其深意的。
讀這本書，需要你放下原先所學的一切，細細品讀方可解其中味。如果肯如此讀此書，你會發現你的思維會慢慢的和作者合拍起來，漸入佳境，書中所有的概念都是自然而然演變出來的，沒有任何突兀的感覺。
讀了此書，你不會對dependent type理論中的術語感到生疏，會很自然的去使用這些術語。會很好的體會到dependent type的本質和意義。
而且此書有不少有意思的引經據典的地方，Pie是一門程式語言，也是一種食物，裡面對食物和做菜的步驟的描述很有意思。私以為很有古希臘先哲的傳授知識的風味。
創作一門專門的語言來講述這種比較深奧的知識是很好的一種形式，也體現了此書作者的實力。
2樓：阿萊克西斯
我覺得是非常棒的一本書，讀完可以加20 IQ喲
寫了乙個簡評：
阿萊克西斯：簡評: The Little Typer(可能是最容易理解的關於Dependent Type的書)
以下內容來自自己的簡評文章
The Little Typer則專注在Dependent Type，和用Dependent Type寫formal proof這一點，它是比較「囉嗦」的一本書，而這正是它的優勢。下邊簡單說一下這本書的特點：
1. 為教學而發明的語言：Pie
首先，它為了講明白Dependent Type，專門發明了乙個叫做Pie的非常非常簡單的語言，語法類似Scheme, 如果你看過SICP，或者The Little Scheme，那麼書裡程式的組織對你來說會非常熟悉。就算你完全不知道Lisp，Scheme，那麼也完全沒問題，因為Pie實在太簡單了。這樣的講解方式就防止了話題向IO，Monad等偏移，或增加理解難度。
比如Type-Driven Develipment with Idris這本書，如果你對Haskell完全不了解，那麼看這本書會比你懂Haskell要難的多。
2. Pie不支援case match不支援case match使得程式特別繁瑣和囉嗦，然而對於初學者來說，這繁瑣的過程卻正是理解細節的關鍵。用書裡的原文舉例，如果Pie支援case match，那麼乙個從陣列裡取第乙個元素的front函式則可以簡單的定義為：
然而這個「match es」，隱藏了簡直是無數的邏輯，而作者在書裡，用沒有case match支援的Pie，來向你展示了如何用乙個核語言，來實現dependent type的型別推導（多圖預警）。 不支援case match的front定義：
可以看到要呼叫mot-front, zero-not-add1, step-front mot-front定義：
step-front定義
zero-not-add1我就不貼了，因為它要調另外好幾個函式。。。。 Pie可以說是需要支援Dependent Type所需要的最小功能集合，或者說，實現了Dependent Type的語言，一般都需要內建乙個Pie。而通過Pie來講解Dependent Type，而不是一門高階語言比如Idris，那麼所有高階語言所隱藏的東西，都需要你用Pie寫出來。
而這些東西卻是初學者理解Dependent Type的很好的內容。
3. Pie不支援Implicit Arguments不支援Implicit Argument簡直是救了初學者的命，你知道我看Idris的時候自己腦補Implicit Argument有多痛苦嘛！！！而且Pie需要你任何時候都把型別引數提供的清清楚楚明明白白，而不能省略，對於一門正式的工業界語言來說，這種重複和囉嗦是無法容忍的，但是在教學來說，要求把所有「顯而易見」的東西清楚的寫出來，這對於一頭扎在程式海洋的讀者就非常友好。
4. 細節入微的思維線書以對話的形式進行，就像A，B兩個人閒聊天一樣，有問有答，甚至有時候A會答錯，然後B告訴A怎麼錯了，在寫乙個proof的時候，每一步的因為所以都解釋的非常清楚，使得程式就好像自然而然就必須這麼寫一樣，整個大段的程式就這麼寫出來了。。。
3樓：孫逸豪
正好老師推薦的_(:з」∠)_就買來了了。寫的超級細，還是挺適合我這種萌新當入門讀物的。
雖然厚，其實字不多。啊對，我是Amazon 24刀買的，打完折20好像……我覺得是很便宜的書了
新人新書求點評！我該怎麼提高？
Munek 那啥 本人不是大佬，意見也不一定對，你自己斟酌。簡介，是十年前寫的吧？還把背景設定當簡介？正文直到徒弟出現為止還好，簡單地介紹了一下世界觀和師傅的背景，不算生硬難啃，又有寫出師傅的逼格。到徒弟出場，你就顯示出不會寫對話的大問題，連續用了幾個誰誰說 誰誰道，看著跟小學生作文一樣。還有，少年...
新人，開了本新書，一萬多字了，怎麼感覺沒人看，有沒有大神給點評一下呀
嚯嚯嚯嚯嚯嚯嚯 這邊建議你把自己的前三章截圖發出來看呢，如果找不到鏈結的話。1.書名跟簡介都是上世紀的產物，學學我字輩吧，特別在你是個新手的情況下，不要跟我提什麼你的文章也需要內涵什麼的，搞清楚，一本書不會因為你的名字跟簡介通俗化就讓人覺得不是本好作品，相反，名字起的很高大上，文章寫的很爛的才會讓人...
側袖新書《權宦心頭硃砂痣》怎麼樣？
行文簡潔，文字乾淨，人物豐滿，特別會抓人眼球。初入坑特別容易被吸引。前期通常很甜，間或摻雜些玻璃渣。讓你期待破而後立的時候，屎就來了。全文三觀慕強，拜男權，男主為了變強，可以毫無人性，不擇手段。男主為了得到女主，順水推舟落實了女主社會死，讓她無家可歸，無路可退，無法可想。男主原話。讓她割離了母女血緣...