On Mon, Nov 26, 2012 at 3:17 PM, Christopher Howard < christopher.howard@frigidcode.com> wrote:
Beautiful explanation. The clouds are starting to clear. In particular, previously I did not understand that 1) parentheses are in all types but are omitted for readability when possible, and 2) when an argument is supplied to a function it unifies the supplied parameter type with the argument type. Knowing this makes a huge difference in looking at these transformations.
(1) parens are everywhere, some of them you don't see because of default associativity (2) type-inferencing unification is utterly opaque and mysterious -- Kim-Ee
-- frigidcode.com
_______________________________________________ Beginners mailing list Beginners@haskell.org http://www.haskell.org/mailman/listinfo/beginners