True, I like Just because I'm familiar with it. But its name isn't obvious. Some isn't obvious. Something isn't obvious.
There's really, two ways to understand Just. One is to listen to an explanation like what Richard gives. The other is to see the definition: type Maybe a = Just a | Nothing. A Maybe either contains an "a", which we call the "Just" case, or it contains no arguments, which we call "Nothing". "Just" is a mnemonic. It's not the "meaning" of the constructor, it's just a handy name that lets us get at it. The meaning is the two cases above, the shape of the type. No name, no matter how informative, can capture that full meaning. Honestly, if we're appealing to JS developers, and wanted to change the name, I'd say "Null" and "NotNull" are the two easiest. But I still prefer the status quo to this. On Mon, Nov 21, 2016 at 9:48 AM, Will White <will.n.wh...@gmail.com> wrote: > I remember being confused by Just, and I still find it awkward. Hearing > Richard F. explain it in his introductory Elm talk > <https://youtu.be/zBHB9i8e3Kc?t=1h31m11s> is what prompted me to start > this discussion. > > On 21 Nov 2016, at 17:33, Noah Hall <enali...@gmail.com> wrote: > > Has anyone actually encountered anyone being confused by the names? I > haven't. I think this a solution to a problem that doesn't exist. > > On Mon, Nov 21, 2016 at 6:15 PM, Will White <will.n.wh...@gmail.com> > wrote: > > I think that’s because you already know what Just means. I don’t think it’s > arbitrary though from an accessibility point of view. Some or None is > easier > for newcomers to understand than Just or Nothing, especially as Some isn’t > misleading the way Just is, as Andrew described well. > > On 21 Nov 2016, at 17:05, Joey Eremondi <joey.eremo...@gmail.com> wrote: > > Honestly, these choices seem pretty arbitrary. Everyone has a preference. > ML > uses Some/None, Haskell uses Just/Nothing. Some people find Something > intuitive, some don't. > > Given that the choices is (mostly) arbitrary, it seems best to stick with > the status quo. > > On Mon, Nov 21, 2016 at 7:47 AM, 'Andrew Radford' via Elm Discuss > <elm-discuss@googlegroups.com> wrote: > > > Probably inherited from Haskell, like a lot of other stuff. Doubt if there > was any other thought put into it if I'm honest. > > On Monday, 21 November 2016 14:46:40 UTC, Will White wrote: > > > Sorry, meant to say “I guess he’s already considered and rejected them”. > > On 21 Nov 2016, at 14:21, Will White <will.n...@gmail.com> wrote: > > I prefer Some or None, for understanding. Though, unless Evan didn’t know > about them, I guess we’d already have them. > > On 20 Nov 2016, at 23:41, Robin Heggelund Hansen <skinn...@gmail.com> > wrote: > > How about 'Some' and 'None'? > Those are not longer to type than what we have today, and they should > solve your initial confusion. > > søndag 20. november 2016 18.16.26 UTC+1 skrev Will White følgende: > > > I'm talking about Maybe.Just, of course. Just has always seemed strange > to me, as if it's hinting that it's something other than just the > counterpart to Nothing. I don't know the reasons behind its naming, but I > think I would prefer Something, as in "something or nothing". What do you > think? > > > > -- > You received this message because you are subscribed to a topic in the > Google Groups "Elm Discuss" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/elm-discuss/EHnuE_gGFuo/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > elm-discuss...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > > > > > -- > You received this message because you are subscribed to the Google Groups > "Elm Discuss" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to elm-discuss+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > > > > > -- > You received this message because you are subscribed to a topic in the > Google Groups "Elm Discuss" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/elm-discuss/EHnuE_gGFuo/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > elm-discuss+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > > > -- > You received this message because you are subscribed to the Google Groups > "Elm Discuss" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to elm-discuss+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > > > -- > You received this message because you are subscribed to a topic in the > Google Groups "Elm Discuss" group. > To unsubscribe from this topic, visit https://groups.google.com/d/ > topic/elm-discuss/EHnuE_gGFuo/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > elm-discuss+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > > > -- > You received this message because you are subscribed to the Google Groups > "Elm Discuss" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to elm-discuss+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
