The Author Online Book Forums are Moving

The Author Online Book Forums will soon redirect to Manning's liveBook and liveVideo. All book forum content will migrate to liveBook's discussion forum and all video forum content will migrate to liveVideo. Log in to liveBook or liveVideo with your Manning credentials to join the discussion!

Thank you for your engagement in the AoF over the years! We look forward to offering you a more enhanced forum experience.

Richard Cook (4) [Avatar] Offline
#1
I noticed in the book (starting around chapter 3) that Richard refers to Just and Nothing as type constructors. Coming from a Haskell background, this is a little confusing. In Haskell, Maybe is a type constructor as it is, in effect, a function at the type level for creating new types from type arguments. Meanwhile, Just and Nothing are functions at the data (or value) level for constructing values from value arguments.

Does this represent a deliberate break with Haskell conventions that I should get used to or is it something else?
rtfeldman (60) [Avatar] Offline
#2
I don't know Haskell, but this is the generally accepted terminology in Elm!