OCaml 中的受保护方法：用类型相等见证编码实现
OCaml 不支持语法层面的"受保护方法"，但可以用 GADT 的类型相等见证（eq + Refl）来编码实现。文章从 Java/Kotlin 的对比切入，展示了如何在 OCaml 中为特定方法添加接收者类型约束，并给出了 flatten 和 sum 两个完整实现。Gabriel Scherer 的 OOP/FP 对称性演讲是这一概念的来源。 
评论
点赞
收藏Emacs是如何被我选中的（我的个人历史）
作者回顾了自己从使用Word写代码到最终爱上Emacs的个人经历。文章不仅讲述了编辑器选择的演变，还穿插了对多种编程语言（如OCaml、Erlang）的探索历程。作为一位维护OCaml编辑器支持的专业开发者，作者分享了Emacs在跨语言支持和Windows兼容性上的优势，以及自己为何在尝试过众多IDE后依然回归Emacs的心路历程。这是一篇带有强烈个人色彩和技术背景的开发工具选择回忆录。
Emacs是如何开始的（我的个人经历）
自大约2008年起，我（不太）擅长使用Emacs。 在这篇简短的文章中，我将尝试向大家介绍那条混乱的路径——正是这条路径引领我选择了Emacs作为我的主要文本和代码编辑器。 这绝不是一篇教学文章，而只是我个人经历中的一小段故事，因为描述那些看似笨拙、 却在我看来反而大有裨益的选择，实在让人觉得十分有趣。 这篇文章深受2026年4月 的Emacs Carnival主题的启发，尽管它在目标上略显谦逊。
用 Notion 建立精品咖啡索引系统
作者分享使用Notion构建精品咖啡数据库的个人实践，涵盖从产地到冲泡的数据建模思路，包括地理层级关系、烘焙商管理及利用Notion特性解决数据关联的技术细节。
为什么我选择OCaml作为主力编程语言
作者分享为何将OCaml作为主要编程语言的个人经历与观点。文章从语言特性、静态类型检查的优势、多范式支持以及社区生态等方面详细阐述了OCaml在工业界和学术界的双重价值，并反驳了关于OCaml仅适用于理论的常见误解。
Meta 与 Yocaml 技术笔记
2025年7月20日的日记条目，主要讨论 Meta 公司、OCaml 语言及其衍生项目 Yocaml。
Tetra Master的噩梦：深扒FF9中最晦涩的隐藏卡牌游戏
作者回顾并深度解析《最终幻想9》中极具争议的隐藏卡牌游戏Tetra Master。文章指出该游戏规则晦涩难懂，官方手册几乎未提供有效指引，导致玩家需依靠社区逆向工程和长期摸索才能掌握。作者结合个人经历与社区资料，详细梳理了卡牌机制、随机性以及收集策略，探讨了这种设计对玩家体验造成的挫败感及其在JRPG史上的独特地位。
宇宙亚特兰蒂斯：科幻插画练习
名为“宇宙亚特兰蒂斯”的画廊，收录了基于太空观察虚构元素的科幻风格插画，旨在进行绘画训练。 
OCaml 会议与技术笔记
2024年12月14日的日记条目，涉及巴黎 Scala 会议、OCaml 语言、IDE、Merlin 和 LSP 协议等技术话题。
网站后记：关于技术栈与构建过程的说明
文章介绍了 Colophon（后记/版权页）在网页设计中的用途，即描述网站角色及所使用的资源和库。作者提到这是 Web Ring 社区中常见的做法，用于展示构建网站的技术栈和过程。
使用 YASnippet 进行缩写扩展
介绍 Emacs 插件 YASnippet，用于代码和文本中常用序列的结构化展开与模板管理。
Forkit 与函数式编程笔记
2024年9月21日的日记条目，涉及在鲁昂参加的会议、Forkit 项目以及 Pointfree 编程风格。
为什么我选择 OCaml
作者分享了自己从2012年开始使用OCaml的个人经验，列举了Meta、Microsoft、Jane Street等大厂采用该语言的事实，旨在为技术选型提供一手参考和观点支持。
通过destruct命令实现有效的模式匹配
介绍如何使用Merlin的destruct命令自动生成OCaml模式匹配中缺失的模式，提升编码效率。
使用Occur列出缓冲区中的长行
介绍如何使用Emacs的Occur模式和通用参数来列出缓冲区中超过指定字符数的行。
关于会议、Scala、GADTs和南特
一篇关于会议、Scala、GADTs和南特的日志条目。
用 Notion 给喝咖啡做索引：我的个人口味数据库构建实践
作者分享使用Notion建立个人咖啡消费索引系统的经验，旨在通过数据记录培养对咖啡口味的直觉。文章包含具体的实施技巧和方法论反思，属于个人知识管理在特定爱好领域的实践案例。