在什么意義上，Constant Applicative Form適用？

Question

我理解CAF是一種形式 ，在某種意義上它在內存中具有特定的形狀，或者是一種可以被評估的某種值的無限多種可能的圖形表示。 （ 值得注意的是 ，“常量應用形式”與“靜態thunk”同義。）

我理解它是不變的，因為沒有自由變量，並且已經包含了評估常量形式所需的所有信息。 這是一個沒有向外指向箭頭的形狀。

但為什么“ 適用 ”？ 因此我無法入睡。 每個人都說咖啡館，咖啡館，但實際上誰知道字面意思是什么？ 它是否與應用仿函數有關（我猜不是）？ 還有哪些其他類型的應用形式？

Answer 1

常量應用形式的術語是應用於（零個或多個）其他常數的常數。 （當然，每個常量在完全評估之前可能需要一些計算！）

Answer 2

每CAF是supercombinator，和supercombinators是，長話短說，即采取其他（可能是零元）功能，並將其應用到彼此的功能。

因此，我對CAF名稱中“應用”的理解是指它們的超組合性質。

Answer 3

我聯系了Haskell Cafe，Stephen Tetley為我澄清了這一點。 簡述：

大約在20世紀70年代和80年代，“applicative”在英國經常被用作功能的同義詞......

- 所以我們可以將“caf”稱為“cff”。

我仍然需要研究這實際意味着什么。 斯蒂芬提出了一篇論文 ，除其他外，談論了可能與我們的應用形式相同的應用表達 ，但我將無限期地花時間做出一個合理有根據的陳述，即它是否是case，所以我現在會發一個答案，同時保留一段時間后我可以擴展它的可能性。