tag

连接池

共 11 篇文章。
全部文章GoTypeScript游戏开发小游戏游戏设计Godot书稿RustPython性能优化游戏引擎PRDSaaS游戏服务端
scala

Cats Effect 资源管理与生命周期:Resource 组合、释放顺序与连接池落地

资源管理是函数式程序里最容易被忽视的一环:文件句柄、数据库连接、线程池、后台任务都有明确的获取与释放时机,手工写在 finally 里一旦遇上取消、异常或嵌套组合就会漏。本文讲清 Cats Effect 的 Resource 抽象如何把获取与释放绑定成可组合的值,覆盖嵌套组合时的释放顺序、作用域与延迟分配、与手工清理的取舍边界,并给出连接池、后台任务与优雅停机的完整落地代码和常见陷阱。

9 分钟阅读
Scala Cats Effect Resource