Are there generally accepted English language names for the arrow combinators?
compose? &&& pair?
etc...
On Mon, 2008-02-18 at 03:37 +0000, Tom Davies wrote:
Are there generally accepted English language names for the arrow combinators?
compose?
That's fine though ambiguous.
&&& pair?
etc...
The rest don't generally accepted readings. There are some examples of wordier names used (e.g. fork for (&&&)), but nothing generally accepted.
On Sun, Feb 17, 2008 at 10:37 PM, Tom Davies
Are there generally accepted English language names for the arrow combinators?
compose?
Well, compose usually means something with type (a c d -> a b c -> a b d), but (>>>) has the dual type (a b c -> a c d -> a b d). So it's really "cocompose", which, of course, can be shortened to "mpose". -Brent
participants (4)
-
Brent Yorgey -
Derek Elkins -
Tom Davies -
Wolfgang Jeltsch