*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.
