Lambda演算 - 简述Y组合子的作用
摘要:Y组合子:\f.(\x.f(xx))(\x.f(xx)),接受一个函数,返回一个高阶函数 Y组合子用于生成匿名递归函数。 什么叫匿名递归函数,考虑以下C语言递归函数 int sum(int n) { return n == 0 ? 0 : n + sum(n-1); } 这个函数在内部递归调用了自身
阅读全文
posted @
2016-02-29 23:16
PointerSMQ
阅读(2034)
推荐(0)
源码阅读笔记 - 1 MSVC2015中的std::sort
摘要:大约寒假开始的时候我就已经把std::sort的源码阅读完毕并理解其中的做法了,到了寒假结尾,姑且把它写出来 这是我的第一篇源码阅读笔记,以后会发更多的,包括算法和库实现,源码会按照我自己的代码风格格式化,去掉或者展开用于条件编译或者debug检查的宏,依重要程度重新排序函数,但是不会改变命名方式(
阅读全文
posted @
2016-02-22 21:08
PointerSMQ
阅读(1273)
推荐(0)