这个递归Scala代码是如何工作的？

我有以下代码片段：

def sequence[A](a: List[Option[A]]) : Option[List[A]] =
  a match {
    case Nil => Some(Nil)
    case h :: t => h flatMap (hh => sequence(t) map (hh :: _))
  }

---

递归是如何工作的？递归会首先发生（调用

sequence（t）

直到它得到

Nil

），然后执行map吗？

第二个问题的答案是肯定的。

map

在

sequence（t）

返回一个要映射的值之前不能开始。谢谢大家。