From b282b547c3e89bee130cb7b6ee2f914a2022649d Mon Sep 17 00:00:00 2001 From: Joel Louzado Date: Sun, 3 May 2020 18:39:00 +0530 Subject: [PATCH] fix(chp5): fix typo utility - The sentence was `understand the futility`, - the paragraph doesn't seem to be going for any deep, existential message about identity functions - assuming this is just a typo. :D --- ch05.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ch05.md b/ch05.md index 646dae74..59e8c77c 100644 --- a/ch05.md +++ b/ch05.md @@ -252,7 +252,7 @@ compose(id, f) === compose(f, id) === f; // true ``` -Hey, it's just like the identity property on numbers! If that's not immediately clear, take some time with it. Understand the futility. We'll be seeing `id` used all over the place soon, but for now we see it's a function that acts as a stand in for a given value. This is quite useful when writing pointfree code. +Hey, it's just like the identity property on numbers! If that's not immediately clear, take some time with it. Understand the utility. We'll be seeing `id` used all over the place soon, but for now we see it's a function that acts as a stand in for a given value. This is quite useful when writing pointfree code. So there you have it, a category of types and functions. If this is your first introduction, I imagine you're still a little fuzzy on what a category is and why it's useful. We will build upon this knowledge throughout the book. As of right now, in this chapter, on this line, you can at least see it as providing us with some wisdom regarding composition - namely, the associativity and identity properties.