User loginNavigation |
Question from Pierce's Types and Programming LanguagesOn page 56 at the top of the page he has the reduction: ( λx . x ( λx . x ) )( u r ) evaluates to u r ( λx . x ) My question is: I see how the lhs can be written as: (id(id))(ur) which is then (id)(ur). What I don't get is: (id)(ur) = (ur)(id). Is the point that the identity term is commutative in this context? Is this the same idea as the composition operation between functions in that the composition of two functions is generally not commutative, but the identity function is always commutative? By markt at 2008-01-26 13:21 | LtU Forum | previous forum topic | next forum topic | other blogs | 4552 reads
|
Browse archives
Active forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 2 days ago
16 weeks 2 days ago
38 weeks 3 days ago
42 weeks 5 days ago
44 weeks 2 days ago
44 weeks 2 days ago
47 weeks 6 hours ago
51 weeks 4 days ago
51 weeks 4 days ago