建議
在【問題來了】部分：
“...區(qū)別起見趟畏，分別用b和b1代表這兩個類型蕉扮。”
改為：
“...區(qū)別起見角溃，分別用c和b代表這兩個類型拷获。”
Haskell學(xué)習(xí)筆記--類型推導(dǎo)Haskell類型推導(dǎo) a = a + 1 在命令式編程的時代减细，區(qū)分一個人是否能學(xué)會編程的關(guān)鍵是看他能否理解a=a+1這個違反自然規(guī)律的表達(dá)式匆瓜，在函數(shù)式編程里，這個金絲雀測試...
