blob: 9a8e48d057b0d85b640d13d69fb2714d4f621812 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
# Currying
Lambda calculus naturally supports currying -- that is, only *partially*
applying a function. In fact *any* function can be applied with *any*
amount of arguments!
In bruijn, currying is a great way to make functions even more elegant.
For example, take the negation function:
``` bruijn
# subtracts argument from zero
-‣ [(+0) - 0] ⧗ Number → Number
# equivalent curried version
-‣ sub (+0)
```
Currying is also very useful for higher-order functions.
Multiplying values in a list by partially applying the `mul`{.bruijn}
function:
``` bruijn
# doubles numbers in a list
double-list [0 <$> (mul (+2))] ⧗ (List Number) → (List Number)
:test (double-list ((+1) : {}(+2))) ((+2) : {}(+4))
```
|
