bambus2
发表于 2013-11-29 03:32
bambus2
发表于 2013-11-29 03:35
schlafgern
发表于 2013-11-29 13:23
看来大家没啥热情讨论啊，我这白打这么多字了
sbtree
发表于 2013-11-29 21:36
schlafgern 发表于 2013-11-29 13:23
看来大家没啥热情讨论啊，我这白打这么多字了
别，你的字没白打，我都看了
随着计算机高级语言的进展，很多细节都被一层一层地封装了，所以以后的发展就只剩数学的逻辑部分需要人工操作了，编程也就慢慢变成了解数学应用题一样，利用公式和解题逻辑，创建符号方程组，求解的细节计算机自动完成。
如果有一天，机器智能能跟人的智能相媲美的时候，机器就可以自己完成编程任务了，那时候连最后的数学逻辑部分都不用人工参与了。结果，我们都失业了，呵呵，不过我们可能活不到那个时候
sbtree
发表于 2013-11-29 21:52
schlafgern 发表于 2013-11-28 12:24
大概是因为 1) 对象本身是有状态的，可变的; 2) 对象模型应该是可share的;
所以一般的面向object抽 ...
所有的非原子操作都要解决并发产生的冲突问题，从这一点出发，并发运算跟根对象模型应该没有什么关系，有关系的只是从模型到计算机的目标代码的转化过程中，人参与了哪一部分。把人参与的部分最小化，自然要求机器做最大化的工作，函数编程语言就是做了这样的进一步工作，未来的语言还会做更进一步的事情，但是依然是向人工参与的部分极小化方向发展。个人理解，偏颇之处，请多指教。
bambus2
发表于 2013-11-30 01:46
bambus2
发表于 2013-11-30 01:50
schlafgern
发表于 2013-11-30 11:19
sbtree 发表于 2013-11-29 21:36
别，你的字没白打，我都看了
随着计算机高级语言的进展，很多细节都被一层一层地封装了，所以以后的发展 ...
我个人对人工智能的看法，是根本没戏，或者目前的计算机整个系统理论压根就不可能实现真正的智能，整个计算机的存储模型，和计算方式就决定了不可能计算机能像人那样解决问题
现在人工智能只能说是数据智能，统计智能，智能的算法的一个重要前提是问题本身可以抽象化和符号化，但不是所有问题都可以很好的符号化的
schlafgern
发表于 2013-11-30 11:24
sbtree 发表于 2013-11-29 21:52
所有的非原子操作都要解决并发产生的冲突问题，从这一点出发，并发运算跟根对象模型应该没有什么关系，有 ...
fp的一个重要特征就是没有或者极少的用变量来表示状态，你可以想象一下如果你的java程序里面的对象都是不可变的，那么你当然就不用加锁了，是吧
但是实际问题是，对象状态需要变化，fp就把变化本身抽象了出来，而不是基于对象来建模，而是某种意义上说是基于某种特征(category)来抽象
再多我也很难说的很清楚了，我自己也功力不够，实际经验仅仅处于用fp写toy的阶段，最近clojure，storm好像挺nb的，可以推荐大家看看
bambus2
发表于 2013-11-30 16:07