文件名称：TypeFunc:类型理论，函数式编程等资源
文件大小：6.95MB
文件格式：ZIP
更新时间：2024-05-24 17:32:16
TypeFunc 该存储库收集了一些链接和资源，用于学习有关类型理论，函数式编程和相关主题的知识。 我当前的收藏夹（新部分！） 由于此页面上的资源链接太多（也许太多），因此我决定偶尔列出一些（在上次提交时）我当前的收藏夹资源...不管是什么价值。 ， ，2019年。 ， ，2021年（无耻的插件）。 。 ，来自IAS年单价基金会的教科书，2013年。 ，诺埃尔·威尔士和戴夫·古内尔，2020年。 对我而言，最后一项吸引我的是，本书对程序组成和类别理论的宣传是软件设计和开发的两个强大的组织原则。 书籍和论文 基础/背景 （），Avigad，Lewis，van Doorn。 ，Geuvers和Nederpelt。 ，约翰·米切尔（John Mitchell）。 ，本杰明·皮尔斯（Benjamin Pierce）。 编程语言的实践基础， Robert Harper