一个在 OSX 环境下下通过 IP 访问 Docker 容器的解决方案 不建议使用这种方式，它实现起来不算方便，且实现后还需要配置终端的代理设置，在这里推荐我写（抄）的项目，虽然需要在本机安装额外的依赖，但是配置完后就基本无感知了！ 如果是 VSCode 或 JetBrain 家的 IDE，也可以将项目部署到 container 内。 MacOS（以及 Windows）上的 Docker 由于实现方式的原因，在网络配置上有许多限制，最麻烦的地方是无法通过容器的 IP 2022-02-01 环境搭建
一种方便理解折叠（fold）操作的方法 虽然之前对折叠操作进行过一些了解，但是仍然对其不甚熟悉，没法立刻写出定义，最近突然发现一种能方便理解折叠操作的方法，这里对其进行一些记录，使用 js 来进行描述。 2022-01-30 FP
设计模式和函数式编程——策略模式 半年没有学习设计模式了，这半年以来主要做的框架开发工作，也算是有一些实践经验（虽然远远不够），同时也是了解了很多函数式编程的概念，写的代码里状态越来越少，代码风格越来越声明式（好久没写过原生的 for 和 while 了 hhh），也开始觉得一些设计模式变得臃肿起来了。现在继续回来学习设计模式，顺便看看它们结合函数式编程中的概念会对样板代码有如何的简化。 2022-01-07 设计模式 FP
乐观锁的简单实现 基于线程和共享内存的并发模型向来都是难于编写，难于调试的。但是在 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