这个贴好有激励人的感觉，感觉赚钱向各位看齐

@wog 语法错误事小，说不定他是在写伪代码呢

@kafka0102 你这个是手工添加的吗，咱们的阅读重复度很高啊

@zinking 线性空间我就记得矩阵了，矩阵是描述线性空间运动的极好工具，其他的都忘了。不过听你这么一说，好像有点印象

@hhkbp2 "clojure里面有一整套的persistent data structure" 这个第一次听说，有相关资料看吗，最好入门级的

@hhkbp2 我理解的并发核心应该是现有使用共享状态来进行多线程通信时导致的锁争用、线程等待这些问题，erlang通过消息传递和变量不可变解决了这个问题，但是又引进了另外的问题

@hhkbp2 你说的函数式数据结构和算法是指将传统数据结构如：树、队列等这些用函数式来实现吗？我觉得Toplanguage组里有个liuxinyu前辈用haskell做了一些研究。不知道你指的是不是那个，另外，你说的值语义是什么？

erlang在大并发时代的优势应该是它的actor模型和轻量级线程、热部署等特性。但是这些好像我无法将他们与值语义联系起来。不过听说热部署特性在函数式中比在命令式语言中较容易实现

@jiyinyiyong 之所以说大多数，是因为我不敢确定其他的语言是什么情况。"式"的确打错了，应该是"是"。如果函数式的重点是，函数像值一样传递的，那么内涵是不是太少了点

@hhkbp2 我想起应该可以用丘奇运算(或者叫lambda运算？)来表示出处吧，在丘奇的体系中，0和1也是函数，而不是变量。

@simpx 嗯，不纠结，只是闲来给自己点思考的东西。不过还是谢谢这位同样"过来的少年"，继续写代码去，另外发现scala这货挺适合拿来玩的

@flypiggy 是的，我也就是这个意思，变量不过是表现的像个变量，其实是个无参函数。但是这句话没有说清我那个疑问啊

@NemoAlex 出处找不到了，记得是看haskell还是lisp提到的

@jjgod 可是为什么记事本也可以保存为GBK编码，且不出现乱码

@hhkbp2 关键erlang不是说天生是分布式的、并行的吗？既然是分布式的，全局一致性是少不了的

@fx 嗯，我这里主要想讨论如何保证，多个Actor如何保证全局一致性，即要么一起成功，要么一起失败。换句话说，你能通过消息传递来达到吗？但是我只要模拟一下就会发现这是个难题

说的这么多，能不能一句话介绍一下

另外，看着挺感兴趣的，希望可以深入了解下

ucOS

再列举一些工作中用的吧，也算给他们做个宣传了
graphviz
lvs
wps