建议
在【问题来了】部分：
“...区别起见，分别用b和b1代表这两个类型。”
改为：
“...区别起见，分别用c和b代表这两个类型。”
Haskell学习笔记--类型推导Haskell类型推导 a = a + 1 在命令式编程的时代，区分一个人是否能学会编程的关键是看他能否理解a=a+1这个违反自然规律的表达式，在函数式编程里，这个金丝雀测试...
发简信
IP属地：天津
建议
在【问题来了】部分：
“...区别起见，分别用b和b1代表这两个类型。”
改为：
“...区别起见，分别用c和b代表这两个类型。”
Haskell学习笔记--类型推导Haskell类型推导 a = a + 1 在命令式编程的时代，区分一个人是否能学会编程的关键是看他能否理解a=a+1这个违反自然规律的表达式，在函数式编程里，这个金丝雀测试...
