@paradoxs 60%是不是有点少，这样吧我提议 Apple 抽 100%，大家共建美好未来，我鼎力支持

在游戏节点，说自己不知道 B 社难道不是暴露自己的无知么，咋还自豪起来了。

@damngood 你说你觉得满意没问题，毕竟人嘛自己自己看着舒服最重要，但它哪里称得上“另类”？这玩意儿除了突出一个简单无脑，我看不出有另类的地方，拿 product type 来表现天然 union 结构的东西，如果这也算是 good taste 的话。。。

这东西就属于 taste 的问题，而 taste 的问题往往是因为见的少，大多数情况下，我不相信一个写习惯 Haskell （还有其他抽象程度足够高的语言）的人，会对 Go 的错误处理感到满意。

@bugmakerxs 我当初是看《数据库系统概念》，这本书的毛病是内容太多，你可以选择性地跳过，看感兴趣的内容，比如事务部分

在读所谓 MySQL 内幕的书之前，最好先读偏数据库原理的书，不然对很多东西的理解会有问题的，关于你的问题，实际上 undo 是可以没有的（比如 pg ），你要明白 log 机制本质上是保存 history，保存完整的 history 就可以正确 recover 。

@figael 什么叫分布式事务没有强一致性，不懂不要误导别人。

提供给楼主思路：好好去看书刷论文比问一些自己都一知半解就自信满满回答的人要实在的多。

比如你的问题，这样的实现是“强一致”（这里用线性一致的概念来解释）的吗？不是。因为随便都可以构造出一个不符合线性一致性的 history，首先你肯定不理解强一致性这种概念，知道问题的答案又有什么意义呢，比起这些答案，如果又不想正经去学习，最简单的方法直接从业务上去考量，抛弃这些概念。

1. 动态类型和静态类型很好区分，主要是看类型检查的时间是否在运行之前进行。

2. 然后根据语言的 specification 来判断是否是动态类型，比如 Python 通常允许不进行类型检查就执行，那么通常说它就是动态类型语言。另外如果你总是使用 mypy 在 Python 做类型检查，那么你说你用的 Python 是静态类型也没问题。

3. 不用使用强、弱类型这个概念，因为就连学术上也没个标准的说法，这不怪谁，PL 在术语标准化方面做的不是很好。

4. 楼上说 Python 是强类型 /弱类型什么的，几乎都是道听途说，不要信。

@szzhiyang 你没理解我的话，我全文都没提过泛型，参数多态只是一个很基础的东西而已，我说的是设计，go 的很多设计是反 FP 的，就算支持泛型也没办法改变，你要不信你可以去玩玩，如果你觉得还不错，那我只能认为你没怎么写过 FP 代码。

@szzhiyang 不要看它支持 first-class function 就说它很“FP”，它支持这个是因为这是一个很基础、有用且重要的 feature 罢了，在 go 的设计里，很多都是反 FP 的理念和设计的，你不信的话你把主流 FP 语言（ ML 、Haskell 、Scheme ）一些常见的代码试图用 go 来实现你就知道了，主流的 FP 语言都会很强调可组合性，能这么做的前提是要么有灵活的动态类型系统、要么有强大的静态类型系统，go 的静态类型系统太弱鸡了，实现起来很费劲，比如 filter/map/fold 等等（这些只是小例子，很有很多更复杂的）在 FP 很容易实现，在 go 里就很鸡毛，“gopher”们会告诉你 for 一把梭，另外比如像
@reus 会告诉用 reflect，然而 reflect 是金手指两面刀肥猪拱墙，本质就是用动态类型的方式解决弱鸡的静态类型系统。

总而言之，不合适，不搭，别搞。

要玩 FP 就老老实实在主流 FP 里玩，小清新就玩 Scheme 、要血统就玩 SML 、要逼格玩 Haskell 、要振兴 type theory 就玩 Coq/Agda 。

@zhuangzhuang1988 大哥你要不要搞个 PL 的博士再来大放厥词

不适合，别搞。

@zhch602 不是所有的语言递归都会 stack overflow，也不是所有的递归就会比等价的循环效率低，在靠谱一点的编译器都会做分析优化，比如尾递归就会直接优化，不会重复 push 到栈中。再说了，不能用尾递归解决的问题都依赖上下文，用循环实现还需要自己手动模拟栈，直接用递归反而简单。

楼主没把具体型号说清楚，ThinkPad 是那个 ThinkPad，楼上说 ThinkPad 屏幕垃圾的，拿顶配 x1c 4K 屏来比啊，起码得配的上容易级别的价格吧，拿低端 ThinkPad 那种垃圾货比有什么意思

这不是只狼发售时，和著名神贴「宫崎英高就此跌落神探」一模一样的腔调么，笑了

去实现一个 language server，实现 protocol 里面 json rpc 接口就行了，不用关心编辑器的事情，具体的还是看 language server protocol 的文档吧

平胸而论，用 scheme 教学是要比 Haskell 好的，scheme 简单可以把精力放到课程里，Haskell 很容易被带歪。

如果只是入门的话，建议多写代码练习，慢慢积累感觉，不要被楼上带到范畴论的坑里了，一开始很多人会头疼的 Functor/Applicative/Monad，你并不需要知道他们在范畴论中的确切意义，一开始只需要把它们当作普通常用的 type class 就行了。

还有如果学过 C/C++，最好不要带入 C/C++的经验，因为有些东西看起来有点像，其实完全不一样。

最后我觉得开 Haskell 课的老师一般水平都很好，跟着课程走就好，这个论坛说实话，有水平能讨论 PL 的人少之又少。

就，没好电影可以看了么，这种片免不免费都没啥值得关注的吧