[Haskell-cafe] Re: ANNOUNCE: Utrecht Haskell Compiler (UHC) -- first release

[Lennart Augustsson]

Let me parenthesise and rename
  (n + 1) +++ 1 = n
This defines a function +++, first argument is a n+1 pattern, second
argument is 1.

In the same way,
  (+) + 1 + 1 = (+)
defines a function +, first argument is n+1 (but using (+) as n),
second argument is 1.

On Thu, Apr 23, 2009 at 10:27 AM, Colin Paul Adams
<colin at colina.demon.co.uk> wrote:
>>>>>> "Lennart" == Lennart Augustsson <lennart at augustsson.net> writes:
>
>    Lennart> Of course, n+k will be missed by Haskell obfuscators.  I
>    Lennart> mean, what will we do without (+) + 1 + 1 = (+) ?
>
> I think what would be missed would you be having the opportunity to
> explain to me what it means.
>
> But as we still have them, go right ahead (please).
> --
> Colin Adams
> Preston Lancashire
>