scala - 如何为 Option 实现 flatMap

Question

我正在尝试实现mapandflatMap作为 的扩展/丰富Option，而不作弊并查看它是如何在 Scalaz 中实现的。

所以这是我在卡住之前得到的：

package extensions.monad

trait Monad[M[_]] {
  // >>= :: Monad m => m a -> (a -> m b) -> m b
  def flatMap[A, B](input: A => M[B]): M[B]
}

trait Functor[F[_]] {
  // fmap :: Functor f => (a -> b) -> f a -> f b
  def map[A, B](input: A => B): F[B]
}

object MOption {
  implicit class MonadicOption[A](left: Option[A]) extends Monad[Option[A]] with Functor[Option[A]] {
    def flatMap[A, B](right: A => Option[B]): Option[B] = ???

    def map[A, B](right: A => B): Option[B] = ???
  }
}

我真正需要的是基本功能，所以我可以做这样的事情：

Some(3).flatMap(x => Some(4).map(y => x + y))

有什么提示吗？

Answer 1

def flatMap[A, B](right: A => Option[B]): Option[B] = left match {
  None => None
  Some(x) => right(x)
}

或类似于 scala std 库所做的

def flatMap[A, B](right: A => Option[B]): Option[B] =
  if (left.isEmtpy) None else right(left.get)