Programming in types

Haskell 中的类型允许你将程序视为一系列的转换。你可以将转换视为一种更抽象的函数思考层面。在 Haskell 中解决问题时，你可以首先将它们视为一系列抽象的转换。