这个学期学了一门函数式语言 Coq，是法国人发明的，它与 ML 很像，其实 Coq 的发明主要是受了 ML 的影响。Coq 的语法我就不在这叙述了，有兴趣的朋友可以看这本书 Software Foundations，也就是我们上课用的教材。下面直接看些例子吧。1. map它的功能与 C++ 中的std::transform算法类似，是将f作用在list中的每个元素（元素类型是X）上，返回一个list...
分类：
编程语言 时间：
2015-04-22 13:57:18
阅读次数：
295
重温世界杯Problem Description世界杯结束了,意大利人连本带利的收回了法国人6年前欠他们的债,捧起了大力神杯,成就了4星意大利.世界杯虽然结束了,但是这界世界杯给我们还是留下许多值得回忆的东西.比如我们听到了黄名嘴的3分钟激情解说,我们懂得了原来可以向同一个人...
分类：
其他好文 时间：
2015-04-22 11:11:27
阅读次数：
131
>因工作需要，我去了一趟法国。刚到没多久，一个在法国的老朋友就邀请我去一家咖啡店叙旧。我欣然受邀，连忙赶到了咖啡店。这是一间不论外表还是招牌都很普通的咖啡店，名叫“席拉的小店”。虽然整个空间装潢简洁，但充满了温馨的格调，顾客们纷至沓来，生意很火的样子。>>还未点咖啡，就被法国人的热情奔放所震动。旁边...
分类：
其他好文 时间：
2015-04-21 17:22:10
阅读次数：
125
