2025年10月7日
Software Foundations Vol.I : 多态与高阶函数(Poly)
摘要： Software Foundations Vol.I : 多态与高阶函数(Poly) 多态 多态列表 在上一章中只使用了包含数的列表。很明显，程序还需要能够处理其它元素类型的列表 Inductive boollist : Type := | bool_nil | bool_cons (b : boo 阅读全文
posted @ 2025-10-07 17:58 Mesonoxian 阅读(10) 评论(0) 推荐(0)