i've been using applicative (and alternative) fair bit lately, , 1 thing has been frustrating me lack of knowledge of nomenclature. example, i'd able function name instead of star thing <*>. so, in same way >>= read bind, there more human-friendly names following:
<*>- apply?<*&*>- left , right apply?<$>- fmap?<|>
and likewise arrows
***- split?&&&- fanout?
if there names these, searches haven't uncovered them. understand there might not accepted terms these, if there i'd love know them.
well, <$> synonym fmap. also, name "applicative" makes me think of applying things. since <*> main operator doing that, think associate loosely word "apply". context different normal function application there confusion word, context makes clear enough, works me. <*> synonym ap function control.monad, confirms use of word "apply".
brent yorgey's typeclassopedia learned of this. it's outstanding resource.
Comments
Post a Comment