网上有本书,好像是日本人写的,《函数在你身边:直觉探索函数世界》,本书最后一章节,基本解答了函数式思维来看待世界的思维方式,描述的比较通俗。然后联想到《范畴论》这一纯数学的研究方法,表达的思路和思维基本是一致的,所以本书最后一节可以作为函数式思维的一个科普读物。
具体内容可以网上查找阅读,里面也确认了我之前关于类型与函数之间关系的思考与猜测。类型和函数是相互依存的,函数是作为在类型之上的函数,类型因为有函数而存在,也就是没有函数关系的类型是没有意义的。
书中这最后一章也指出的函数式思维的般过程等。