由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字 访问原贴
Programming版 - FP的主要问题是两个
相关主题
王垠: 图灵的光环 (转载)竟然有人鼓吹自动生成代码的?
谁能用本科生就能理解的语言解释图灵机和拉姆达计算的区别GoLang, Scala, Swift, Rust 哪个能在2015有关键性的突破?
[bssd]计算机科学的自然律functional programming lang里面 如果我说以後会大面积火的,还是lisp (clojure)
粉FP的人是因为把电脑想象成图灵机了求学习新语言的方法
FP并不比OO什么的更“高级”软件界流行向后不兼容-angularjs, swift
Scala有一点不好工具简单未必是好事-swift
why oo sucks为什么说 lisp 是AI 的语言?
王垠水平见长关于FP
相关话题的讨论汇总
话题: fp话题: 硬件话题: machine话题: universal话题: linux
进入Programming版参与讨论
1 (共1页)
g****t
发帖数: 31659
1
FP不知道为啥会在不必要的层面上争执这么久。
实际层面上,用用常识,可以明显看到两个问题
第一是硬件。lisp machine曾经有过。死了
第二图灵比丘奇哥德尔的计算模型往前走了一步本质的,
不是图灵机,是universal Turing machine.大致相当于现在的OS.
有人FP出来实际有用的衔接软硬件的universal Lambda machine吗?
从研究层面,就算只考虑软件研究方向,FP也是很有前途的。
第一,在现有universal Turing machine 架构上跑FP.
解决递归速度啥的往往是一类问题一篇论文这样的。谁能发明好的实用的
编译原理或者工具,能解决更大类别的问题。那肯定是有前途的。
大家都骂的王垠,其实是懂这个的。
第二,universal lambda machine会不会出一个Linux 类型的天才?
这个完全有可能的。
d****i
发帖数: 4809
2
你违反了一个原则:DRY - Don't repeat yourself! 现在工业界已经有一整套成熟的
硬件和软件架构系统能够解决所有的现实问题,FP在工业界的失败经历表明实践和时间
是检验真理的唯一标准,FP早就已经进历史的垃圾桶了,只有一些专门搞语言的人和被
误导的喜欢搞嘻皮士的小屁孩还拿出来说事。

【在 g****t 的大作中提到】
: FP不知道为啥会在不必要的层面上争执这么久。
: 实际层面上,用用常识,可以明显看到两个问题
: 第一是硬件。lisp machine曾经有过。死了
: 第二图灵比丘奇哥德尔的计算模型往前走了一步本质的,
: 不是图灵机,是universal Turing machine.大致相当于现在的OS.
: 有人FP出来实际有用的衔接软硬件的universal Lambda machine吗?
: 从研究层面,就算只考虑软件研究方向,FP也是很有前途的。
: 第一,在现有universal Turing machine 架构上跑FP.
: 解决递归速度啥的往往是一类问题一篇论文这样的。谁能发明好的实用的
: 编译原理或者工具,能解决更大类别的问题。那肯定是有前途的。

g****t
发帖数: 31659
3
出个新的 FP Linux也不是没可能啊。

【在 d****i 的大作中提到】
: 你违反了一个原则:DRY - Don't repeat yourself! 现在工业界已经有一整套成熟的
: 硬件和软件架构系统能够解决所有的现实问题,FP在工业界的失败经历表明实践和时间
: 是检验真理的唯一标准,FP早就已经进历史的垃圾桶了,只有一些专门搞语言的人和被
: 误导的喜欢搞嘻皮士的小屁孩还拿出来说事。

S*A
发帖数: 7142
4
基本没有可能,要搞 OS 这类的,FP 离硬件太远
不容易操作。Linux arch 下面有不少 assemblely
代码的。例如进来个 Interrupt,你要切换一大堆
寄存器之类的,FP 的运行环境都要重新设立。
C 也一样,不过 C 依赖的环境很接近硬件,很小
段汇编代码就可以进入 C 代码了。
你要是拿 FP 做这些就是找虐。

【在 g****t 的大作中提到】
: 出个新的 FP Linux也不是没可能啊。
c*******9
发帖数: 9032
5
“实践是检验真理的唯一标准” 又被政治书洗脑了吧。
比如爱迪生发明灯泡要实验10000次才成功的,按照DRY - Don't repeat yourself,第
9999次失败了是否早该进历史的垃圾桶?

【在 d****i 的大作中提到】
: 你违反了一个原则:DRY - Don't repeat yourself! 现在工业界已经有一整套成熟的
: 硬件和软件架构系统能够解决所有的现实问题,FP在工业界的失败经历表明实践和时间
: 是检验真理的唯一标准,FP早就已经进历史的垃圾桶了,只有一些专门搞语言的人和被
: 误导的喜欢搞嘻皮士的小屁孩还拿出来说事。

z****e
发帖数: 54598
6
所以搞硬件的谈什么fp
浪费时间
中间隔了好几层

【在 S*A 的大作中提到】
: 基本没有可能,要搞 OS 这类的,FP 离硬件太远
: 不容易操作。Linux arch 下面有不少 assemblely
: 代码的。例如进来个 Interrupt,你要切换一大堆
: 寄存器之类的,FP 的运行环境都要重新设立。
: C 也一样,不过 C 依赖的环境很接近硬件,很小
: 段汇编代码就可以进入 C 代码了。
: 你要是拿 FP 做这些就是找虐。

g****t
发帖数: 31659
7
C跟硬件的距离也是非常远的。
你现在觉得近是因为好几组人花了几十年做出来了,
你成体系的学过了。
但你如果看一个商用cpu的原生tool set.你会发现很多都是
很蠢的照本宣科。根据你的不同用途和目的,相比于
标准做法,
从机器指令到c code中间很多逻辑步续其实往往
有更合理实用的alternatives。
In a conclusion: 我认为FP很多方向作为
学术课题完全是非常非常合适和正当的。
往实用方向的话。主要困难就是我说的两个。
连universal lambda 都没有实用的,其他没法谈。
只能零敲碎打地优化FP的小部分实现。其实王垠
倒是懂一些这个的。

【在 S*A 的大作中提到】
: 基本没有可能,要搞 OS 这类的,FP 离硬件太远
: 不容易操作。Linux arch 下面有不少 assemblely
: 代码的。例如进来个 Interrupt,你要切换一大堆
: 寄存器之类的,FP 的运行环境都要重新设立。
: C 也一样,不过 C 依赖的环境很接近硬件,很小
: 段汇编代码就可以进入 C 代码了。
: 你要是拿 FP 做这些就是找虐。

h**********c
发帖数: 4120
8
Engineering my understanding, before full-scale descetion/test/experiment,
all is 'che dan'
g*****g
发帖数: 34805
9
成王败寇,成了再吹。

【在 c*******9 的大作中提到】
: “实践是检验真理的唯一标准” 又被政治书洗脑了吧。
: 比如爱迪生发明灯泡要实验10000次才成功的,按照DRY - Don't repeat yourself,第
: 9999次失败了是否早该进历史的垃圾桶?

c*******9
发帖数: 9032
10
成了就不用吹了。先在吹起来正是时机。

【在 g*****g 的大作中提到】
: 成王败寇,成了再吹。
相关主题
Scala有一点不好竟然有人鼓吹自动生成代码的?
why oo sucksGoLang, Scala, Swift, Rust 哪个能在2015有关键性的突破?
王垠水平见长functional programming lang里面 如果我说以後会大面积火的,还是lisp (clojure)
进入Programming版参与讨论
S*A
发帖数: 7142
11

别逗了。C type 是直接对应机器代码的 type 的。
C 直接生成机器码,中间没有什么另外的翻译。
C 可以直接嵌入汇编代码,你的 FP 可以吗?
C 可以直接管理汇编代码里面的地址,就是指针。
基本上没有比 C 更加接近汇编的高级语言了。
FP 没有指针的话很多底层的东西都没法直接干。
实际上没有免费的午餐。C 就是实践中证明更合理的了。
C 语言本身也在发展。到现在 C 已经很成熟了。

【在 g****t 的大作中提到】
: C跟硬件的距离也是非常远的。
: 你现在觉得近是因为好几组人花了几十年做出来了,
: 你成体系的学过了。
: 但你如果看一个商用cpu的原生tool set.你会发现很多都是
: 很蠢的照本宣科。根据你的不同用途和目的,相比于
: 标准做法,
: 从机器指令到c code中间很多逻辑步续其实往往
: 有更合理实用的alternatives。
: In a conclusion: 我认为FP很多方向作为
: 学术课题完全是非常非常合适和正当的。

g****t
发帖数: 31659
12
机器或者芯片不是只有通用cpu一种。你多了解点。

【在 S*A 的大作中提到】
:
: 别逗了。C type 是直接对应机器代码的 type 的。
: C 直接生成机器码,中间没有什么另外的翻译。
: C 可以直接嵌入汇编代码,你的 FP 可以吗?
: C 可以直接管理汇编代码里面的地址,就是指针。
: 基本上没有比 C 更加接近汇编的高级语言了。
: FP 没有指针的话很多底层的东西都没法直接干。
: 实际上没有免费的午餐。C 就是实践中证明更合理的了。
: C 语言本身也在发展。到现在 C 已经很成熟了。

g****t
发帖数: 31659
13
主要还是没有benefit
的爆点。不然我可以去找Apple,SS,GG,MS
等等的人谈。
一两年弄成全球
小趋势,完全有可能。问题是FP现在想吹都找不到点。
至少我找不到。

【在 c*******9 的大作中提到】
: 成了就不用吹了。先在吹起来正是时机。
S*A
发帖数: 7142
14
我知道以前 Lisp 有专门的硬件支持的机器。但是
仍然推广不起来。硬件的灵活性远远不及软件。
要硬件给软件擦灵活性的屁股基本上就是死路。
例子太多了。
Lisp 这种这么简单的 FP 都没法很好硬件支持
起来,其他复杂的 FP 就更加不用说了。
然后回到 Linux 上, FP 支持通用硬件 OS
不行的话,就不可能成为类似 Linux 那样的支持
众多硬件平台的 OS。
自己搞个 TOY OS 大概可以。

【在 g****t 的大作中提到】
: 机器或者芯片不是只有通用cpu一种。你多了解点。
c*******9
发帖数: 9032
15
其实java的兴起也不主要是有什么技术上benefit的爆点,更多的是因为它是反微软联
盟对抗微软垄断的利器(微软衰落一个原因是在.net用力过头了),所以得到ibm,
oracle
等大公司的支持,不想被微软fuck的小公司也跟着响应。FP不流行一个重要原因是大公
司还没有支持的动力。比如haskell没有大公司设立标准,库的兼容方面就比较混乱,
难以推广。另外好的IDE对推广也很重要(尽管一些大牛或老牛鄙视IDE),没有大公司
支持是办不到的。

【在 g****t 的大作中提到】
: 主要还是没有benefit
: 的爆点。不然我可以去找Apple,SS,GG,MS
: 等等的人谈。
: 一两年弄成全球
: 小趋势,完全有可能。问题是FP现在想吹都找不到点。
: 至少我找不到。

d****i
发帖数: 4809
16
你也不想想这么几十年来人家大大小小的公司为什么不支持FP, 人家公司可不是傻瓜,
人家要得是简单易懂易调试易维护的语言,换个人新人能立马顶上来的,你FP搞得那么
不必要的高深晦涩故弄玄虚,怎么会得公司喜欢。KISS(Keep It Simple and Stupid)
原则对于公司做项目是非常重要的一个原则。

【在 c*******9 的大作中提到】
: 其实java的兴起也不主要是有什么技术上benefit的爆点,更多的是因为它是反微软联
: 盟对抗微软垄断的利器(微软衰落一个原因是在.net用力过头了),所以得到ibm,
: oracle
: 等大公司的支持,不想被微软fuck的小公司也跟着响应。FP不流行一个重要原因是大公
: 司还没有支持的动力。比如haskell没有大公司设立标准,库的兼容方面就比较混乱,
: 难以推广。另外好的IDE对推广也很重要(尽管一些大牛或老牛鄙视IDE),没有大公司
: 支持是办不到的。

c*******9
发帖数: 9032
17
FP本身是为了易调试易维护的,尤其对有一定复杂度的问题,不存在故弄玄虚。早期不
流行是因为性能原因,以后这个越来越越不是问题了,类似java对C++。
如果学校一开始就教FP,马工也不会觉得太高深晦涩。
VB倒是典型的KISS(Keep It Simple and Stupid),也称霸一时,微软还用得着拼了老
命搞神马 .net,C#?

【在 d****i 的大作中提到】
: 你也不想想这么几十年来人家大大小小的公司为什么不支持FP, 人家公司可不是傻瓜,
: 人家要得是简单易懂易调试易维护的语言,换个人新人能立马顶上来的,你FP搞得那么
: 不必要的高深晦涩故弄玄虚,怎么会得公司喜欢。KISS(Keep It Simple and Stupid)
: 原则对于公司做项目是非常重要的一个原则。

g****t
发帖数: 31659
18
Java 便宜啊。这不是政治问题吧。
一年销售额一亿美元左右,全部open source tools,Java based
的企业数据服务公司应该颇有一些的。

【在 c*******9 的大作中提到】
: 其实java的兴起也不主要是有什么技术上benefit的爆点,更多的是因为它是反微软联
: 盟对抗微软垄断的利器(微软衰落一个原因是在.net用力过头了),所以得到ibm,
: oracle
: 等大公司的支持,不想被微软fuck的小公司也跟着响应。FP不流行一个重要原因是大公
: 司还没有支持的动力。比如haskell没有大公司设立标准,库的兼容方面就比较混乱,
: 难以推广。另外好的IDE对推广也很重要(尽管一些大牛或老牛鄙视IDE),没有大公司
: 支持是办不到的。

g****t
发帖数: 31659
19
现在流行的利润高的都是电池驱动设备。性能还是很重要的。
简单说,要让我找我们公司负责加州的sales吹FP,
那是没有东西可以吹的。人都不会给你安排去Apple, google的会议。

【在 c*******9 的大作中提到】
: FP本身是为了易调试易维护的,尤其对有一定复杂度的问题,不存在故弄玄虚。早期不
: 流行是因为性能原因,以后这个越来越越不是问题了,类似java对C++。
: 如果学校一开始就教FP,马工也不会觉得太高深晦涩。
: VB倒是典型的KISS(Keep It Simple and Stupid),也称霸一时,微软还用得着拼了老
: 命搞神马 .net,C#?

g****t
发帖数: 31659
20
现在流行的利润高的都是电池驱动设备。性能还是很重要的。
简单说,要让我找我们公司负责加州的sales吹FP,
那是没有东西可以吹的。人都不会给你安排去Apple, google的会议。

【在 c*******9 的大作中提到】
: FP本身是为了易调试易维护的,尤其对有一定复杂度的问题,不存在故弄玄虚。早期不
: 流行是因为性能原因,以后这个越来越越不是问题了,类似java对C++。
: 如果学校一开始就教FP,马工也不会觉得太高深晦涩。
: VB倒是典型的KISS(Keep It Simple and Stupid),也称霸一时,微软还用得着拼了老
: 命搞神马 .net,C#?

相关主题
求学习新语言的方法为什么说 lisp 是AI 的语言?
软件界流行向后不兼容-angularjs, swift关于FP
工具简单未必是好事-swift有一道著名面试题,问的就是怎么解停机问题
进入Programming版参与讨论
c*******9
发帖数: 9032
21
当年就是因为要对抗微软,才便宜吧,sun,ibm那个不想多赚点钱。open source 在
java兴起以前还没那么多。

【在 g****t 的大作中提到】
: Java 便宜啊。这不是政治问题吧。
: 一年销售额一亿美元左右,全部open source tools,Java based
: 的企业数据服务公司应该颇有一些的。

z****e
发帖数: 54598
22
妈蛋
你搞清楚手机和cloud的区别
人家讨论的是cloud,你大谈手机
还电池,你什么时候看到过cloud上在电能使用上跟你计较了?

【在 g****t 的大作中提到】
: 现在流行的利润高的都是电池驱动设备。性能还是很重要的。
: 简单说,要让我找我们公司负责加州的sales吹FP,
: 那是没有东西可以吹的。人都不会给你安排去Apple, google的会议。

z****e
发帖数: 54598
23
你就知道狐假虎威,装高大上
动不动就是apple,apple跟这里说的fp没半毛钱关系
你说apple的合作伙伴ibm还更靠近点,因为产品市场比较接近
你这幅秉性就跟你在math版一样
动不动就装,我看过数学某某某大牛的作品,你看过么?
赶紧去看看,结果人家点评你也没啥错的
就是一做应用题出生的工科生
喜欢卖弄,其实狗屁不通
你想做手机就做,没有人认为手机开发会用什么fp
你地,明白?

【在 g****t 的大作中提到】
: FP不知道为啥会在不必要的层面上争执这么久。
: 实际层面上,用用常识,可以明显看到两个问题
: 第一是硬件。lisp machine曾经有过。死了
: 第二图灵比丘奇哥德尔的计算模型往前走了一步本质的,
: 不是图灵机,是universal Turing machine.大致相当于现在的OS.
: 有人FP出来实际有用的衔接软硬件的universal Lambda machine吗?
: 从研究层面,就算只考虑软件研究方向,FP也是很有前途的。
: 第一,在现有universal Turing machine 架构上跑FP.
: 解决递归速度啥的往往是一类问题一篇论文这样的。谁能发明好的实用的
: 编译原理或者工具,能解决更大类别的问题。那肯定是有前途的。

g****t
发帖数: 31659
24
FP在手机上就不用了?javascript, swift没用?
就算是cloud。
你知道goog的布林是自己改的pc的电源么。
你见过goog的机器么。

【在 z****e 的大作中提到】
: 妈蛋
: 你搞清楚手机和cloud的区别
: 人家讨论的是cloud,你大谈手机
: 还电池,你什么时候看到过cloud上在电能使用上跟你计较了?

g****t
发帖数: 31659
25
我讲话的基础是我多年学习研究和工作的经历。
你还是琢磨你的job security去吧。

【在 z****e 的大作中提到】
: 你就知道狐假虎威,装高大上
: 动不动就是apple,apple跟这里说的fp没半毛钱关系
: 你说apple的合作伙伴ibm还更靠近点,因为产品市场比较接近
: 你这幅秉性就跟你在math版一样
: 动不动就装,我看过数学某某某大牛的作品,你看过么?
: 赶紧去看看,结果人家点评你也没啥错的
: 就是一做应用题出生的工科生
: 喜欢卖弄,其实狗屁不通
: 你想做手机就做,没有人认为手机开发会用什么fp
: 你地,明白?

z****e
发帖数: 54598
26
lol
没看到前面人家说是没事找事么?
这种level用什么fp?
swift这些更像是杂交品种
什么都有一点,但是并不确定地捆绑在某一个p上
而且也没有人很在乎swift用什么p
因为具体到每一个app都不会特别复杂
也不需要做得很大,否则机器根本吃不消
另外,用什么p跟google用什么机器有毛关系
google可以用,你让其他公司也用?你出钱吗?

【在 g****t 的大作中提到】
: FP在手机上就不用了?javascript, swift没用?
: 就算是cloud。
: 你知道goog的布林是自己改的pc的电源么。
: 你见过goog的机器么。

z****e
发帖数: 54598
27
没有错啊
符合你一个机械phd的身份
你出来指点软件和数学就是扯蛋了

【在 g****t 的大作中提到】
: 我讲话的基础是我多年学习研究和工作的经历。
: 你还是琢磨你的job security去吧。

g****t
发帖数: 31659
28
比你靠谱多了。你要真懂任何一门,也不至于混的现在这样。

【在 z****e 的大作中提到】
: 没有错啊
: 符合你一个机械phd的身份
: 你出来指点软件和数学就是扯蛋了

g****t
发帖数: 31659
29
Swift的fp是强value点。你个土鳖,这都没看懂。

【在 z****e 的大作中提到】
: lol
: 没看到前面人家说是没事找事么?
: 这种level用什么fp?
: swift这些更像是杂交品种
: 什么都有一点,但是并不确定地捆绑在某一个p上
: 而且也没有人很在乎swift用什么p
: 因为具体到每一个app都不会特别复杂
: 也不需要做得很大,否则机器根本吃不消
: 另外,用什么p跟google用什么机器有毛关系
: google可以用,你让其他公司也用?你出钱吗?

z****e
发帖数: 54598
30
lol
你混成啥样了?

【在 g****t 的大作中提到】
: 比你靠谱多了。你要真懂任何一门,也不至于混的现在这样。
相关主题
写Python 的苦恼之一:有人当c用,有人当bash用,有人当FP用。当然也有人当python用谁能用本科生就能理解的语言解释图灵机和拉姆达计算的区别
spark 为啥不用 java 写[bssd]计算机科学的自然律
王垠: 图灵的光环 (转载)粉FP的人是因为把电脑想象成图灵机了
进入Programming版参与讨论
g****t
发帖数: 31659
31
怎么说呢。当初MS做了决断,
依然绑定在自己的windows platform。而不是web browser。
这才有了IE前后端停滞。
我十几年前在上海市政府,采购就是找java相关的技术。
在当时MS后台技术不行。千万人的资料没有合适的解决办法方案
来处理。他们重点也不在那个方面。

【在 c*******9 的大作中提到】
: 当年就是因为要对抗微软,才便宜吧,sun,ibm那个不想多赚点钱。open source 在
: java兴起以前还没那么多。

g****t
发帖数: 31659
32
我老至少不用天天琢磨自己的job security.
07年的学术贴放今天也不过时。
看着你见天指点江山,又天天琢磨失业的屌丝样
我就想笑。
你也工作十多年了吧,岁数都是活在bbs上的?
难怪一门手艺都学不会。

【在 z****e 的大作中提到】
: lol
: 你混成啥样了?

z****e
发帖数: 54598
33
lol
不在乎么?
那你急着到处偷idea干哈呢?
你说这些无非想看看到底可行不可行
结果完全就是鸡同鸭讲
根本就是弄错了方向
没戏
不过我的确天天琢磨失业
为什么不?你说你不在乎失业
有人真信么?
不在乎怎样才能叫做不在乎呢?
还有你怎么知道07年的东西不过时呀?
过时了怎么办呀?

【在 g****t 的大作中提到】
: 我老至少不用天天琢磨自己的job security.
: 07年的学术贴放今天也不过时。
: 看着你见天指点江山,又天天琢磨失业的屌丝样
: 我就想笑。
: 你也工作十多年了吧,岁数都是活在bbs上的?
: 难怪一门手艺都学不会。

z****e
发帖数: 54598
34
看懂这个有鸟用
你做app时候谁关心这个
有病
你抓个ios dev来问问,看他知道不知道fp
估计丫反问你一句,啥是fp?

【在 g****t 的大作中提到】
: Swift的fp是强value点。你个土鳖,这都没看懂。
1 (共1页)
进入Programming版参与讨论
相关主题
关于FPFP并不比OO什么的更“高级”
有一道著名面试题,问的就是怎么解停机问题Scala有一点不好
写Python 的苦恼之一:有人当c用,有人当bash用,有人当FP用。当然也有人当python用why oo sucks
spark 为啥不用 java 写王垠水平见长
王垠: 图灵的光环 (转载)竟然有人鼓吹自动生成代码的?
谁能用本科生就能理解的语言解释图灵机和拉姆达计算的区别GoLang, Scala, Swift, Rust 哪个能在2015有关键性的突破?
[bssd]计算机科学的自然律functional programming lang里面 如果我说以後会大面积火的,还是lisp (clojure)
粉FP的人是因为把电脑想象成图灵机了求学习新语言的方法
相关话题的讨论汇总
话题: fp话题: 硬件话题: machine话题: universal话题: linux