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 的大作中提到】
: 成王败寇，成了再吹。
|
|
|
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#？
|
|
|
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 的大作中提到】
: 比你靠谱多了。你要真懂任何一门，也不至于混的现在这样。
|
|
|
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点。你个土鳖，这都没看懂。
|
