Effect system 相關文章

前陣子看了幾篇 Effect system 相關的文章。這是一種比較處於研究性質的語言特性，就我的理解比較是在函數式語言中，將不純的副作用抽取出來的方法。但即使不是函數式語言也可以利用它的特點。

Algebraic Effects for the Rest of Us。裡面是虛構的 JavaScript 語法，說明可以在發生例外後恢復原有執行的範例。如果只用既有的語法，我能想到的就是傳入 (不同效果之) 多個函式指標，然後在例外處理 (或其他需要之效果) 的地方呼叫對應的函式。

Moving Beyond Type Systems 這篇說 Rust 借位檢查器應該設計為一種效果，並虛構 Rust 效果的語法作說明。

Effect -- The best way to build robust apps in TypeScript 看到這個是已經可用的 TypeScript 函式庫。其中範例逐步加上 錯誤處理/重試/逾時中斷/監控狀態，程式由原始寫法的 83 行縮減為 Effect 寫法的 17 行。