- 博客(1)
- 资源 (8)
- 收藏
- 关注
原创 函数式编程与 C++
这个学期学了一门函数式语言 Coq,是法国人发明的,它与 ML 很像,其实 Coq 的发明主要是受了 ML 的影响。Coq 的语法我就不在这叙述了,有兴趣的朋友可以看这本书 Software Foundations,也就是我们上课用的教材。下面直接看些例子吧。1. map它的功能与 C++ 中的std::transform算法类似,是将f作用在list中的每个元素(元素类型是X)上,返回一个list
2015-04-22 12:34:32 3384 1
LLVM Cookbook
这本书是讲LLVM的,LLVM是个编译器后端,搞这块的朋友应该不陌生吧,而网上关于LLVM各个类的用法资料较少,基本靠代码注释生成的doxygen,这个pdf是文字版(非扫描版)。
2015-08-10
《人月神话》 软件人员必读
《人月神话》提出了2条著名的法则:
1、人月神话:向一个已经延后的 《人月神话》项目中投入更多的人力资源只会让它更延后。
2、没有银弹:没有一种策略,技术或者技巧可以极大地提高程序员的生产力。
2011-06-01
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人