Subject: Re: functional composition 360


> 
> Hi, CC
> I can not understand the following ( slide 9-6, 360)
> 
> "id" is "."'s identity element:
> id.f = f = f.id
> 
> id::a->a
> id x = x
> 
> pls explain more in details, thank you.

'id' is the function that returns its argument
as result. Composing any function f with id
returns a function that is the same as f itself.

/CC

___________________________________________________________________________
Christian Collberg      | Email: c_collberg@cs.auckland.ac.nz
Computer Science Dept   | Fax:   +64-9-373-7453
University of Auckland  | Phone: +64-9-373-7599 x 6137
Private Bag 92019,      | WWW:   http://www.cs.auckland.ac.nz/~collberg/
Auckland, NZ            |
___________________________________________________________________________
"Education is an admirable thing, but it is well to remember from time
to time that nothing that is worth knowing can be taught." - Oscar Wilde
___________________________________________________________________________