Где имя <*>
впервые появилось в литературе или коде, и пришло ли с ним какое-либо объяснение выбора символа?
Что такое этимология <*> от аппликативного в Haskell?
Ответ 1
Это ASCIIification нотации, использованной в оригинальной бумаге идиом: "Идиомы: прикладное программирование с эффектами". Эта нотация, в свою очередь, была вдохновлена уже ASCII-версией от Sweirstra и Duponcheel на компиляторах, исправляющих ошибки: "Детерминированный, исправляющий ошибки Combinator Parsers ". Это было сделано" Функциональные парсеры от Jeroen Fokker. В этой статье не указано, откуда она взялась, из чего может возникнуть это. не был бы удивлен, если бы он использовался для синтаксического анализа до этого.
Ответ 2
В оригинальной бумаге идиом уже используется ⊛
для приложения; <*>
было выбрано как приближение ASCII-art, поскольку (*)
недоступно (это синтаксис префиксной формы инфиксного оператора *
).