tusharsamant (4) [Avatar] Offline
#1
The first four chapters, as of January 15, are really lucid.

One question about this on page 73: "... union type constructors like Just are functions with capitalized names. What makes them so special?"

As far as I can see, this question is never fully answered.

After some experimentation, these constructors seem to be precisely functions, with partial application, map, etc working as expected. But, for instance, (only) pattern matching works on constructed values, so maybe there is something special about them?

It would be good to get some clarification on this.
rtfeldman (60) [Avatar] Offline
#2
Yep, that's the answer - pattern matching is the only thing that makes them special compared to other functions.

I'll try to find a way to clarify this. Thanks for the feedback!