If you say that a is 5, you can't say it's something else l - 未名空间MITBBS历史存档

国际科技财经博客移民网络热点娱乐民生时事公众号

Redian新闻

>未名空间

>Programming - 葵花宝典

If you say that a is 5, you can't say it's something else l

If you say that a is 5, you can't say it's something else l# Programming - 葵花宝典

l*y2015-02-13 08:02

1 楼

If you say that a is 5, you can't say it's something else later because you
just said it was 5. What are you, some kind of liar?

l*y2015-02-13 08:02

2 楼

这才叫符合人类认知本能。

you

【在 l*y 的大作中提到】

: If you say that a is 5, you can't say it's something else later because you
: just said it was 5. What are you, some kind of liar?

b*g2015-02-13 08:02

3 楼

神经错乱了？都was, is了，还不能不一样？

【在 l*y 的大作中提到】

: 这才叫符合人类认知本能。
:
: you

b*t2015-02-13 08:02

4 楼

你一岁的时候一个人
两岁的时候变两个人
三岁三人
四岁四人
五岁五人
。
。
。
。
这。。。。

f*x2015-02-13 08:02

5 楼

每一刻旧的你消失，新的你诞生，逻辑上完全没问题。

z*e2015-02-13 08:02

6 楼

耶稣基督啊，死而复生

【在 f******x 的大作中提到】

: 每一刻旧的你消失，新的你诞生，逻辑上完全没问题。

b*t2015-02-13 08:02

7 楼

没必要把FP提高到信仰
什么叫逻辑上没问题？不能证伪的都叫逻辑上没问题？
那我说前一秒你的灵魂在猪身上，后一秒才转移到人身上来发帖，反正旧的消失，新的
诞生，没准下一秒你又是什么动物了
行不？

【在 f******x 的大作中提到】

: 每一刻旧的你消失，新的你诞生，逻辑上完全没问题。

q*c2015-02-13 08:02

8 楼

实际是不同的 scope hold 不同的你的 instance, 美其名曰 immutability, 其实就是
神经分裂，呵呵

【在 f******x 的大作中提到】

: 每一刻旧的你消失，新的你诞生，逻辑上完全没问题。

f*x2015-02-13 08:02

9 楼

就事论事，讲话不要带脏字，可不可以？
量子力学里的多世界解释就是整个宇宙不断的分裂，所有可能发生的事都会在某个世界
发生。这个解释在最根本的层面完全自洽，完备。

【在 b*****t 的大作中提到】

: 没必要把FP提高到信仰
: 什么叫逻辑上没问题？不能证伪的都叫逻辑上没问题？
: 那我说前一秒你的灵魂在猪身上，后一秒才转移到人身上来发帖，反正旧的消失，新的
: 诞生，没准下一秒你又是什么动物了
: 行不？

z*e2015-02-13 08:02

10 楼

可能性带来不确定性
所以不同世界会有不同的常量
其本质就是一变量
更糟糕的是，平行世界里的每一个instance居然还有不一样的value
这个在fp中是不可接受的，因为这个直接导致函数的不确定性
产出不一样，此乃fp之大忌，这个都没学到的话
fp还是回炉重造吧

【在 f******x 的大作中提到】

: 就事论事，讲话不要带脏字，可不可以？
: 量子力学里的多世界解释就是整个宇宙不断的分裂，所有可能发生的事都会在某个世界
: 发生。这个解释在最根本的层面完全自洽，完备。

f*x2015-02-13 08:02

11 楼

描述平行量子世界，需要量子计算机，现在的FP当然不行，现在的IP同样不行。但只是
描述你所观察到的这一个世界，FP没问题，当然IP也行。但FP的描述更简单。但有朝一
日量子计算成为现实，FP肯定更适合。量子计算机不会支持你所理解的随时可读写的变
量，因为一旦读取量子状态，量子耦合就消失了。读都不可以，你怎么给别的变量赋值
？所以在量子计算机的实现上，最可能是一种functional的style。虽然我不知道这个
值是多少，但我还是可以用它来call function，得到另外一个不能读的值，只有在计
算的最后一步，把最终结果读出。
另外，不要老是把function argument substitution和变量混为一谈。数学物理里的理
论基本是functional,有这样的条件，就得到这样的结果，并没有IP程序员所理解的变
量的存在。数学物理里的变量，是多指一种普适的集合，如所有的real number都合适
等等，不是程序员理解的可以不断改变自身状态的量。所以程序里的能赋值的变量不是
必需的（IO除外），因为从理论到实践都没有它存在的必要。当然不否认IP一般情况下
，效率更高，但这是实际中具体的考量，并不能一概而论。

【在 z****e 的大作中提到】

: 可能性带来不确定性
: 所以不同世界会有不同的常量
: 其本质就是一变量
: 更糟糕的是，平行世界里的每一个instance居然还有不一样的value
: 这个在fp中是不可接受的，因为这个直接导致函数的不确定性
: 产出不一样，此乃fp之大忌，这个都没学到的话
: fp还是回炉重造吧

z*e2015-02-13 08:02

12 楼

数学物理！＝cs，更不＝数学，这里为啥突然乱入了一个数学物理？
妈蛋，学物理的又来秀智商
programming最终目的是为了摆脱物理条件的束缚，发挥人的创造力
想创造什么就创造什么，魔法都可以创造出来，在计算机的世界中
为什么不？所以我没事描述量子做什么？
我为什么不可以用变量来描述人？
明明人家说的是人，你大谈量子，这不有病么？
谁跟你说物理？另外你的理论一看就是纯粹物理上的思考
不把人当人，在你眼里是不是人就是一坨肉而已？跟路边腐烂的猪肉没啥两样
只不过分子组成略微有所不同，猪肉氧化了而已？
这个问题不应该问物理系的，应该问生物系的，你也不懂

【在 f******x 的大作中提到】

: 描述平行量子世界，需要量子计算机，现在的FP当然不行，现在的IP同样不行。但只是
: 描述你所观察到的这一个世界，FP没问题，当然IP也行。但FP的描述更简单。但有朝一
: 日量子计算成为现实，FP肯定更适合。量子计算机不会支持你所理解的随时可读写的变
: 量，因为一旦读取量子状态，量子耦合就消失了。读都不可以，你怎么给别的变量赋值
: ？所以在量子计算机的实现上，最可能是一种functional的style。虽然我不知道这个
: 值是多少，但我还是可以用它来call function，得到另外一个不能读的值，只有在计
: 算的最后一步，把最终结果读出。
: 另外，不要老是把function argument substitution和变量混为一谈。数学物理里的理
: 论基本是functional,有这样的条件，就得到这样的结果，并没有IP程序员所理解的变
: 量的存在。数学物理里的变量，是多指一种普适的集合，如所有的real number都合适

f*x2015-02-13 08:02

13 楼

不是我先扯到物理上的，是另有某人说物理就是有变量的OOP，作为一个physicist，我
觉得有必要来澄清而已。

z*e2015-02-13 08:02

14 楼

搞笑了
量子力学谁说的？
往上翻翻看看

【在 f******x 的大作中提到】

: 不是我先扯到物理上的，是另有某人说物理就是有变量的OOP，作为一个physicist，我
: 觉得有必要来澄清而已。

z*e2015-02-13 08:02

15 楼

我觉得var也就是mutable的最大好处就是可以用来描述人
而人的延续性是尚未得到考证的，谁也不知道生命到底是怎么回事
延续性是否存在，也不知道，但是姑且就当它存在吧
多便于理解啊，因为古时候人类还没发明科学的时候
对自然环境完全未知的时候，就认为人有灵魂，那说明人比较容易适应这么一个东西
为了把计算机造成skynet，很有必要赋予其灵魂的存在
这才是skynet之父应该具有的思维方式
否则怎么造出终结者来屠杀人类呀？
所谓ai难道不就是让电脑像人一样为最终目的？

f*x2015-02-13 08:02

16 楼

不在这个thread上罢了。你翻翻别的thread，不只一位试图用数学物理来argue IP里赋
值变量存在的必要，这种argument不光offend computer scientist, 还offend
Physicist and Mathematician.

【在 z****e 的大作中提到】

: 搞笑了
: 量子力学谁说的？
: 往上翻翻看看

z*e2015-02-13 08:02

17 楼

这offend个p啊
cs又不是宗教
programming就是随便蹂躏的东西
这里讨论的是pros&cons
不是worship什么东西
没有什么禁忌可言
只要你明白你在做啥，别人也不可能阻止你操作
唯一能做的就是告诉你可能的后果，你不听，那谁有办法
你一搞物理的怎么跟绿教徒一样容易被offended？
话说，你搞物理的也用oop？还design pattern?
真的？我好像没听说过有这种搞法的
话说你用dp用到吐是咋回事？
我怀疑你在胡说
其次，量子力学我不懂，但是平行世界是否真实存在
这还没有被证实吧？等证明了再来说吧
最后，就算量子力学证明了平行世界
那是不是意味着编程需要先把平行世界理解了之后再来写程序呢？
你大概估算一下学会量子力学看懂平行世界存在的证明需要多久时间吧
5年够不够？每个人都先学5年量子力学再开始编程？

【在 f******x 的大作中提到】

: 不在这个thread上罢了。你翻翻别的thread，不只一位试图用数学物理来argue IP里赋
: 值变量存在的必要，这种argument不光offend computer scientist, 还offend
: Physicist and Mathematician.

f*x2015-02-13 08:02

18 楼

你以为physicists就只搞物理，而且永远搞物理? 可见你崇拜的变量连你自己都没法正
确理解运用。你最本能直观的反应还是认为人是不变的常量。

z*e2015-02-13 08:02

19 楼

因为bbs上提供的都是information
是破碎的信息片，组合起来能够推测出来的有限
但是人的存在具有连续性
你愿意让你的全部信息都暴露给我，我也不反对啊
我说了，我只是怀疑你在撒谎，推测有一定的精确度
未必都对，但是你说得越多，我就知道得越多，我现在记忆力处于我出生以来的巅峰状态
所以你尽管继续说，说得越多，我知道的就越多，慢慢你的全部就会浮现出来
撒谎最糟糕的一个坏处就是为了圆谎，你需要不停滴撒谎
迟早你会露出马脚的，你说你转行过？
那好啊，你用的是什么oop语言啊？java吗？
都用了什么patterns啊，在什么场景中？说来听听呀

【在 f******x 的大作中提到】

: 你以为physicists就只搞物理，而且永远搞物理? 可见你崇拜的变量连你自己都没法正
: 确理解运用。你最本能直观的反应还是认为人是不变的常量。

f*x2015-02-13 08:02

20 楼

zhaoce同学，把你自己这套用在自己身上，我们看看你：1.疑心重，无理由怀疑别人撒
谎，2.计较，要时时刻刻留意别人话里的漏洞，要揪别人的马脚。3.对和你意见不同的
人有超强的兴趣，要调查别人的背景，这是要搞论坛暴力吗？
你说我得推论你生存成长的环境有多险恶，才造成这种做派？同情一下。

b*g2015-02-13 08:02

21 楼

别整啥高大上的量子物理了。我老问的是常识，中学物理。就问了俩问题，有没有描述
物体速度可变，描述的时候是不是连时间轴都没提？谁管你自洽不自洽呀。符合人类常
识的建模方式就容易理解而已。谁否认FP数学上自洽了吗？

【在 f******x 的大作中提到】

f*x2015-02-13 08:02

22 楼

你推你的IP没问题，只是不要用物理作依据，如有你一定喜欢用物理作论据，也请不要
用一知半解的中学物理。如果你IP语言最基本的赋值特性只能用一知半解的中学物理做
依据，只怕你是IP高级黑吧？

b*g2015-02-13 08:02

23 楼

操，没话说又回到装高大上的老路了？我老才不关心物理不物理，只不过中学物理是符
合人类常识的明证而已。量子物理本来就不是普通人需要学的。你可以说 FP自洽，却
没法否认不符合常识。就这么简单的道理死活不认。

【在 f******x 的大作中提到】

: 你推你的IP没问题，只是不要用物理作依据，如有你一定喜欢用物理作论据，也请不要
: 用一知半解的中学物理。如果你IP语言最基本的赋值特性只能用一知半解的中学物理做
: 依据，只怕你是IP高级黑吧？

f*x2015-02-13 08:02

24 楼

局限在常识里，就没办法进步了。当年禁止goto不也有大批程序员反对？goto不也符合
你所谓的常识？中学物理的常识里，物体难道不是可以移动（goto）的？硬件上也很直
观，不就是直接设置PC吗？goto的效率也高，比call函数快吧。现在怎样了？
还有，当年的Cobol，不也是想设计成一种接近English和普通人思路的语言吗？结果呢？
这样的例子还有很多，全局变量不也很直观，很符合中学物理和普通人的理解吧？
所以你所谓的常识靠不住，只靠普通人的常识设计计算语言是disaster,

d*i2015-02-13 08:02

25 楼

What you said is completely untrue. goto is still used in Linux kernel
programming and a lot of embedded system programming. It all depends on the
use case and particular situation. You can even see some asm code
interleaved with C code in many MCU code.

【在 f******x 的大作中提到】

: 局限在常识里，就没办法进步了。当年禁止goto不也有大批程序员反对？goto不也符合
: 你所谓的常识？中学物理的常识里，物体难道不是可以移动（goto）的？硬件上也很直
: 观，不就是直接设置PC吗？goto的效率也高，比call函数快吧。现在怎样了？
: 还有，当年的Cobol，不也是想设计成一种接近English和普通人思路的语言吗？结果呢？
: 这样的例子还有很多，全局变量不也很直观，很符合中学物理和普通人的理解吧？
: 所以你所谓的常识靠不住，只靠普通人的常识设计计算语言是disaster,

f*x2015-02-13 08:02

26 楼

我不否认goto特殊情况下有用，但现在做为general programming的construct, goto已
经基本边缘化了吧？大多modern语言已经不support goto了，

the

【在 d****i 的大作中提到】

: What you said is completely untrue. goto is still used in Linux kernel
: programming and a lot of embedded system programming. It all depends on the
: use case and particular situation. You can even see some asm code
: interleaved with C code in many MCU code.

b*g2015-02-13 08:02

27 楼

break 就是 goto

【在 f******x 的大作中提到】

: 我不否认goto特殊情况下有用，但现在做为general programming的construct, goto已
: 经基本边缘化了吧？大多modern语言已经不support goto了，
:
: the

z*e2015-02-13 08:02

28 楼

nononono
你故意隐藏自身信息，我一开始可是很相信你的
但是自从你说了你是 physicist 后，我就不相信你了
你看古德霸说自己是physicist了吗？
没有嘛，因为我觉得物理这行，跟软件这行
跨度还是有点大的，所以当疑点出现之后，自然会追问下去
rule out骗子是对于任何information都很有必要做的一件事
计较？那当然，推理是有因果关系的
你的理由就错了，论据就错了，结论当然无法让人信服
所以这会揪着你不放，你居然说这是论坛暴力？
我可不这么认为，这是合情合理的猜测，怎么？问你做没做过，就成暴力了？
笑了，怕是你根本就是假的出来骗人吧

【在 f******x 的大作中提到】

: zhaoce同学，把你自己这套用在自己身上，我们看看你：1.疑心重，无理由怀疑别人撒
: 谎，2.计较，要时时刻刻留意别人话里的漏洞，要揪别人的马脚。3.对和你意见不同的
: 人有超强的兴趣，要调查别人的背景，这是要搞论坛暴力吗？
: 你说我得推论你生存成长的环境有多险恶，才造成这种做派？同情一下。

z*e2015-02-13 08:02

29 楼

你的fp学得一塌糊涂
早说了，fp不是不可以mutable
所有的fp language都可以设置mutable var
不可以mutable是我故意用来坑你们的
不懂的人就不要装了，装啥呀
那个alaine不是写了吗？第一段就写得很清楚了

呢？

【在 f******x 的大作中提到】

q*c2015-02-13 08:02

30 楼

"量子力学里的多世界解释" -- 干嘛要举例这个连物理学里面都是小众的完全假设学
说？
更简单的多的多的牛顿力学等等不是方便的多的多？呃，不好意思，牛顿力学等等
描述和
一般人生活经验完全吻合的物理学，里面充满了 OOP。。。。这个例子你就不喜欢了
；）

【在 f******x 的大作中提到】