Где имя <*>
впервые появилось в литературе или коде, и пришло ли с ним какое-либо объяснение выбора символа?Что такое этимология <*> от Applicative в Haskell?
25
A
ответ
27
Это ASCIIification обозначений, используемых в оригинальной бумаге идиом: «Idioms: applicative programming with effects». Эта нотация, в свою очередь, была вдохновлена уже ASCII-версией из материалов Sweirstra и Duponcheel о компиляторах, исправляющих ошибки: «Deterministic, Error-Correcting Combinator Parsers». Это произошло от «Functional Parsers» от Jeroen Fokker. В этой статье не указывается, откуда она взялась, из чего может возникнуть ее возникновение. Я бы не удивился, если раньше он использовался для синтаксического анализа.
13
The original idioms paper уже использует ⊛
для применения; <*>
был выбран как ASCII-аппроксимация этого метода, поскольку (*)
недоступен (это синтаксис префиксной формы оператора infix *
).
Просто, чтобы помочь найти эти обозначения в бумаге Фоккера: это введено на стр. 5, в начале §4. – PLL