|
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