Haskell中的模式匹配是否可以用于以这种方式解构数字: f (n + 1) = n 我期望表达式的预测器:f 6= 5,f 5=4等等。我在这里找到了这样的模式匹配用法:https://wiki.haskell.org/Continuation facCPS :: a -> (a -> r) -> r facCPS 4 (+ 2) ::
我刚开始学习haskell和模式匹配。我只是不明白它是如何实现的,[]和(x:_)的计算结果是不同的类型,这种模式的函数实现由于多态性而被识别,或者我错了,还有另一种使用的技术。head' (x:_) = x tell :: (Show a) => [a] -> String
tell [] = "The list is empty"你能解释一下haskell是如何知道哪种模式</
我使用newtype作为记录的字段,而“父”类型上的模式匹配提取嵌套值很麻烦:newtype City = City { show (City { name }) = case name of (CityName cn) -> "City(" <> cn <> ")"
我可以解构“父”类型,但随后使用另一个模式<