programming-patterns

本文解释了如何使用Dart的带有私有构造函数的final类来创建证明类型，这些类型在编译时强制执行验证，确保在使用值之前已经执行了某些计算。

本文解释了有限状态机的概念、其正式定义，以及为何它们是构建可靠系统的强大抽象，包括它们与当前代理框架的关系。

一个从真实生产代码（如React、Linux内核、Go、Redis等）中提取的46个编程模式参考库，每个模式配有交互式可视化、精确到行的源码链接以及TypeScript/Python/Go/Rust四种语言的实现和可运行练习。站点中英文双语，支持搜索和分类浏览。

一篇博文，详细介绍了使用errdefer日志在Zig中添加错误上下文的最小模式，并将其与完整的诊断接收器（diagnostics sinks）和catch块进行比较，讨论了权衡取舍。