apply, ‘$’#

Type signature:

apply :: ∀ a b. (a -> b) -> a -> b

It takes a function a from a to b, a parameter of type a, and returns something of the type b. Presumably, the given function turns a into b.

The implementation couldn’t be simpler. We take a function and some other value (could be another function, as functions are also values) and apply the function to the value:

apply :: ∀ a b. (a -> b) -> a -> b
apply f x = f x

And then we call it like this:

> apply identity 1


> import Prelude ((/))

> apply (_ / 2.0) 5.0

> apply (2.0 / _) 5.0  

We partially-apply the / function through the use of sectioning. The result is a function that takes the remaining argument.

There is no real benefit in using apply like this. We mostly care about its infixr operation version, $. Let’s define it:

apply :: ∀ a b. (a -> b) -> a -> b
apply f x = f x

infixr 0 apply as $

Remember that 0 (zero) is the lowest possible precedence. Something of precedence 0 is evaluated last.

Using $ (dollar symbol) infixr apply operator#

We attempt this:

> import Effect.Console (log)

> log identity "hello"
... error ...

log takes a string, but we are passing it a function (identity). We need to parenthesize it like this:

> log (identity "hello")

If we want to log a number, first convert it to a string (since log takes a string):

> import Prelude (show, identity)

> log (show (identity 1))

We can replace parentheses with $:

> log $ identity "hello"

> log $ show $ identity 1

Because $ is infixr, it associates to the right, meaning it will first evaluate things on the right, passing the result those evaluations to the things on the left, which end up being evaluated last. This should help to illustrate:

log (identity "hello")
log $ identity "hello"

log (show (identity 1))
log $ show $ identity 1