haskellで再帰のコンパイルが通らない。

Question

haskellでtake関数を実装しようとしています。

mytake _ [] = []
mytake 0 _ = []
mytake n (x:xs) = x:mytake n-1 xs

mytake _ [] = []
mytake 0 _ = []
mytake n (x:xs) = x:mytake (n-1) xs

１番目のコードだとコンパイルエラーなのですが、2番目のコードだとコンパイルが通ります。違いはn-1の括弧の有無だけなのですが、なぜ括弧が必要なのかがわかりません。
例えば以下の様な関数は普通に機能するのに、なぜ今回は括弧が必要なのでしょうか?

sm x = x+x

Comments

[y_waiwai]

エラーが出たなら、エラーメッセージを提示しましょう
エラーメッセージは、いらぬ翻訳省略しないで、出たそのママをコピペで提示してください

Answer 1

mytake n (x:xs) = x:mytake n-1 xs

は

mytake n (x:xs) = x : (mytake n) - (1 xs)

と解釈されてしまうのでエラーとなります。

Haskellでは、関数適用はどんな中置演算子よりも高い優先順位をもっています。
A Gentle Introduction to Haskell: Functions - Sampou.Org

Comments

[takuyaKK]

なるほど、それが原因だったんですね！ありがとうございます！