[Haskell-beginners] types, parentheses, application, composition

[Kim-Ee Yeoh]

Whoops, sorry for the noise. Those bullet points were the outline of some
notes I'm putting together.

-- Kim-Ee


On Mon, Nov 26, 2012 at 3:33 PM, Kim-Ee Yeoh <ky3 at atamo.com> wrote:

> On Mon, Nov 26, 2012 at 3:17 PM, Christopher Howard <
> christopher.howard at 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 at haskell.org
>> http://www.haskell.org/mailman/listinfo/beginners
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20121126/96b7f4a1/attachment.htm>