t******n
发帖数: 2939 | 1 ☆─────────────────────────────────────☆
xiongyp (dreamrain) 于 (Fri May 24 08:41:56 2013, 美东) 提到:
我们假设不知道什么叫素数，我们对正整数集合进行如下的定义来定义素数。（这是从
链接上取下来的，也是I63的定义）
(1) 1不是素数 (base case)
(2) a是素数当且仅当a不能被任何小于它的素数整除。
我曾经多次指出，这个定义在用素数定义素数，是不正确的。但看到很多的反驳如下。
1不是素数, 我们考察2，发现小于2的素数集合为空集，于是2为素数。以此再往下递归
，得出所有素数的定义。我想昨天深入讨论此内容的人，都不会反对我的总结吧。关于
"小于2的素数集合为空集"推出"2为素数"，因我的不慎，还做出过郑重道歉。
好，我们仿造这种递归定义，来定义偶数。
我们假设不知道什么叫偶数，我们对非负整数集合进行如下的定义来定义偶数。
(1) 0不是偶数 (base case)
(2) a是偶数当且仅当a与任何小于它的偶数之差为2的倍数。
我从base case开始。0不是偶数。我们考察... 阅读全帖 |
|
x****o
发帖数: 21566 | 2 @cctvweb：美军关岛监听站的海军说：俄国人的潜艇一出港，在关岛都能听到；中国人
的潜艇一出港，就立马听不到俄国人的潜艇声音了。
@第五元素：辽宁舰的舰长昨天在CCTV说，1000名舰员，每天消耗食品达10-12吨。我查
了查，美国尼米兹级航母，6000名舰员，每天食品10吨。我们这是打算出海啊，还是要
出栏啊？
@913啸天：其实这是一个秘密，舰上其实还藏着5000人呢！问：那5000人是干嘛的？—
—甲板下面划船的。
@laoyang945：转：台湾的免签国家都走一遍，堪称旅行家；大陆的免签国家都走一遍
，堪称探险家。
@fatal1tyv：简单来说 中国护照免签地分三种：没听说过的，去了可能回不来的，能
去也不乐意去的。
@此姑娘：奥巴马接受采访时说：中国的人均生活水平相当于美国人1910年时的水平。
PS：但是其官员的生活水平至少超越美国50年。
@panda_L：针对中国大陆删除互联网上的日本影视作品的行为，日本数码作品版权协会
表示：感谢野田总理，在他的英明指导下，我们花费几年精力都没能解决的盗版问题迎
刃而解了。
@法号野合：福建农民老胡被村里安排接受采访，记者：你幸... 阅读全帖 |
|
n*********2
发帖数: 357 | 3 首先说明：我不想引起另外一场群殴。
我的感觉是你集中在王垠文章里面的感性方面的东西。没有看到那些理性的东西。 我
不想讨论王垠这个人（我不认识这个人）； 宽容是一种美德， 他又没有抢你饭碗。王
垠的话题是很具挑逗性，但好处是能引起深入的，技术性的讨论。一般这种性质的话题
都走极端； 在技术论坛并不少见。
王垠的观点和从程序版的讨论得到：
（1）图灵的在攻击Enigma密码的贡献被人为地拔高了。我还没有看到一个人反驳王垠
在这个上面的宣称的。 而这个恰恰是引起我注意的原因。我很赞成王垠的说法： 图灵
在Enigma的贡献是被拔高了太多； 在这方面的精确定位的文章太少。如果有兴趣的话
， 可以到国家安全局的密码博物馆去看看（免费的）。 图灵在那里有一个位置， 但
是是很小，很小的一个位置。
（2）图灵在计算机界的地位被人为地拔高太多 （这个也是那三片ACM文章的意思； 只
不过人家说话有艺术性，还把文章给发了）。
a.第一个解决Hilbert 的the Entscheidungsproblem的不是图灵。图灵不应当得到这个
功劳。
b.图灵在解决the Entscheidungsprob... 阅读全帖 |
|
c******o
发帖数: 1184 | 4 lambda还是蛮好的
python也有lambda的功能
啥？ |
|
l**n
发帖数: 7272 | 5 虽然这里的码工比较少，但是能appreciate coding和programming的朋友也可以看看。
我觉得挺有意思的。
http://blog.sina.com.cn/s/blog_5d90e82f01014k5j.html
我想通过这篇文章解释一下我对 Unix 哲学本质的理解。我虽然指出 Unix 的一个设计
问题，但目的并不是打击人们对 Unix 的兴趣。虽然 Unix 在基础概念上有一个挺严重
的问题，但是经过多年的发展之后，这个问题恐怕已经被各种别的因素所弥补（比如大
量的人力）。但是如果开始正视这个问题，我们也许就可以缓慢的改善系统的结构，从
而使得它用起来更加高效，方便和安全，那又未尝不可。同时也希望这里对 Unix 命令
本质的阐述能帮助人迅速的掌握 Unix，灵活的应用它的潜力，避免它的缺点。
通常所说的“Unix哲学”包括以下三条原则[Mcllroy]：
一个程序只做一件事情，并且把它做好。
程序之间能够协同工作。
程序处理文本流，因为它是一个通用的接口。
这三条原则当中，前两条其实早于 Unix 就已经存在，它们描述的其实是程序设计最... 阅读全帖 |
|
w*******g
发帖数: 9932 | 6
without algorithm/lambda calculus, there won't be any IT positions.
how do you reason the correctness of an algorithm without analysis?
how do you prove the soundness of your program without lambda?
theory is invented to abstract away the details of daily work and
focuses on proving the essential properties of interests.
Theory is fun but only in the hands of talented people and I am not
one of them... |
|
l******e
发帖数: 470 | 7 #include
#include
#include
#include
#include
#include
using namespace std;
float surand() //gene uni dis [0,1]
{
return( (float) rand()/RAND_MAX );
}
float urand(float low, float high) //gene uni dis[low,high]
{
return(low+(high-low)*surand());
}
float genexp(float lambda) //generate exp dist
{
float u,x;
u=surand();
x=(-1/lambda)*log(u);
return(x);
}
float gennor(float mean, float stanvar) //gene norm dis with mean and
standard va |
|
h*i
发帖数: 3446 | 8 Not really. Programming language research may USE lambda calculus, but
lambda calculus is NOT a programming language.
Math people cannot do programming language research, but they can do pretty
well in complexity theory, machine learning, and any other "theory" fields
of computer science. Computer science theory people here I work all consider
themselves mathematicians, but NONE of them can do programming language
research. |
|
h*i
发帖数: 3446 | 9 Not really. Programming language research may USE lambda calculus, but
lambda calculus is NOT a programming language.
Math people cannot do programming language research, but they can do pretty
well in complexity theory, machine learning, and any other "theory" fields
of computer science. Computer science theory people here I work all consider
themselves mathematicians, but NONE of them can do programming language
research. |
|
a*****e
发帖数: 1700 | 10 automata 是初级 theory 课上教的吧，算不得 PL。当然也有 PL
领域是专门研究 automata 的，但这不会是课上的内容。
初级 PL 课主要教形式语义，类型系统，lambda，函数式或者命令
式语言的实现，等等。也有一定的逻辑推导和程序证明，要看是谁
教，用哪本教材了。
我遇到的常见论调就是 wdong 说的这种，认为没用。但实际上，
我迄今还没有遇到一个认真学习了 lambda 和 type theory 的人
之后告诉我这两样没用的。相反，大多数都会认为打开了一扇门
看到了别处的风景，然后能够站在新的高度上回头审视自己的编程
技巧和理解能力。
像 parallel programming 和 system architecture 这种课，我觉
得自学也可以取得不错的效果，但是 PL 绝对是要认真上课认真完
成作业才可能有收获，对思维是很好的挑战和训练。靠自学难度相
当大。 |
|
s*******g
发帖数: 243 | 11 所以匿名类这东西很鸡肋。写复杂的东西不能复用，写简单流畅的东西因为语法复杂最
后反而不简单。而lambda expression会让写的人，看的人都很爽。一般我写C#或者
Python，一个lambda expression里肯定不会超过3句话，一般要是有人写了超过10句，
肯定有问题。 |
|
s*******g
发帖数: 243 | 12 所以匿名类这东西很鸡肋。写复杂的东西不能复用，写简单流畅的东西因为语法复杂最
后反而不简单。而lambda expression会让写的人，看的人都很爽。一般我写C#或者
Python，一个lambda expression里肯定不会超过3句话，一般要是有人写了超过10句，
肯定有问题。 |
|
p*****2
发帖数: 21240 | 13 在这里讨论不如你去学学scala。主要是你如果没学过，真的不好讨论。
From a language perspective, perhaps the most important change is Project
Lambda, which includes support for lambda expressions, virtual extension
methods and better support for multicore platforms in the form of parallel
collections.
Most of these features are already available in many other JVM languages,
including Scala. Moreover, many of the approaches taken in Java 8 are
surprisingly similar to those used in Scala. As a consequence, playing with
Scala is a... 阅读全帖 |
|
s*****h
发帖数: 155 | 14 lambda很多地方的确好用，但是可读性太差
将来不会code里面lambda漫天飞吧...
functional的东西我感觉自己写起来爽，别人读起来费劲呢 |
|
w****c
发帖数: 2667 | 15 拜托一下，你要批判的话也要有针对性和专业精神嘛，具体说说好在哪里、不好在哪里
。另外，你要批Haskell/Link/GWT的话，尽管批，不过不要一竿子打倒一船人。
你在另外那篇的回帖里提到，Python/Ruby都不算Functional Programming语言，因为
只有First class functions的支持。难道你要忽略Python的Lambda支持？要知道，一
个Lambda就可以成为整个Functional Programming的基础了。而且，实际上具体的语言
并不重要，重要的是这种不同的思维方式。最近，许多“传统”和新兴语言都在竞相加
入对Functional Programming的支持，包括C#、Java等等，这也说明，这已经早就突破
了Research的范畴了。
说到大公司的支持，对C/C++、Java等的支持，更多的是历史和社会经济的原因，并不
是技术的原因。比如，IBM在WAS/RAD上挣了这么多，他们是不会放弃Java，而主动支持
Functional Programming，这也是可以理解的。
但是，新兴的公司可不管这些，也不吃着一套。比如， |
|
p***o
发帖数: 1252 | 16 >>> comb=lambda m,n: reduce(lambda x,y: x*(n+1-y)/y, range(1,m+1),1)
>>> comb(20,80)
3535316142212174320L |
|
p***o
发帖数: 1252 | 17 >>> comb=lambda m,n: reduce(lambda x,y: x*(n+1-y)/y, range(1,m+1),1)
>>> comb(20,80)
3535316142212174320L |
|
L***n
发帖数: 6727 | 18 参数可能还不够灵活，这就是我现在梦想创造一个小script语言干这事，说起来好听够
裤，哈哈，其实python是functional的，re+lambda+xpath已经可以完成所有这种工作
了。最简单的用一个表，叫rulebook吧，内容可以是re或者是lambda，一条一条用就行
了。但是maintain这个表可能比较头痛 |
|
w******p
发帖数: 166 | 19 several ways with s='0001001101111111'
''.join(x if i%4 or i==0 else '-'+x for i,x in enumerate(s))
'-'.join(['{0:04b}'.format(int(x,16)) for x in "%x"%(int(s,2))])
reduce(lambda x, y: x+'-'+y, [s[i::4] for i in range(len(s)/4)])
import re; re.sub(r'(....)', lambda x: '-'+x.group(0), s)[1:]
import struct; '-'.join(struct.unpack(">"+"4s"*(len(s)/4),s)) |
|
n*w
发帖数: 3393 | 20 最近我根本没有讨论c#和java谁好谁坏。lol。是有讨论lambda，我还在期待java 8的
lambda。唯一一次是转了一个open source界的人关于“c# light year ahead of java
”的话，在那个帖子你可能有说c#进步比java快。那是半年前？主要是说某些
performance比较。
你觉得所有人都认为你扁了谁？而不是相反。我倒是觉得很多帖子双方都有很强的bias
“人多有用吗？” 人多点是不是比没人好。stackoverflow人最多了。
顺便问下，stackoverflow是.net做的。会有人因此不用吗？ |
|
g*****g
发帖数: 34805 | 21 你小也太搞笑了，java 8是要加入lambda expression不错。但java都20年了，20年才
加这个，不就说明这个东西必要性很低吗。难道这20年没lambda expression功能都写
不了,这不是说明这是糖水是什么？ |
|
g****t
发帖数: 31659 | 22 我个人观点:
凡是学过点数理逻辑的,80%以上会觉得functional programming
很有意思.实用性只是一个方面.一个东西有意思,有魅力,就会持久长存.实用性迟早会
爆发出来的.
Lambda Calculus是第一个解决可机算数问题的模型.Church其实至少是和图灵同一个
level的天才.
图灵机最接近实用,实用性结果已经看到.
Godel递归函数啥的最数学,基本不可能使用.
Lambda Calculus其实很难归类,所以我觉得潜力很大. |
|
z****e
发帖数: 54598 | 23 这么说，是三线队还是一线队，看的是你team里面人的水平
如果水平不行，铁桶加反击其实很强大，怕就怕不是一线队，又上一线队的战术
那郑智什么，你指望它做孔卡做梅西，那是不现实的
三流的java团队可以把项目做成，这就可以了，这样就能在市场上跟一线团队掰掰手腕
实际上我用fp最多的是在ui里面，等java8出来
lambda第一个应用我估计就是javafx里面的eventhandler
前几天oracle更新了一下java的tutorial，我看lambda里面的例子就拿了javafx做例子
很直接，也很清晰，但是java的gui做得一直是最烂的一块，我维护过swing代码
写得那叫一个烂哟，我做java其它任何部分都没有遇到过那么垃圾的代码
另外就是，少写几个单词其实不会对productivity有多大影响
多写几个单词，其实也慢不到哪里去，但是少写几个单词
却有可能导致维护成本大幅上升，所以trade off下来，expected value很可能是
negative
现在python对ruby/perl的进逼也多少说明了这一点
hedge |
|
k**********g
发帖数: 989 | 24
The correct approach is to use actor model.
It may not have good performance, but any other multicore approach will be
10x more difficult than using actor model.
The fundamental constructs inside an actor model framework:
1. thread-safe queue (preferably lock-free or obstruction-free)
2. thread pool
3. worker pool (each worker runs on one thread on the thread pool)
4. task queue / task pool (a collection of ready-to-run tasks)
(remark: it is called task pool because it is not necessarily a ... 阅读全帖 |
|
l******t
发帖数: 55733 | 25
可以这么理解吧，匿名类根本就是为了支持lambda的。pojo基本是lambda的另一种形式
。我记得
programming Scala有章专门讲替代spring的approach。
design pattern的出现基本是因为第一没first order function，第二没type/traits
。有了这两，大部分design pattern 都不需要了。
Oop应该算托密勒地心说。FP就是哥白尼。 |
|
l******t
发帖数: 55733 | 26
有很多角度可以探讨一下。
比如Spring，Spring的config/context xmls本身看可以看成是一种DSL，这些pojo，就
是DSL中的function/data。一个如何从FP的角度理解DSL的blog，
http://www.defmacro.org/ramblings/lisp.html
再换个说法，lambda本身被证明可以产生任何算法，所以任何算法都可以从lambda角度
描述。这不是大而化之。OO的很多东西从FP来看是很straightforward和intuitive的。
用OO只能说是做job，用FP是有快感的。老赵还没去试试FP？ |
|
t***t
发帖数: 6066 | 27 I'm not talking about lambda belong to scala, I'm talking that java 8 copied
the way scala doing lambda. |
|
s*****h
发帖数: 155 | 28 lambda引进来，会不会导致未来一段时间内java code变得乱码七糟？
我觉得应该严格限制lambda的应用.. 别public的传来传去 |
|
z****e
发帖数: 54598 | 29 lambda算是groovy等语言比较成功的地方
官方参考了这些先行者成功的经验
scala, groovy, clojure谁都有lambda |
|
H*******g
发帖数: 6997 | 30 use Lambda to create Cartesian.
use Lambda to get the Intersect of multiple data set
给一个树，遍历之，或找common ancestor is not necessary.
给一个List of strings，删除"abc" is way tooo easy... |
|
l*****t
发帖数: 2019 | 31 慢的是map/filter还是lambda呀。好像python是后者做的不好吧。lambda没做好，当然
用map/filter就慢啦。 |
|
v*****r
发帖数: 2325 | 32 spark beginner trying out the buzz tech
input 200GB uncompressed data file stored in hdfs
37 worker nodes, each has 24 cores
using java map reduce, 6-8 minutes
using spark, 37 minutes, 2 18 minute-stage
"lightning fast cluster computing, 100x faster" ???!!!!
Big bulls please advise!
#sortMapper sort values for each key, then do some iteration for the grouped
values
text = sc.textFile(input,1776) #24*37*2
text.map(mapper).filter(lambda x: x!=None).groupByKey().map(sortMapper).
filter(lambda x: x... 阅读全帖 |
|
l******t
发帖数: 55733 | 33 这绝逼是IT进化的问题。lisp超前了几十年。现在fp才算刚emerge。java加入lambda是
fp平民花的一个里程杯。再有2年Java 8普及了，大部分（阿三）程序员习惯lambda了
，fp就主流了。 |
|
d****i
发帖数: 4809 | 34 上面不是说了吗，Java 8的lambda和其他传统主流语言一样，就是个语法糖，和fp相差
十万八千里，再说用java 8也不等于要用lambda啊。还是像我们这样好，老老实实用
Java 6和7，不玩花，不玩酷，不装逼，不装蒜，照样功能实现铁打没问题。 |
|
l******t
发帖数: 55733 | 35
你应该用用。然后就会想为什么要有变量这么个东西？所有东西都应该自然而然从
lambda中来。当然这本来就是lambda/category theory所要表达的。 |
|
l******t
发帖数: 55733 | 36 这绝逼是IT进化的问题。lisp超前了几十年。现在fp才算刚emerge。java加入lambda是
fp平民花的一个里程杯。再有2年Java 8普及了，大部分（阿三）程序员习惯lambda了
，fp就主流了。 |
|
d****i
发帖数: 4809 | 37 上面不是说了吗，Java 8的lambda和其他传统主流语言一样，就是个语法糖，和fp相差
十万八千里，再说用java 8也不等于要用lambda啊。还是像我们这样好，老老实实用
Java 6和7，不玩花，不玩酷，不装逼，不装蒜，照样功能实现铁打没问题。 |
|
l******t
发帖数: 55733 | 38
你应该用用。然后就会想为什么要有变量这么个东西？所有东西都应该自然而然从
lambda中来。当然这本来就是lambda/category theory所要表达的。 |
|
g****t
发帖数: 31659 | 39 FP不知道为啥会在不必要的层面上争执这么久。
实际层面上，用用常识，可以明显看到两个问题
第一是硬件。lisp machine曾经有过。死了
第二图灵比丘奇哥德尔的计算模型往前走了一步本质的，
不是图灵机，是universal Turing machine.大致相当于现在的OS.
有人FP出来实际有用的衔接软硬件的universal Lambda machine吗？
从研究层面，就算只考虑软件研究方向，FP也是很有前途的。
第一，在现有universal Turing machine 架构上跑FP.
解决递归速度啥的往往是一类问题一篇论文这样的。谁能发明好的实用的
编译原理或者工具，能解决更大类别的问题。那肯定是有前途的。
大家都骂的王垠，其实是懂这个的。
第二，universal lambda machine会不会出一个Linux 类型的天才？
这个完全有可能的。 |
|
z****e
发帖数: 54598 | 40 但是fp会带来callback陷阱
为了解决callback陷阱而引入了reactivex
也就是subscribe或者说是observer模式
用了reactivex之后，感觉fp其实也没啥必需的
除了lambda以外，如果不怕麻烦加多一层其实也没啥
lambda就省去了外面那一层class
wdong不是在问下一个big thing吗？
rxjava咯，rxjava发布1.0的时候可是thx了一堆人
并触发了一堆新项目，什么rxjdbc之类的
这是里程碑式的存在，这里一堆开源的项目大有可为
炮灰们可以上了 |
|
d********u
发帖数: 5383 | 41 你要是理解lambda calculus，scala算啥天书呀？
如果不理解，光死记硬背，那就痛苦了。
大家有时间猛搞一下lambda calculus，回来再看FP，保你嗤之以鼻世面上流行的大部
分语言。有时间再搞啊，呵呵。 |
|
z****e
发帖数: 54598 | 42 最近说fp跟异步有关
因为异步可以带来一定程度上运行效率的提升
所以后来都在讨论怎么借鉴这个feature
所以才有了java8的lambda
以及搭配lambda使用的reactive，具体到java就是rxjava
剩下的也看不出啥价值了，除了scala的数学符号可以自己定义以外 |
|
z****e
发帖数: 54598 | 43 单纯的fp和单纯的oop效率差不多，从机器执行上看
都要绕好多层，现在fp的效率优化是建立在oop引入异步的基础之上的
确切点说是lambda，所以java才考虑加入lambda
这个看明白了rxjava就很容易理解，而不会被fp zealot所忽悠 |
|
l******t
发帖数: 55733 | 44 干。fp的foundation就是lambda。
也可以反方向理解，140的人天生理解lambda。用变量需要拉低智商。 |
|
a*****e
发帖数: 1700 | 45 我劝你不懂不要装懂。你倒是点个名道个姓，说说都有哪些“真正的数学家”不屑
lambda calculus 了？数学领域这么广，一个数学家，对自己领域外的东西不了解不研
究很正常，但要说“不屑”或者“抨击”，请给出处。还“证明理论上是错的”？你做
梦呢吧？
而且 type theory 虽然是 CS 的发明，但它和 logic 的对应关系可不是“发明”，而
是 discovery，而且是多次 re-discovery。
lambda |
|
z****e
发帖数: 54598 | 46 async还要库？
只要有lambda，什么都可以轻易做到async
为什么要库？
即便没有lambda，reflection也同样可以做到完全的async
话说async完全不完全其实就是看你有没有block thread
只要你能让你的组件不block thread，你就能做到完全的async
而且对于多线程来说，一个最最最简单的做到async的方法
就是对于某些特别耗时的step，额外启动独立的线程就好了
所谓worker只是增加了callback func进去而已
如果不需要callback的话，直接new thread().start()，搞定
这个就是最简单的async |
|
z****e
发帖数: 54598 | 47 async还要库？
只要有lambda，什么都可以轻易做到async
为什么要库？
即便没有lambda，reflection也同样可以做到完全的async
话说async完全不完全其实就是看你有没有block thread
只要你能让你的组件不block thread，你就能做到完全的async
而且对于多线程来说，一个最最最简单的做到async的方法
就是对于某些特别耗时的step，额外启动独立的线程就好了
所谓worker只是增加了callback func进去而已
如果不需要callback的话，直接new thread().start()，搞定
这个就是最简单的async |
|
z****e
发帖数: 54598 | 48 现在之所以用fp，主要是lambda
而用lambda的主要目的，就是为了充分发挥机能
而fp其他部分则会导致机能下降
那如何避开这些部分，是一般框架作者需要思考的问题
当然这不是使用者需要思考的问题 |
|
z****e
发帖数: 54598 | 49 有选择性的吸收就没有问题了
比如为了async用lambda
java加入lambda不是没有道理的
所以还是要明白为什么要这么做
然后什么时候做，什么时候不做
而非教徒式的崇拜，啊，什么都应该fp |
|
