1

我正在查看以下用于处理Scala 中的错误的代码：

package challenge1

import core._, Syntax._

sealed trait Error
case class Explosion(exception: Throwable) extends Error
case object NotFound extends Error
case object InvalidRequest extends Error
case object InvalidMethod extends Error
case object Unauthorized extends Error

object Error {
  implicit def ErrorEqual =
    Equal.derived[Error]
}

case class Fail[A](error: Error) extends Result[A]
case class Ok[A](value: A) extends Result[A]

sealed trait Result[A] {
  def fold[X](
    fail: Error => X,
    ok: A => X
  ): X = this match {
    case Fail(error) => fail(error)
    case Ok(value) => ok(value)
  }

  def map[B](f: A => B): Result[B] =
    flatMap(f andThen Result.ok)

  def flatMap[B](f: A => Result[B]): Result[B] =
    fold(Result.fail, f)

  def getOrElse(otherwise: => A): A =
    fold(_ => otherwise, identity)

  def |||(alternative: => Result[A]): Result[A] =
    fold(_ => alternative, _ => this)
}
...

现在我可以在这里看到使用Clojure中的 Maybe Monad 处理异常的代码：

(use '[clojure.contrib.monads :only [maybe-m]])

(defmacro maybe 
    ([bindings return] 
        `(domonad maybe-m ~bindings ~return))
    ([bindings return else] 
        `(let [result# (maybe ~bindings ~return)]
            (if (nil? result#)
                ~else
                result#))))

在这里，Jim Duey 解释了关于 continuation 的异常处理：

(defn mf-a [x]
  (println "starting mf-a")
  (fn [c]
    (println "completing mf-a")
    (c (inc x))))

(defn mf-b [x]
  (println "starting mf-b")
  (fn [c]
    (println "completing mf-b")
    (c (* 2 x))))

(defn mf-c [x]
  (println "starting mf-c")
  (fn [c]
    (println "completing mf-c")
    (c (dec x))))

(def fn8 (m-chain [mf-a mf-b mf-c]))

（现在我知道所有单子在某种意义上都是延续- 我现在将把它放在一边。如果我犯了一个严重的错误 - 请帮助我，以便我可以纠正这个问题）。

我正试图围绕上面的这个 Scala 代码。我正在尝试确定它是基于Maybe还是基于Continuations。

我的问题是：我们可以根据 Maybe monad 或 Continuation monad 来理解 error monad 吗？

4

1 回答 1

2

“根据”是一个松散的短语。Result您展示的单子比单子更通用Maybe；事实上，我会说这Maybe是Result. 反过来，延续仍然更普遍，Result可以看作是延续的特例——但这与所有单子都是延续的意义相同，所以如果这不是你要问的，我不确定你可能会问什么。（我认为延续观点对理解没有帮助，因为延续是一个非常普遍的结构，但也许你会这样做？但如果是这样，它必须是所有单子都是延续的意义）

我建议尝试Result直接理解；它非常简单，与您提供的其他两个示例的区别很重要。也就是说，它可能有助于将其视为“ ，但（对于任何）Maybe具有不同的可能值，而不仅仅是一个”；那是你想要的“根据”吗？NoneFail(e)e: Error

于 2015-01-03T10:52:47.480 回答