diff options
Diffstat (limited to 'haskell/composition.md')
-rw-r--r-- | haskell/composition.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/haskell/composition.md b/haskell/composition.md index f6754a5..14f84cb 100644 --- a/haskell/composition.md +++ b/haskell/composition.md @@ -176,7 +176,7 @@ Now look again at the type of `(.)` (all three mean the same): (.) :: (b -> c) -> ((a -> b) -> (a -> c)) ``` -<small>(Why can't we remove the parentheses around the `b -> c` and `a -> c` in there? That is because it the type would then suddenly mean something different. Try to work that out for yourself!)</small> +<small>(Why can't we remove the parentheses around the `b -> c` and `a -> b` in there? That is because it the type would then suddenly mean something different. Try to work that out for yourself!)</small> We can read this as: `(.)` takes a function `g :: b -> c`, a function `f :: a -> b` and a value `x :: a`. It applies `f` to `x`, applies `g` to the result, and returns the result of that. |