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]> 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 <oli...@ <>opsb.co.uk >> <http://opsb.co.uk/>> 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 wouldmake 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 <jose...@ <>gmail.com >>> <http://gmail.com/>> 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 >>> >>> <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 >>> >>> <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 >>> >> <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 >>> > <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 >>> > <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 >>> > <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 >>> <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 <http://googlegroups.com/>. >>> For more options, visit https://groups.google.com/d/optout >>> <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 >> <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 >> <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 > <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] > <mailto:[email protected]>. > For more options, visit https://groups.google.com/d/optout > <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.
