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

On 2020-06-05 13:40 -0400, John Cowan wrote:
> I think the term was developed independently of "applicative-functor".  I
> really don't want a bunch of Scheme procedure names with
> "applicative-functor" in them, though I admit "idiom" may be easily
> confused with its wider sense of "idiosyncratic way of expressing something
> in a particular language".

Agreed, "idiom" is preferable to "applicative functor", which is
too verbose.  And Haskell's "Applicative" is deplorably ambiguous.

CC'd to the ml, since John replied off-list.

Wolfgang Corcoran-Mathe  <>

"[T]he purpose of abstracting is _not_ to be vague, but
to create a new semantic level in which one can be absolutely
precise." --Edsger W. Dijkstra