eff-monad在www.eff-lang.org上的purescript中受到啓發嗎？

Question

閱讀關於Eff語言，我想知道是否有類似的想法已經在使用。 Eff語言提到了一個名爲「推斷代數效應」的論文，該論文描述了Eff用來推斷效應的算法。有相似之處嗎？

Answer 1

我意識到聯邦軍，當我在寫PureScript影響系統，所以你可能會說，這是由它的啓發。另一個靈感來源是Koka編程語言，特別是文章「Koka：使用行多態效應類型編程」。鑑於PureScript已經有行類型來處理的記錄，這是有意義的嘗試也可以將其用作效果系統。

PureScript使用名爲Eff（無關聯！）的效果單元來處理「本機」效果（即運行時系統提供的效果，而不是像用戶可能使用Haskell中的monad變換器建模的「userland」效果）。 Eff與Haskell的IO很相似，但是通過一系列效果類型進行了細化。因此，在PureScript路徑基於行的效果很簡單 - 我們只是不得不讓行包含類型比*其他種類。