Haskellで実行シーケンスを調べる方法は？

Question

Haskellはケース1で2つの関数呼び出しを順番に実行できますが、以下のケース2で混乱します。なぜですか？

ghci> id id 1 -- case 1 

ghci> (+1) id 1 -- case 2 

Answer 1

機能アプリケーションは、左結合され、あなたの例のように解析されることを意味する：

(id id) 1 
((+1) id) 1 

前者は従って減少：

(id id) 1 
id 1 
1 

後者はです。TypeCheckありません。 (+1)のタイプはNum n => n -> nですが、idのタイプはa -> aで、数値ではありません。

(+1) (id 1)を意味する場合は、括弧で括らなければなりません。