名称<*>
首先出现在文献或代码中的哪个位置,是否对符号的选择有任何解释?
答案 0 :(得分:27)
它是原始成语论文中使用的符号的ASCII化:&#34; Idioms: applicative programming with effects&#34;。反过来,这种符号的灵感来自于Sweirstra的已经使用的ASCII版本以及Duponcheel关于纠错解析器组合器的论文:&#34; Deterministic, Error-Correcting Combinator Parsers&#34;。那来自&#34; Functional Parsers&#34;作者:Jeroen Fokker。本文没有说明它来自哪里可能意味着它起源于它。如果在此之前它被用于解析,我不会感到惊讶。
答案 1 :(得分:13)
The original idioms paper已将⊛
用于申请; <*>
被选为ASCII艺术近似值,因为(*)
不可用(它是中缀运算符*
的前缀形式的语法)。