*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 <will.n.wh...@gmail.com> 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 <erkalsel...@gmail.com> 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 > elm-discuss+unsubscr...@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 > elm-discuss+unsubscr...@googlegroups.com. > 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+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
