控制函数中的副作用

Question

我想大多数purely functional programming languages 都具有控制功能副作用的功能，例如 Haskell 中的 monad，但由于 TEA，Elm 不需要此类功能。此外，我听说 Nim 是一种不纯粹的函数式编程语言，但它通过有/无副作用将 func 和 proc 分开。

那么，我有一个问题。是否有任何按可以或不能控制功能副作用分类的编程语言列表？如果没有，你能给我一些语言的名字吗？我将搜索名称并研究它是如何工作的，但如果可能的话，我很高兴你能简单地写它。以下是我知道的可以控制副作用及其方式的语言列表：

• 由单子
  • 哈斯克尔
  • PureScript
  • 伊德里斯
  • （查找了一些类似的语言，我想应该包括Agda和Isabelle）
• 通过代数效应（我不太理解）
  • 甲贺
  • 效果
• 按类型
  • 干净
• 按语法
  • 尼姆 - proc 和 func

另外，如果你知道，请告诉我有关控制函数副作用的文档。

Answer 1

不，你的分类全错了。

Haskell 不需要 IO 来引入副作用，并且可以轻松绕过它。它还具有error "Oops" 概念，不受IO a 的约束，可以在纯函数中使用。例如以下定义是完全有效的 Haskell 代码：

myDiv1 :: Float -> Float -> Float
myDiv1 x 0 = error "Division by zero"
myDiv1 x y = x / y

不仅如此，您不需要任何 monad 来处理错误。考虑一下Go，这很烦人

res1, err := somePackage.SomeOperationThatMightEndWithError()
if err == Nil {
    // do something with it
}
res2, err := somePackage.SomeAnotherDangereousOperation(res1) 
if err == Nil {
    // do something with it
}

它不是单子。但它通过对整个代码库的显式错误处理来接近纯度。

同样的思维方式可以应用于您决定在原始帖子中列出的其他类别。