ハスケル関数名の意味は？

Question

見積もりとは何ですか？'が使用されていますか？私はカルト関数について読んだことがあり、追加関数を定義する2つの方法を読んだ。カレー版...

myadd' :: Int -> Int -> Int 
myadd' x y = x + y 

...しかし、それは引用なしでもうまく動作します。では、'のポイントは何ですか？

Answer 1

引用は、Haskellに何も意味しません。それはその関数の名前の一部です。

人々はこれを「内部」機能に使用する傾向があります。アキュムレータ引数を使ってリストを合計する関数がある場合、sum関数は2つの引数をとります。これは醜いので、sum'は2つのargsの関数になり、sumの関数はsum list = sum' 0 listのように1つのargになります。

編集、多分私はちょうどコード表示される必要があります。

sum' s [] = s 
sum' s (x:xs) = sum' (s + x) xs 

sum xs = sum' 0 xs 

をsum'は末尾再帰になるように、あなたはこれを行うには、「公共のAPIは、」見ていいですので、ということ。

Answer 2

この場合、'文字は特にありません。それは識別子の一部です。換言すれば、myaddとmyadd'は区別され、とは無関係の機能です。

従来、しかし、'は、いくつかの論理的な評価関係を示すために使用されています。したがって、仮想関数myaddおよびmyadd'は、myaddから導かれるように、myadd'を関連付けることができます。これは、正式な論理と学界での証明（Haskellがその根を持つ）から導かれた慣例です。私はこれが唯一の規則であることを強調しておくべきです、ハスケルはそれを強制しません。

Answer 3

引用符は、ハスケルの名前ではもう1つの許可された文字です。これは関数の変種を定義するためによく使用されます。この場合、quoteは 'prime'と発音されます。具体的には、Haskellライブラリは、変種が厳格であることを示すために引用変種を使用します。たとえば、foldlは遅延ですが、foldl'は厳密です。

この場合、見積もりは、カレー化されていないバリアントを分離するために使用されているように見えます。

Answer 4

「プライム」と発音されることが多いため、「マイアードプライム」となります。これは、通常、計算の次のステップまたは代替方法を示すために使用されます。

だから、あなたはそれはなど私は、Java、Cのためのループの中でインデックスとしてint型を使用してのような単なる習慣、

add = blah 
add' = different blah 

それとも

f x = 
    let x' = subcomputation x 
    in blah. 

を言うことができます

編集：この答えは、私がすべての単語とコードの書式を追加したので、うまくいけば助かりました。 :)これはWYSIWYGシステムではないことを忘れてしまいます！

Answer 5

他者によると、'は、Haskell自体にとって意味を持ちません。それは文字や数字のような単なる文字です。

'は、機能の代替バージョン（foldlおよびfoldl'の場合）またはヘルパー機能を示すために使用されます。場合によっては、関数名に'がいくつか表示されることもあります。関数名の末尾に'を追加するほうが、someFunctionHelperとsomeFunctionStrictを書くよりははるかに簡潔です。

この記法の起源は数学と物理であり、関数f(x)がある場合、その派生物はしばしばf'(x)と表示されます。