toyboot4e
すみません、自己解決しました……！ 2 変数関数だったのが問題でした。
2 変数関数が絡むポイントフリースタイルは、別途調べます！
2 変数関数が絡むポイントフリースタイルは、別途調べます！
.: 演算子を使っていこうと思います。ありがとうございます！ f x y = g <$> h x y
=> { infix の セクション化 }
f x y = (g <$>) ((h x) y)
=> { y を外す }
f x = (g <$>) . (h x)
=> { infix のセクション化 }
f x = ((g <$>) .) (h x)
=> { x を外す }
f = ((g <$>) .) . h(左の要素 演算子) とするか (のぶさん の例) (演算子 右の要素) にするか (僕の例) も機械的に分かりますか？>> は『左結合』だから……？ ともかく機械的にポイントフリースタイルに変換する方法を調べていきたいと思います。とてもスッキリして助かりました！ f x = x `g` y
+> { セクション化 }
f x = (`g` y) x
=> { x を外す }
f = (`g` y) f x = g x y
+> { Cコンビネータ }
f x = flip g y x
=> { x を外す }
f = flip g y