高阶逻辑和高阶类型
高阶类型带来了什么：
https://blog.csdn.net/weixin_34393428/article/details/88731183
作者：西伯尔
出处：http://www.cnblogs.com/sybil-hxl/
本文版权归作者和博客园共有，欢迎转载，但未经作者同意必须保留此段声明，且在文章页面明显位置给出原文连接，否则保留追究法律责任的权利。
高阶逻辑和高阶类型
高阶类型带来了什么：
https://blog.csdn.net/weixin_34393428/article/details/88731183
作者：西伯尔
出处：http://www.cnblogs.com/sybil-hxl/
本文版权归作者和博客园共有，欢迎转载，但未经作者同意必须保留此段声明，且在文章页面明显位置给出原文连接，否则保留追究法律责任的权利。
