0

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

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

4

1 回答 1

1

经典 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

于 2011-06-06T15:42:25.663 回答