随着学习的深入,笔记会补充和修订.当然,这个补充修订也许会鸽,但我一定会坚持写完. 这个笔记假定你至少学过C/C++及Python,或与这两种语言类型相同的语言. 类型系统概述 “Haskell’s type system allows us to think at a very abstract level: it permits us to write concise, powerful programs.” 简单地说,Haskell拥有一个强.静态.自动推断的类型系统.Haskell的强同…