Swift中是否有类似Haskell的模式匹配功能？

Question

Swift中是否有类似于Haskell的模式匹配中使用的as-patterns？我正在尝试通过使用嵌套模式来消除以下代码片段中的第二个switch语句：

indirect enum Type: CustomStringConvertible {
  case Int
  case Fun(Type, Type)

  var description: String {
    switch self {
      case .Int: return "int"
      case .Fun(let p, let r):
        switch p {
          case .Fun(_): return "(\(p)) -> \(r)"
          case _: return "\(p) -> \(r)"
        }
    }
  }
}

Type.Int                             // "int"
Type.Fun(.Int, .Int)                 // "int -> int"
Type.Fun(Type.Fun(.Int, .Int), .Int) // "(int -> int) -> int"

使用 as-patterns 的 Haskell 等效代码如下：

data Type =
    Int
  | Fun Type Type

desc :: Type -> String
desc t =
  case t of
    Int -> "int"
    Fun (p @ (Fun _ _)) r -> "(" ++ desc p ++ ") -> " ++ desc r
    Fun p r -> desc p ++ " -> " ++ desc r

- Ionuț G. Stan

Answer 1

不同于Haskell的模式匹配，但可以通过如下嵌套模式来消除第二个switch语句：

var description: String {
    switch self {
    case .Int: return "int"
    case .Fun(.Fun(let p, let q), let r): return "(\(Type.Fun(p, q))) -> \(r)"
    case .Fun(let p, let r): return "\(p) -> \(r)"
    }
}

或通过重新排列案例：

var description: String {
    switch self {
    case .Int: return "int"
    case .Fun(.Int, let r): return "int -> \(r)"
    case .Fun(let p, let r): return "(\(p)) -> \(r)"
    }
}

- Martin R

---

谢谢，但我实际上希望避免那种情况。 - Ionuț G. Stan

很不幸，第二个版本不能实现我想要的功能，即使用括号来表示函数类型中的左结合。最终，我选择了这种方式，它使用了一个where子句：https://gist.github.com/igstan/b786d870eb28d7e73dcf5223771db6c4 - Ionuț G. Stan

是的，这确实是作弊，但至少主要的 switch 看起来更容易阅读。就这样。 - Ionuț G. Stan

是的，现在按预期工作了，但当除了.Int和.Fun之外还有其他情况时，比如.Bool或.String，它就变得很丑陋。现在我们也必须列出这些嵌套的情况。不过还是谢谢你的帮助。希望Swift将来能够获得模式匹配。 - Ionuț G. Stan

@IonuțG.Stan：是的，我知道。where case .Fun = p子句将是一个干净的解决方案（正如您在Swift邮件列表上所写的那样）。 - Martin R