Re: maybe-map etc. (sequence protocol) Wolfgang Corcoran-Mathe 05 Jun 2020 17:36 UTC

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.)

Wolfgang Corcoran-Mathe  <>

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