frege - 有什么方法可以在 Frege 中启用 n+k 模式？

Question

ghci在 Haskell 中，我必须从源文件开始-XNPlusKPatterns或添加{-# LANGUAGE NPlusKPatterns #-}源文件才能完成这项工作：

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

弗雷格是否n+k有意忽略了模式，还是存在启用它的方法？

Answer 1

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