码农们，工作中你门用函数编程语言吗, Erlang, Clojure, Haskell, Scalar, F# etc?

雪候鸟

mting 发表于 2013-11-24 20:08
主要是用来做大并发下的信息跟踪
我们的程序处理大并发事务
然后使用erlang纪录信息

并发的程序什么写的java,还是c++

雪候鸟

chinapope 发表于 2013-11-25 19:48
sicp是本好书。

其实，能把那本书做完，足以说明对函数编程理解已经到位，那是计算机的内功修行。

你是真用功啊，佩服你的精神，以后有算法方面东西先请教你

schlafgern

雪候鸟 发表于 2013-11-26 19:46
linkedin 我怎么不记得我有呢。我基本只是用xing啊

那估计就是xing，不过我基本不上xing了现在，主要用linkedin

感觉确实是clojure更优美，我自己也更喜欢clojure，毕竟是lisp的语法，不过我没找到很好的相关学习材料，或者项目来上手，如果你们有idea的话一定要在这里share一下啊，学新语言还是要找个东西做才行

chinapope

雪候鸟 发表于 2013-11-26 23:08
你是真用功啊，佩服你的精神，以后有算法方面东西先请教你

我也没有做完，还剩最后一章，太费时间了。不过挺开眼界的（我原来不是CS科班）

SICP 原是MIT本科必修课。

我是用DrRacket (IDE + Interpreter) 做练习题。

schlafgern

chinapope 发表于 2013-11-27 09:42
我也没有做完，还剩最后一章，太费时间了。不过挺开眼界的（我原来不是CS科班）

SICP 原是MIT本科必 ...

你把sicp的习题都做了？太厉害了，真用功，这真是蛮花时间的，虽然收获肯定很多，但是我一直没能坚持下来，太佩服了，我就勉强坚持把online course跟了下来，随便看了看练习-，-，还是内心不够沉静

chinapope

schlafgern 发表于 2013-11-27 10:30
你把sicp的习题都做了？太厉害了，真用功，这真是蛮花时间的，虽然收获肯定很多，但是我一直没能坚持下 ...

网上有部分答案。

有些问题，要换脑筋，才好解决，代码量都不大，就是靠纯抽象思维。

雪候鸟

chinapope 发表于 2013-11-27 09:42
我也没有做完，还剩最后一章，太费时间了。不过挺开眼界的（我原来不是CS科班）

SICP 原是MIT本科必 ...

你面试google没，你这样的千万别去做什么erp开发，去了你就废了，至少要做偏科研的。

sbtree

雪候鸟 发表于 2013-11-26 19:53
如果构建在java的虚拟机上，并发能力还能超过java很多吗，以前搜索过，据说scala在并发这块只是对java co ...

为什么说面向对象和并发是敌对的？我觉得这两个是不同集合中的概念，为什么会有冲突？

schlafgern

sbtree 发表于 2013-11-27 23:18
为什么说面向对象和并发是敌对的？我觉得这两个是不同集合中的概念，为什么会有冲突？

大概是因为 1) 对象本身是有状态的，可变的; 2) 对象模型应该是可share的;

所以一般的面向object抽象出来的模型和流程都对并行和不友好，迫使流程要额外加锁;

而fp里面，用fp的基本思想抽象出来的模型和流程，基本单元不可变的，而且每个的状态(包括中间变量)是用function本身递归来描述的(可以用流程来理解)，不再是用内存变量，他们在不同的context下展开都不一样(closure)，所以就算share了也没关系，interpreter保证了他们的独立性，所以比较适合并行运算

不过fp的抽象过程还是挺那个的，感觉不如oo的抽象过程更自然，fp的建模太抽象了，基本就是数学建模的过程，符号化和抽象化要求蛮高的，挺需要练习和经验的我觉得

schlafgern

schlafgern 发表于 2013-11-28 12:24
大概是因为 1) 对象本身是有状态的，可变的; 2) 对象模型应该是可share的;

所以一般的面向object抽 ...

说的复杂了，简单来说就是

如果你用了恰当的fp方式来对并行问题建模，那么fp语言本身的interpreter就保证了并行正确性，就像c++语言里面你写的程序符合语法和语义逻辑，compiler保证转化出来的assemble代码的正确性一样