@nasmatic 原来如此。。。我还以为是一样的呢

@Smash 我记得没错的话，你去过后有记录，在半年内，可以直接通过网上免税店买，然后会寄给你

难道你们练习时长两年半的 go 程序员看到一个“泛型”就已经大脑缺氧、理解困难了吗？难道中学数学没学过全称量词？

@paradoxs 那不行，Apple 爸爸为咱做了这么多，多抽点算什么是不是，人还是得有一颗感恩的心，100%不过分，实在不行，200%，咱一边开发软件一边捐钱，卖的越多捐的越多，守护最好的 Apple 爸爸。

@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 的博士再来大放厥词

不适合，别搞。