銀行帳戶

說明

你的任務是實作銀行帳戶，支援開戶／關閉帳戶、提款與存款。

由於銀行帳戶可以透過許多不同的方式存取（網路、手機、自動扣款），你的銀行軟體必須讓帳戶能被多個執行緒／行程（術語取決於你使用的程式語言）安全地平行存取。 例如，可能同時有許多筆存款與提款正在進行；你需要確保在讀取帳戶餘額與設定新餘額之間不會發生競爭條件。

帳戶應該要可以關閉；對已關閉帳戶進行的操作必須失敗。

提示

完成這個練習時，你需要實作以下函式：

• openAccount：在每個測試開始時呼叫，回傳一個 BankAccount。
• closeAccount：在每個測試結束時呼叫。
• getBalance：取得銀行帳戶的餘額。
• updateBalance：依照指定金額增加銀行帳戶的餘額。

提款時，金額可以是負數。

銀行帳戶的初始餘額應該是 0。

檔案裡已經有虛設的資料宣告與型別簽章，但你需要自己定義這些函式，並建立有意義的資料型態、newtype 或型別同義詞。

如果需要協助，這裡提供一些額外資源：

• 閱讀 Haskell 中並行的相關內容。
• 研究 Software Transactional Memory 套件及其 Transactional Variables。