银行账户

说明

你的任务是实现银行账户，支持开立、关闭、取款和存款。

由于银行账户可以通过多种方式访问（互联网、手机、自动扣款），你的银行软件必须允许从多个线程/进程（具体术语取决于你的编程语言）并行、安全地访问账户。 例如，可能有许多存款和取款同时发生，你需要确保在读取账户余额和设置新余额之间不存在竞态条件。

账户应当可以关闭；针对已关闭账户的操作必须失败。

提示

要完成这个练习，你需要实现以下函数：

• openAccount：每次测试开始时调用。返回一个 BankAccount。
• closeAccount：每次测试结束时调用。
• getBalance：获取银行账户的余额。
• updateBalance：按给定的金额增加银行账户的余额。

取款时，金额也可以是负数。

银行账户的初始余额应为 0。

你会发现代码里已经有一个占位的数据声明和类型签名，但定义这些函数，以及创建一个有意义的数据类型、newtype 或类型同义词，都要由你来完成。

如果需要帮助，这里还有一些额外的资源：

• 阅读 Haskell 中关于并发的内容。
• 了解一下 Software Transactional Memory 软件包及其事务变量。