Hi Paul!
I'm not sure about the context of Hutton, but maybe "unapplying
functions" refers to the principle of extensionality.
Leibnitz' rule of the "indiscernibility of identicals" [1] says that if
two functions are equal, then the respective results of applying each to
*any* value of their
On Sun, May 4, 2008 at 12:48 PM, PR Stanley <[EMAIL PROTECTED]> wrote:
>
> Hi
>>> What on earth is unapplying function definitions?
>>> The following is taken from chapter 13 of the Hutton book:
>>> "...when reasoning about programs, function definitions can be both
>>> applied from left to right
Hi
What on earth is unapplying function definitions?
The following is taken from chapter 13 of the Hutton book:
"...when reasoning about programs, function definitions can be both
applied from left to right and unapplied from right to left."
Well, because of referential transparency, we can sa
On 4 May 2008, at 17:33, PR Stanley wrote:
Hi
What on earth is unapplying function definitions?
The following is taken from chapter 13 of the Hutton book:
"...when reasoning about programs, function definitions can be both
applied from left to right and unapplied from right to left."
Well,
Hi
What on earth is unapplying function definitions?
The following is taken from chapter 13 of the Hutton book:
"...when reasoning about programs, function definitions can be both
applied from left to right and unapplied from right to left."
Cheers
Paul