乐观锁的简单实现 基于线程和共享内存的并发模型向来都是难于编写，难于调试的。但是在 Web 应用里它又是如此常见，因此仍旧有必要去做深入了解。更现代的并发模型（Actor，Channel，函数式，STM……）要学，线程和锁的并发模型也要学，这才称得上是健全！ 2021-12-10 并发
《七周七语言》笔记——Ruby 不会有第二篇了，认真去学 Scala，将来若有需要可能回去碰碰 Rust 和 Scheme/Racket。 —— 2021-12-27 开始认真看《七周七语言》这书，主要目的是了解下各个编程范式在实践上的一些具体差别，同时了解一下各种语言的骚操作，如 Ruby 的模板元编程，scala 的 Actor，erlang 的……快速失败？Io 的基于原型的面向对象编程……总之按照书中的顺序 2021-12-07 Ruby
【翻译】Working with type in a context 发现《Get Programming with Haskell》这本书中对 Functor，Applicative，Monad 的概念的引入非常直观有趣，在这里进行一波翻译。我是 Haskell 初学者，且英语水平也不高，所以难免拉垮，望读者海涵并给予意见。文章最后粘贴了英文原文的图片。 在文章中，我将 type 翻译作类型，type class 翻译作类型类，但作者有时会把 Maybe，IO 2021-10-25 FP