ハスケルドル演算子アプリケーション

Question

関数アプリケーションがhaskellのカリングでどのように動作するかを理解するのに問題があります。 私は、次の機能を持っている場合：

($) :: (a -> b) -> a -> b 

私は部分的にこの機能を適用するために、私は(a -> b)機能（$の最初の引数）を提供する必要があることを理解しています。

なぜ最初に値を適用することができますか（逆引き）？

($ 0) :: Num a => (a -> b) -> b 

私はここで何が欠けていますか？

Answer 1

($)がオペレータである必要があり(\x -> ($) x 0)のように第二引数を適用します。このルールの唯一の例外は順番に、(-)あること

(x $) = (\y -> x $ y) = ($) x 
($ x) = (\y -> y $ x) = flip ($) x 

---

注：Haskellで、任意のオペレータは、左部（(x $)など）または右セクション（($ x)など）に書き込むことができます便利な負の数書くこと：あなたが簡潔(\y -> y - x)を書きたい場合には

\x -> (x-) :: Num a => a -> a -> a -- equivalent to \x -> (-) x 
\x -> (-x) :: Num a => a -> a  -- equivalent to \x -> negate x 

を、あなたはsubtract使用することができます。

\x -> subtract x :: Num a => a -> a -> a -- equivalent to \x -> flip (-) x 

Answer 2

($ 0)≡≡(\x -> x $ 0)(\x -> ($) x 0)

($) :: (a -> b) -> a -> b)あれば、我々は我々が:: Num a => (a -> b) -> b

Answer 3

演算子の挿入表記を関数と混同しています。ここで

> :t (($) (+1)) 
(($) (+1)) :: Num b => b -> b 

よりよく理解するため$との表現のいくつかの形態は、以下のとおりです。

$ bの=>（$）AB

（$ B）=>フリップ（$）B =>（\ BA - >（$）AB）=> B \ - >（$）AB

（$）=>（$）、A => \ B - >（$）AB

Answer 4

Haskellの構文では、英数字の名前は句読点の名前と区別されることにも注意してください。

英数字の機能foo1 a bはデフォルトで接頭辞ですが、バックティックを追加すると後書きになります：a `foo` b。

$または<*>などの句読点-という名前の関数は、デフォルトでは中置で、あなたは括弧($)または(<*>)を追加する場合、接頭辞になります。これはラテンアルファベットに精通したプログラマーのためのシンタックスシュガーです。英数字の名前と句読点の名前の間には任意ですが有益な区別があります。

両方の種類の関数は単なる関数であり、C++やJavaの "演算子"に対して持っている特殊な意味規則はありません。これは、句読点付きの関数と英数字の名前付き関数で異なる、接頭辞/接尾辞とバッククォート/括弧の構文ルールです。