有没有办法在弗雷格中启用n + k模式？

Question

在Haskell中，我必须使用ghci启动-XNPlusKPatterns或在源文件中添加{-# LANGUAGE NPlusKPatterns #-}以使其正常工作：

pred :: Int -> Int
pred 0 = 0
pred (n + 1) = n

弗雷格故意传递n+k模式，还是有办法启用它？

Answer 1

不，(n+k)模式在编写frege时已经过时，因此它们不包括在内。