[erlang-questions] Proposal: add lists:intersperse/2 and lists:intercalate/2

Garrett Smith <>
Mon Mar 7 16:53:09 CET 2016

On Mon, Mar 7, 2016 at 9:28 AM Jesper Louis Andersen <
> wrote:

> On Mon, Mar 7, 2016 at 4:08 PM, Garrett Smith <> wrote:
>> 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.
> I'm probably leaning away from using 'join' at this point, since 'join'
> already have type
> join :: Monad M => m (m a) -> m a
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':
> Prelude Control.Monad> join ["a", "b", "c"]
> "abc"
> But join is monadic, so `join $ Just Nothing` evaluates to `Nothing`.

Sigh. Okay, so the future naming discussions will involve with word monad
and monadic?

You've seen the discussions around adoption and the disruptive influence of

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.

> 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 :)

Oh, and functor.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20160307/3a08ad67/attachment.html>

More information about the erlang-questions mailing list