On 2020-06-05 18:52 +0300, Lassi Kortela wrote:
> > idioms (applicative functors)
>
> Where does the term "idiom" come from?

McBride and Paterson (2008) seem to have coined it themselves:

"In each example, there is a type constructor f that embeds the
usual notion of value, but supports its *own peculiar way* of giving
meaning to the usual applicative language--its *idiom*."

(Emphasis in the original.)

http://staff.city.ac.uk/~ross/papers/Applicative.html

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>

"Optimization hinders evolution." --Alan J. Perlis