x****u
发帖数: 44466 | |
p*****2
发帖数: 21240 | 2 我也没想明白纯FP到底有多大的优势。感觉混合起来挺好的，比如Ruby，Scala。 |
x****u
发帖数: 44466 | 3 FP的致命缺陷是，图灵机在现实中是不存在的。所以任何把计算能力发挥到极限的程序
，都不可以基于图灵机这个假设。
【在 p*****2 的大作中提到】
: 我也没想明白纯FP到底有多大的优势。感觉混合起来挺好的，比如Ruby，Scala。
|
t****a
发帖数: 1212 | 4 据我所知imperative language的理论基础才是图灵机，是有状态的。
函数式编程的理论基础是lambda calculas，无状态。
欢迎指正。
【在 x****u 的大作中提到】
: 等长得大一点，就会发现图灵机根本不存在。
|
x****u
发帖数: 44466 | 5 是不是图灵机，就是看资源是否无限。
FP就是因为管理不好资源，才在80年代红极一时后臭大街的。
【在 t****a 的大作中提到】
: 据我所知imperative language的理论基础才是图灵机，是有状态的。
: 函数式编程的理论基础是lambda calculas，无状态。
: 欢迎指正。
|
p*****2
发帖数: 21240 | 6
资源管理是个大问题。这个我一直没想明白。都是immutable的因此同一个数据结构需
要很多copy，最后把内存用尽了。
【在 x****u 的大作中提到】
: 是不是图灵机，就是看资源是否无限。
: FP就是因为管理不好资源，才在80年代红极一时后臭大街的。
|
x****u
发帖数: 44466 | 7 FP的大问题就是没法精确控制，进而最大限度的利用资源。
现在靠谱点的程序，都要把计算机资源用到极限。
【在 p*****2 的大作中提到】
:
: 资源管理是个大问题。这个我一直没想明白。都是immutable的因此同一个数据结构需
: 要很多copy，最后把内存用尽了。
|
p*****2
发帖数: 21240 | 8
这个到未必吧？像python，ruby perf差的语言不是还大行其道吗？
【在 x****u 的大作中提到】
: FP的大问题就是没法精确控制，进而最大限度的利用资源。
: 现在靠谱点的程序，都要把计算机资源用到极限。
|
x****u
发帖数: 44466 | 9 不是说性能差，而是说性能难以控制。
【在 p*****2 的大作中提到】
:
: 这个到未必吧？像python，ruby perf差的语言不是还大行其道吗？
|
p*****2
发帖数: 21240 | 10
为什么FP难以控制呀？
【在 x****u 的大作中提到】
: 不是说性能差，而是说性能难以控制。
|
|
|
x****u
发帖数: 44466 | 11 因为CPU不是图灵机，而是在不考虑资源时可以和图灵机等价而已。
所以高性能程序不可避免的需要深度介入CPU的设计。
比如当年的极度回避多线程，和现在鼓励使用多线程的理想，都是现实的要求。
【在 p*****2 的大作中提到】
:
: 为什么FP难以控制呀？
|
p*****2
发帖数: 21240 | 12
深度介入CPU的设计这点，我刚才说的python，ruby也没哟深度介入吧？
【在 x****u 的大作中提到】
: 因为CPU不是图灵机，而是在不考虑资源时可以和图灵机等价而已。
: 所以高性能程序不可避免的需要深度介入CPU的设计。
: 比如当年的极度回避多线程，和现在鼓励使用多线程的理想，都是现实的要求。
|
x****u
发帖数: 44466 | 13 线程，进程，资源分配，释放都完全可控。。。
【在 p*****2 的大作中提到】
:
: 深度介入CPU的设计这点，我刚才说的python，ruby也没哟深度介入吧？
|
p*****2
发帖数: 21240 | 14
资源释放用GC的话算是可控吗？
【在 x****u 的大作中提到】
: 线程，进程，资源分配，释放都完全可控。。。
|
x****u
发帖数: 44466 | 15 首先是可以设置的，另外Java的问题不在于GC，而是在于对GC的滥用。Ref counting用
的正确了，GC基本上是不会启动的。
【在 p*****2 的大作中提到】
:
: 资源释放用GC的话算是可控吗？
|
E*****m
发帖数: 25615 | 16
你無釐頭！
教你一下吧， TM, Lamba Calculus, Recursive function 等
都是等價的， FP 是根據 Lambda Calculus 的 formalism。
純FP 是沒有 TM 那種可以刪改 State 的東西的。
少上點教會，多讀點書。
【在 x****u 的大作中提到】
: 等长得大一点，就会发现图灵机根本不存在。
|
x****u
发帖数: 44466 | 17 驴唇不对马嘴
【在 E*****m 的大作中提到】
:
: 你無釐頭！
: 教你一下吧， TM, Lamba Calculus, Recursive function 等
: 都是等價的， FP 是根據 Lambda Calculus 的 formalism。
: 純FP 是沒有 TM 那種可以刪改 State 的東西的。
: 少上點教會，多讀點書。
|
p*****2
发帖数: 21240 | 18
真神露面了？貌似zhaoce呼唤你多次了。
【在 E*****m 的大作中提到】
:
: 你無釐頭！
: 教你一下吧， TM, Lamba Calculus, Recursive function 等
: 都是等價的， FP 是根據 Lambda Calculus 的 formalism。
: 純FP 是沒有 TM 那種可以刪改 State 的東西的。
: 少上點教會，多讀點書。
|
E*****m
发帖数: 25615 | 19
你說不出錯在哪裡，是吧？
【在 x****u 的大作中提到】
: 驴唇不对马嘴
|
x****u
发帖数: 44466 | 20 无关话题立个新帖。
【在 E*****m 的大作中提到】
:
: 你說不出錯在哪裡，是吧？
|
|
|
A*******t
发帖数: 443 | 21 fp和lambda caculus对应
汇编才和图灵机对因
【在 x****u 的大作中提到】
: 等长得大一点，就会发现图灵机根本不存在。
|
E*****m
发帖数: 25615 | 22
莫名其妙。 我就是FP 粉， 我根本從來不把 FP 和
TM 想到一塊去， 你自己胡說一而已。
你承認吧， 你根本不知道啥是 Lambda Calculus。
【在 x****u 的大作中提到】
: 无关话题立个新帖。
|
x****u
发帖数: 44466 | 23 这都是数理逻辑需要回炉的。
【在 A*******t 的大作中提到】
: fp和lambda caculus对应
: 汇编才和图灵机对因
|
x****u
发帖数: 44466 | 24 你跑题的愿望真的很强。
【在 E*****m 的大作中提到】
:
: 莫名其妙。 我就是FP 粉， 我根本從來不把 FP 和
: TM 想到一塊去， 你自己胡說一而已。
: 你承認吧， 你根本不知道啥是 Lambda Calculus。
|
E*****m
发帖数: 25615 | 25 TM 從來都只是理論工具， 把 TM 當作真正計算工具的很蠢，
認為別人會把 TM 當作真正計算工具的更蠢。 |
E*****m
发帖数: 25615 | 26 你詞窮的時候閃躲的身段不甚高明。
【在 x****u 的大作中提到】
: 你跑题的愿望真的很强。
|
x****u
发帖数: 44466 | 27 解不出这个问题的，就不知道FP真正缺陷在哪里。
【在 E*****m 的大作中提到】
: TM 從來都只是理論工具， 把 TM 當作真正計算工具的很蠢，
: 認為別人會把 TM 當作真正計算工具的更蠢。
|
x****u
发帖数: 44466 | 28 不跟你跑题就是词穷。
【在 E*****m 的大作中提到】
: 你詞窮的時候閃躲的身段不甚高明。
|
E*****m
发帖数: 25615 | 29
答不出來就說人跑題就是詞窮。
【在 x****u 的大作中提到】
: 不跟你跑题就是词穷。
|
t****a
发帖数: 1212 | 30 据说现代的FP没这么傻了，自己会共享数据
【在 p*****2 的大作中提到】
:
: 真神露面了？貌似zhaoce呼唤你多次了。
|
|
|
n*w
发帖数: 3393 | 31 赞同"TM 從來都只是理論工具"
【在 E*****m 的大作中提到】
: TM 從來都只是理論工具， 把 TM 當作真正計算工具的很蠢，
: 認為別人會把 TM 當作真正計算工具的更蠢。
|
x****u
发帖数: 44466 | 32 让FP爱好者冷静下来，也需要TM这个工具。
【在 n*w 的大作中提到】
: 赞同"TM 從來都只是理論工具"
|
E*****m
发帖数: 25615 | 33
讓信口雌黃的閉嘴要用啥工具？
【在 x****u 的大作中提到】
: 让FP爱好者冷静下来，也需要TM这个工具。
|
A*******t
发帖数: 443 | 34 我倒是觉得您多虑了，虽然fp的performance tuning确实是很难的编译问题
但是还到不了彻底失控的地步
fp推广的真问题是对程序员素质要求太高
【在 x****u 的大作中提到】
: 让FP爱好者冷静下来，也需要TM这个工具。
|
x****u
发帖数: 44466 | 35 C++对程序员的素质要求才是最高的。尤其是最新的标准，完全可以当FP用。
99%的C++软件，里面都有致命bug，只不过在release的特定环境下能通过test cases。
【在 A*******t 的大作中提到】
: 我倒是觉得您多虑了，虽然fp的performance tuning确实是很难的编译问题
: 但是还到不了彻底失控的地步
: fp推广的真问题是对程序员素质要求太高
|
A*******t
发帖数: 443 | 36 不过这种例子当成一个语言值得炫耀的例子怎么说也有点不合适吧
【在 x****u 的大作中提到】
: C++对程序员的素质要求才是最高的。尤其是最新的标准，完全可以当FP用。
: 99%的C++软件，里面都有致命bug，只不过在release的特定环境下能通过test cases。
|
x****u
发帖数: 44466 | 37 不是炫耀CPP，而是认为CPP极度危险。这东西是天下第一号垃圾生产工具。
【在 A*******t 的大作中提到】
: 不过这种例子当成一个语言值得炫耀的例子怎么说也有点不合适吧
|
A*******t
发帖数: 443 | 38 所以我根本没明白您想表达什么，摊手
【在 x****u 的大作中提到】
: 不是炫耀CPP，而是认为CPP极度危险。这东西是天下第一号垃圾生产工具。
|
x****u
发帖数: 44466 | 39 我是分析一下几十年前红过一阵的FP现在臭大街的原因。
【在 A*******t 的大作中提到】
: 所以我根本没明白您想表达什么，摊手
|
E*****m
发帖数: 25615 | 40
您別這樣， 您不說別人還真的不知道你水平。
【在 x****u 的大作中提到】
: 我是分析一下几十年前红过一阵的FP现在臭大街的原因。
|
|
|
A*******t
发帖数: 443 | 41 也没有觉得哪里臭大街了，erlang和scala还是挺多公司在用的
我当年找工作的时候某公司还面过ocaml
不过我水平太烂没有过
【在 x****u 的大作中提到】
: 我是分析一下几十年前红过一阵的FP现在臭大街的原因。
|
x****u
发帖数: 44466 | 42 面试是一回事，但工业上已经不是主流了。
80年代初有个吸引了美日欧无数资金，耗时十年最后以垃圾告终的概念，叫第五代计算
机。现在FP粉丝拍脑袋恍然大悟的感触，前人早就想过一遍了。
【在 A*******t 的大作中提到】
: 也没有觉得哪里臭大街了，erlang和scala还是挺多公司在用的
: 我当年找工作的时候某公司还面过ocaml
: 不过我水平太烂没有过
|
A*******t
发帖数: 443 | 43 jane street哪里不主流了？
【在 x****u 的大作中提到】
: 面试是一回事，但工业上已经不是主流了。
: 80年代初有个吸引了美日欧无数资金，耗时十年最后以垃圾告终的概念，叫第五代计算
: 机。现在FP粉丝拍脑袋恍然大悟的感触，前人早就想过一遍了。
|
x****u
发帖数: 44466 | 44 现在学术会议和paper还有，但政府不会再投那么多本钱了。
【在 A*******t 的大作中提到】
: jane street哪里不主流了？
|
A*******t
发帖数: 443 | 45 好吧原来您不知道jane street是做啥的
稍微有点吃惊
【在 x****u 的大作中提到】
: 现在学术会议和paper还有，但政府不会再投那么多本钱了。
|
x****u
发帖数: 44466 | 46 Jane Street是某国政府资助的话，我的确不知道。
【在 A*******t 的大作中提到】
: 好吧原来您不知道jane street是做啥的
: 稍微有点吃惊
|
A*******t
发帖数: 443 | 47 这是一家做trading的公司，他家整个平台都是用ocaml写的
另外瑞士信贷的分析平台大量运用了haskell
【在 x****u 的大作中提到】
: Jane Street是某国政府资助的话，我的确不知道。
|
E*****m
发帖数: 25615 | 48
原來你看政府錢投哪裡的？
哪個成功的語言是政府投錢搞出來的？
【在 x****u 的大作中提到】
: 现在学术会议和paper还有，但政府不会再投那么多本钱了。
|
x****u
发帖数: 44466 | 49 某家比它大得多的金融公司，内部都是用VC5/MFC写的。金融公司不在乎软件生产率，
怎么玩都可以。
【在 A*******t 的大作中提到】
: 这是一家做trading的公司，他家整个平台都是用ocaml写的
: 另外瑞士信贷的分析平台大量运用了haskell
|
p*****2
发帖数: 21240 | 50
我也是看到过这个说法。不过我上次编了一个程序明显不行。用mutable的数据结构就
一点问题没有。
【在 t****a 的大作中提到】
: 据说现代的FP没这么傻了，自己会共享数据
|
|
|
x****o
发帖数: 21566 | 51 quant?
【在 A*******t 的大作中提到】
: 也没有觉得哪里臭大街了，erlang和scala还是挺多公司在用的
: 我当年找工作的时候某公司还面过ocaml
: 不过我水平太烂没有过
|
j********x
发帖数: 2330 | 52 此话怎讲？
【在 A*******t 的大作中提到】
: 我倒是觉得您多虑了，虽然fp的performance tuning确实是很难的编译问题
: 但是还到不了彻底失控的地步
: fp推广的真问题是对程序员素质要求太高
|
E*****m
发帖数: 25615 | 53
自己打倒自己？ 被人家指出來就說語言不重要了？
【在 x****u 的大作中提到】
: 某家比它大得多的金融公司，内部都是用VC5/MFC写的。金融公司不在乎软件生产率，
: 怎么玩都可以。
|
m********5
发帖数: 17667 | 54 Not necessarily. I believe it depends on programming style. If your style is
FP enough, your code will use >100 times smaller memory than non-FP code.
In extreme case, the FP can be used to handle infinite data with lazy
evaluation and referential transparency. Of course, one can also implement
similar thing in C++ with functors, but it is still FP, just approximated
with another language with a lot of pain in the ass.
Haskell performance and memory profile are really mediocre, it keeps copying
the same set of immutable data which can be avoid with smarter compiler I
guess. So I think it is still promising in some contexts.
【在 p*****2 的大作中提到】
:
: 我也是看到过这个说法。不过我上次编了一个程序明显不行。用mutable的数据结构就
: 一点问题没有。
|
