<br><br><div class="gmail_quote">On Sun, Feb 17, 2008 at 10:37 PM, Tom Davies <<a href="mailto:tgdavies@gmail.com">tgdavies@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Are there generally accepted English language names for the arrow combinators?<br>
<br>
>>> compose?</blockquote><div><br>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". <br>
<br>-Brent<br></div></div>