<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Mon, Mar 7, 2016 at 9:28 AM Jesper Louis Andersen <<a href="mailto:jesper.louis.andersen@gmail.com">jesper.louis.andersen@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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><div dir="ltr"><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></blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"></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></div></div></blockquote><div><br></div><div>Sigh. Okay, so the future naming discussions will involve with word monad and monadic?</div><div><br></div><div>You've seen the discussions around adoption and the disruptive influence of Elixir?</div><div><br></div><div>For whatever reason FP pedantry is not a draw for me. When I need inspiration I look to Python. Maybe that's the wrong direction and we need to drive our community through more gates.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"></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 :)</div></div></blockquote><div><br></div><div>Oh, and functor.</div></div></div>