I don’t quite understand what you’re saying. Do you have examples of how I might go astray? Or how I’ve already gone astray in the available chapter on Maybe? https://leanpub.com/outsidefp
(Part of my confusion is that it seems to me that maybe-is-a-data-structure is the way most programmers would reflexively look at it. That is: “a functor is a wrapper”.) > On Mar 14, 2017, at 9:42 PM, Max Goldstein <[email protected]> wrote: > > > 1. I have a chapter on `Maybe` that treats it as a type with several idioms > around it. Does the chapter make sense to you more experienced Elm > programmers? > > In case you haven't heard me say it, Maybe is a data structure. Things like > map and andThen make a lot of sense in that context. Now it's not a bad thing > to look at those patterns in a simple example, before getting into things > like JSON decoders and random generators that don't actually contain the > value they're going to produce when you map over them. But -- and it sounds > like this is the plan -- make sure you present it as, "these are examples of > patterns that we'll see recur for more complex types", not "this is what you > need to know to understand Maybe". > > -- > 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] > <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.
