有没有办法在 Frege 中启用 n+k 模式？
Is there any way to enable n+k patterns in Frege?
在 Haskell 中，我必须从 ghci 开始 -XNPlusKPatterns 或在源文件中添加 {-# LANGUAGE NPlusKPatterns #-} 以使其工作：
pred :: Int -> Int
pred 0 = 0
pred (n + 1) = n
n+k 模式是 Frege 故意遗漏的还是存在启用它的方法？
不，(n+k) 编写 frege 时模式已经过时，因此不包括在内。
在 Haskell 中，我必须从 ghci 开始 -XNPlusKPatterns 或在源文件中添加 {-# LANGUAGE NPlusKPatterns #-} 以使其工作：
pred :: Int -> Int
pred 0 = 0
pred (n + 1) = n
n+k 模式是 Frege 故意遗漏的还是存在启用它的方法？
不，(n+k) 编写 frege 时模式已经过时，因此不包括在内。