Tarragon

"Shared Mutable State"

• 2026-08-07 Shared Mutable State（共享可變狀態） 判斷一個值該不該放在多方都讀得到、都改得動的位置時使用。共享可變狀態會長出跨函式的時序約束，而那類約束在型別與建構子檢查裡都沒有位置寫得下。