It didn't take any adaptation that I recall to get used to Just and Nothing. In fact, I probably made more errors on Nothing.
But if there were a real move to rename the cases to be more "friendly" — which I doubt — then I will offer the colloquially friendly: Maybe a = Yep a | Nope Yes/No would be better and would be proper answers to the question implied by Maybe, but they are also more likely to already be in use. I think Just/Nothing probably just survives. Mark On Wed, Nov 23, 2016 at 3:50 PM Erkal Selman <[email protected]> wrote: > *Thing a | Nothing *is also my favourite between the proposed ones. > > If the type label is thought of as an adjactive, like for example, in > > type *Entry* = *Male Person* *| Female Person * > > then *Just* makes more sense. > > However, my observation is that these type labels are more often named > after nouns, like in > > type *Angle *=* Radian Float | Degree Float* > > In this case, *Thing* is makes more sense. > > On Wed, Nov 23, 2016 at 11:19 PM, Will White <[email protected]> > wrote: > > The fact that you have to have a way of making sense of it is exactly my > point. I think if it was Thing a | Nothing you wouldn’t have to do this to > understand it. > > On 23 Nov 2016, at 22:01, Erkal Selman <[email protected]> wrote: > > I don't have a strong opinion about this issue, but here is why *Just* > makes sense to me: > > Say that you have the type *Maybe Int*. > A value of this type can be *Nothing*, or it can be, for example, *Just* > 42. > It cannot be *Error* 42 or *Person* 42, it can be *just* 42. > > > > On Wednesday, November 23, 2016 at 7:06:14 PM UTC+1, Daniel Walker wrote: > > :) > > On Wednesday, November 23, 2016 at 10:59:24 AM UTC-7, Rex van der Spuy > wrote: > > > > On Wednesday, November 23, 2016 at 12:15:50 PM UTC-5, Daniel Walker wrote: > > My opinion on this isn't nothing, it's just that just makes the most sense. > > > Maybe. > > > > -- > 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 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 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.
