Haskell 可以像 Racket 的比赛一样在 S-Expression 上进行比赛吗？

Question

我三天前刚刚开始学习Haskell，目标是为Haskell中的一些自定义语义提供解释器。我有解释器的 Racket 实现，Racket 中 S-Expression 上的 match 匹配非常方便。说到Haskell，我不太确定是否有类似的东西存在？ 或者我必须编写一些数据类型并将 S 表达式解析为定义的数据类型，然后在 Haskell 中使用一些匹配机制？

我想要匹配的东西（在球拍中），例如，如果有一个输入（来自文件或立场输入），例如：(lambda (v1 v2) (+ v1 v2))，那么在 Racket 中，我可以这样写模式： (lambda (,v ...),body)。然后做我想做的事。 在 Haskell 中，我可以做类似的事情吗？

Answer 1

Classic Haskell 不提供通用模式匹配。它确实提供标准模式匹配和防护。因此，您可以编写诸如

foo :: [Int] -> ...
foo [1,2,3] = <some expression>
foo [1,2,x] = <some expression that can use x>
foo (x:xs) = <some expression where x is the first element, and xs is the rest>
foo (x:x':xs) = <some expression where x is the first element, x' the second, and xs is the rest>

bar :: (Int,String) -> ...
bar (1,"hello") =
bar (someInt,someString) =
bar (someInt,_) = 
bar _ = 

交替：

bar :: (Int, String) -> ...
bar x = case x of
         (1,"hello") -> ...
         _ -> ...

交替：

bar :: (Int, String) -> ...
bar (someInt,someString) 
         | someInt == 1 && someString == "hello" = ...
         | someInt == 2 && someString == "hello" = ...
         | otherwise = ...

GHC 还提供扩展来更无缝地集成防护和模式匹配。请参阅“视图模式”和“模式防护”部分： http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html