I highly doubt it would ever be changed, but I significantly prefer the OCaml style Some/None to Haskell's Just/Nothing as well.
Although `Thing` and `NoThing` could by funny and descriptive both. ^.^ On Monday, November 21, 2016 at 10:48:11 AM UTC-7, Will White 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 <[email protected] <javascript:>> > 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 <[email protected] > <javascript:>> 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 <[email protected] <javascript:>> > 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 > <[email protected] <javascript:>> 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 <[email protected]> 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 <[email protected]> > 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 > [email protected]. > 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 [email protected] <javascript:>. > 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 > [email protected] <javascript:>. > 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 [email protected] <javascript:>. > 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 > [email protected] <javascript:>. > 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
