如何懒惰开放资源并热切释放？

Question

如何提供任何类型的懒惰获取资源，以便客户端代码具有以下保证：

• 资源最多分配一次，而不是在第一次使用之前（可能永远不依赖于业务逻辑）
• 一旦确保不需要资源（或者在“退出”上发布）
，资源就会被释放
• 除共享资源池
外，此类构造可以隔离地嵌套在另一个构造中

Intuition告诉我，应该可以定义没有IO的捕获这个想法的DSL，我将在后面提供它作为主要解释器的一部分。

哪些基本抽象可以捕捉到这些需求？