这个学期学了一门函数式语言 Coq，是法国人发明的，它与 ML 很像，其实 Coq 的发明主要是受了 ML 的影响。Coq 的语法我就不在这叙述了，有兴趣的朋友可以看这本书 Software Foundations，也就是我们上课用的教材。下面直接看些例子吧。1. map它的功能与 C++ 中的std::transform算法类似，是将f作用在list中的每个元素（元素类型是X）上，返回一个list...
分类：
编程语言 时间：
2015-04-22 13:57:18
阅读次数：
295
AC 实际成本ACWP 已完工作实际成本BAC 完工预算CCB 变更控制委员会COQ 质量成本CPAF 成本加奖励费用合同CPFF 成本加固定费用合同CPI 成本绩效指数CPIF 成本加激励费用合同CPM 关键路径法CV 成本偏差EAC 完工估算EF 最早完成日期EMV 预期货币价值ES 最早开始日...
分类：
其他好文 时间：
2015-02-10 21:39:14
阅读次数：
538
