Frege 有没有办法启用n+;弗雷格的k模式?

Frege 有没有办法启用n+;弗雷格的k模式?,frege,Frege,在Haskell中,我必须使用-XNPlusKPatterns启动ghci,或者在源文件中添加{-#语言NPlusKPatterns#-},以实现此功能: pred :: Int -> Int pred 0 = 0 pred (n + 1) = n n+k模式是在弗雷格故意传递的还是有办法启用的 不,(n+k)模式在编写frege时已经过时,因此它们不包括在内

在Haskell中,我必须使用
-XNPlusKPatterns
启动
ghci
,或者在源文件中添加
{-#语言NPlusKPatterns#-}
,以实现此功能:

pred :: Int -> Int
pred 0 = 0
pred (n + 1) = n
n+k
模式是在弗雷格故意传递的还是有办法启用的

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