maybe-map etc. (sequence protocol) Shiro Kawai (04 Jun 2020 04:22 UTC)
Re: maybe-map etc. (sequence protocol) Marc Nieper-Wißkirchen (04 Jun 2020 07:52 UTC)
Re: maybe-map etc. (sequence protocol) Shiro Kawai (04 Jun 2020 08:20 UTC)
Re: maybe-map etc. (sequence protocol) John Cowan (04 Jun 2020 19:43 UTC)
Re: maybe-map etc. (sequence protocol) Lassi Kortela (05 Jun 2020 15:53 UTC)
Re: maybe-map etc. (sequence protocol) Wolfgang Corcoran-Mathe (05 Jun 2020 17:36 UTC)
(missing)
Re: maybe-map etc. (sequence protocol) Wolfgang Corcoran-Mathe (05 Jun 2020 17:58 UTC)

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

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

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

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