My opinion on this isn't nothing, it's just that just makes the most sense.
On Tuesday, November 22, 2016 at 6:11:31 PM UTC-7, Nick H wrote: > > OK, here are the suggestions so far: > > type Maybe a = ... > > Nothing | Just a > Nothing | Something a > None | Some a > NoValue | Some a > Nothing | Some a > Nothing | The a > Nothing | A a > Nothing | Thing a > NoThing | Thing a > Nothing | Have a > Nothing | Got a > Null | NotNull a > No | Yes a > Empty | Full a > > (I just added that last one.) > > > On Tue, Nov 22, 2016 at 12:46 PM, David Andrews <[email protected] > <javascript:>> wrote: > >> I don't think it really works for this, but the natural definition for >> Maybe would seem to be >> >> Maybe a = Yes a | No >> >> On Nov 22, 2016 11:30 AM, "Will White" <[email protected] <javascript:>> >> wrote: >> >>> I see. >>> >>> We’re happy using the ungrammatical Ok a for Results, so why not Thing a >>> for Maybes? >>> >>> On 22 Nov 2016, at 13:06, 'Andrew Radford' via Elm Discuss < >>> [email protected] <javascript:>> wrote: >>> >>> I think his point was if it was a Maybe List Int, then you would have >>> >>> 'A items' >>> >>> It still seems English is not up to this task :) We should probably just >>> make up a new word, start using it day to day, then have it included in the >>> OED. If it can be done for 'selfie >>> <https://en.oxforddictionaries.com/definition/selfie>', then we could >>> do it for <insert candidate here> >>> >>> On Tuesday, 22 November 2016 10:35:48 UTC, Will White wrote: >>>> >>>> type Maybe thing = A thing | Nothing >>>> >>>> So with List.head list I’d get A 2 or Nothing. >>>> >>>> On 22 Nov 2016, at 10:20, Oliver Searle-Barnes <[email protected]> >>>> wrote: >>>> >>>> The problem with Some is that it should be A/An/Some depending on the >>>> subject. I'm starting to come round to Thing vs Nothing. While the grammer >>>> isn't spot on the semantics are very clear. >>>> >>>> >>>> On Tuesday, 22 November 2016 11:06:10 UTC+1, Will White wrote: >>>>> >>>>> weapon = Just sword doesn’t make sense for Maybe. It implies “just >>>>> sword, out of all the weapons”. Just *would*make sense in a Just >>>>> weapon | All (List weapon) type, where weapon could also be All [ sword, >>>>> mace, nunchuk ]. >>>>> >>>>> I think we all agree that Nothing totally nails its concept (better >>>>> than null for the uninitiated). I'm just looking for a word that implies >>>>> its alternative is Nothing, e.g. Thing, Something. If it’s grammatically >>>>> correct, that’s a bonus, but I think eliminating things which hinder >>>>> understanding is more important. >>>>> >>>>> On 22 Nov 2016, at 00:24, joseph ni <[email protected]> wrote: >>>>> >>>>> I came to Elm not knowing about the Maybe type. >>>>> The hardest thing for me to grasp was the use case and being able to >>>>> map : (a -> b) -> Maybe a -> Maybe b. And knowing when to use a Maybe >>>>> (rarely) vs when to use a union type or refactor the code so it doesn't >>>>> need the Maybe type. >>>>> >>>>> If I was to qualitatively estimate the amount of time spent learning >>>>> about Maybe. I'd say it took me a moment to understand `Maybe a = Just a >>>>> | >>>>> Nothing` and a couple of months to get comfortable enough with the Maybe >>>>> type now to understand where it's needed in my app. >>>>> >>>>> So I'd tend to lean with Joey, the wording works for me and changing >>>>> it would feel arbitrary and break the current grammatical 'symmetry' as in >>>>> weapon = Just sword >>>>> vs >>>>> weapon = Something sword >>>>> >>>>> On Tuesday, 22 November 2016 08:19:21 UTC+11, Oliver Searle-Barnes >>>>> wrote: >>>>>> >>>>>> I have to admit I did find `Just` very confusing when I first >>>>>> encountered it, as mentioned earlier in this thread it implies some kind >>>>>> of >>>>>> limitation which doesn't match the semantics of Maybe at all. That said, >>>>>> it >>>>>> was one of those little oddities that very quickly become second nature, >>>>>> just wanted to point out that it is a slight bump in the road for >>>>>> newcomers. >>>>>> >>>>>> >>>>>> On Monday, 21 November 2016 18:34:05 UTC+1, Noah Hall 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]> >>>>>>> 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]> >>>>>>> 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]> 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]. >>>>>>> >> 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]. >>>>>>> > 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...@googlegroups. <http://googlegroups.com/> >>>>>>> com <http://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 >>>>> [email protected]. >>>>> 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]. >>>> 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 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 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.
