<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Mar 7, 2016 at 4:08 PM, Garrett Smith <span dir="ltr"><<a href="mailto:g@rre.tt" target="_blank">g@rre.tt</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">It's vague, as is intercalculate, but as it's superficially doing what string "join" does with chars has some precedence within Erlang. I wouldn't call it hopeless.</blockquote></div><br></div><div class="gmail_extra">I'm probably leaning away from using 'join' at this point, since 'join' already have type<br><br></div><div class="gmail_extra">join :: Monad M => m (m a) -> m a<br><br></div><div class="gmail_extra">so from an FP perspective, that name is highly confusing since it is in use in monadic context and is used to join monadic data into its own monadic context. For a list, join is essentially 'append':<br><br>Prelude Control.Monad> join ["a", "b", "c"]<br>"abc"<br><br></div><div class="gmail_extra">But join is monadic, so `join $ Just Nothing` evaluates to `Nothing`.<br><br></div><div class="gmail_extra">I mean, C++ also uses the word Functor, but they know jack shit about what that means mathematically. And almost every language knows jack shit about what join really is either :)<br clear="all"></div><div class="gmail_extra"><br>-- <br><div class="gmail_signature">J.</div>
</div></div>