![](https://img-blog.csdnimg.cn/20201014180756757.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
翻译
文章平均质量分 67
g9yuayon
姓名:g9yuayon
前世:夜郎国厚脸皮神棍
魅力指数:0
名气:1
宠物:一只从来不对生人叫的看门狗
展开
-
软件工程师需要数学的真正理由
软件工程师需要数学的真正理由作者:Keith Devlin翻译:g9yuayon本文译自 The Communication of ACM 第44卷,2001年第10期软件工程师们常常宣称他们从来不用在大学里学到的任何数学知识. 说到这个,他们还会说连大学里学到的计算机专业知识都用不了多少。我搞了三十年数学,就让别人来谈计算机专业方面的情况,不过就数学的使用情况而言,我不得不坦白承原创 2002-02-25 08:52:00 · 11830 阅读 · 6 评论 -
lambda算子3:阿隆佐.丘齐(Alonzo Church)的天才
lambda算子3阿隆佐.丘齐(Alonzo Church)的天才:Lambda算子里的数前面建立了lambda运算的基本规则,就可以用lambda算子做点有意思的东西了。开始前为方便计,我们先来点语法糖花差花差,用来命名函数。这些语法糖可以让复杂的公式好写一点。我们用"let" 来引入一个“全局”函数(也就是说,我们用这个函数时,不用在每个表达式里定义一次):let squer =翻译 2006-08-14 14:45:00 · 16564 阅读 · 6 评论 -
lambda算子 1.b
上上周就快写完这篇时,IE突然当掉,写的东西烟消云散。俺也元气大伤。这次吸取教训,不用CSDN的在线工具写了。这样的坏处是把文章拷贝到CSDN时,格式难免出错,还得手工调整一下。CSDN什么时候可以实现confluence的在线备份功能呢?还是继续八卦lambda:自由 vs 有界标识符标识符和变量其实是一个意思。我记得国内教材里很少用标识符这个说法。不过既然原作者用这个说法,我就跟着用了转载 2006-06-12 11:14:00 · 14128 阅读 · 6 评论 -
lambda算子简介1.a
接着前两天的转载继续写。上次说到lambda算子的函数只接受一个参数。那怎么处理多个参数呢?如果只有一个参数,那岂不是连加法都不能实现?这当然难不倒像丘齐这样的天才。于是, lo and behold, 一个我们至今在编程里常用的技巧粉墨登场:Currying 据说Currying翻译为局部套用函数,也不知真假。喜欢吃印度美食的老大们不要激动。Currying和咖喱没有半点关系。这个技巧翻译 2006-05-29 08:30:00 · 19202 阅读 · 4 评论 -
博客推荐:good math, bad math之Lambda算子简介
Good math,bad math是我最近发现的一个博客。作者Mark Chu-Carroll写的一系列关于计算机科学理论的文章深入浅出,通俗易懂,属于茶余饭后绝佳的消遣读物。俺一直想写点介绍lambda caculus的小文章,但看了他的“My Fravorite Calculus: Lambda”后,就打消了这个念头。有这么好的文章,转贴就行了,自己就不用再写不入流的文章。今天先转介绍lam转载 2006-05-22 06:54:00 · 19408 阅读 · 2 评论 -
lamdba算子4:布尔值和选择
Lambda算子里的布尔值和选择原文在这里。既然Lambda算子里有了数的概念,我们想进行任意的计算就只需要两件东西了:怎么表示选择,和怎么表达重复操作。我们先聊聊怎么表示布尔值(也就是非真即假的二元集合)和选择,然后再讨论重复和递归(友情预告:人见人爱的Y Combinator终于可以出场了)。 我们一般把选择表示为if/then/else的表达式,和大多数编程语言的选择语句翻译 2006-08-27 08:55:00 · 8023 阅读 · 4 评论 -
我最恨的狗屁翻译
就是把Code Complete《代码大全》了。不知道是那个SB译者翻译的,也不知道是那个SB出版社通过这个书名,搞得一部好好的经典听上去像东拼西凑的盗版书。现在倒好,谬种流传。说起这部经典,都用这个让人浑身起鸡皮疙瘩的书名。原创 2006-04-02 09:09:00 · 4971 阅读 · 2 评论 -
Java门派的风险
正在看周思博(www.joelonsoftware.com)的新文章。这次是疯狂攻击Java。主要论点是:Java不够难,作为工业语言不错,但作为学校的教学语言,就忒差了。学校应该用指针和递归这类东西把真正的程序员筛选出来。对指针(代表系统底层)和函数编程(代表高层抽象)的学习是脱胎成优秀程序员的必经之路。看这种滔滔雄辩的文章最爽了。摘取一段哈:不了解泛函编程,你不可能发明MapReduce --原创 2005-12-30 12:43:00 · 6957 阅读 · 2 评论 -
强烈推荐:给计算机系学生的建议
在中文blog上推荐的英文文章从来回应寥寥,所以有时只好遗憾地看着别人的雄文在英语社区流行,比如说www.joelonsoftware.com上的精妙杂文。还好,网上总有热情洋溢的自愿者。这不,Joel的一篇精妙文章被翻译成中文了。强烈推荐一把:http://chinese.joelonsoftware.com/Articles/AdviceforComputerScienceC.html下面是转原创 2005-09-16 00:39:00 · 25059 阅读 · 11 评论 -
lambda算子3:阿隆佐.丘齐(Alonzo Church)的天才
lambda算子3阿隆佐.丘齐(Alonzo Church)的天才:Lambda算子里的数前面建立了lambda运算的基本规则,就可以用lambda算子做点有意思的东西了。开始前为方便计,我们先来点语法糖花差花差,用来命名函数。这些语法糖可以让复杂的公式好写一点。我们用"let" 来引入一个“全局”函数(也就是说,我们用这个函数时,不用在每个表达式里定义一次):let squer =翻译 2006-08-14 14:47:00 · 7438 阅读 · 3 评论