mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 03:45:29 +03:00
15 lines
471 B
Plaintext
15 lines
471 B
Plaintext
# Example of fusing functions with Scott-encoded numbers.
|
|
|
|
zero = λs λz z
|
|
succ = λpred λs λz (s pred) # Creates a Scott number out of its predecessor
|
|
|
|
two = (succ (succ zero)) # λs λz (s λs λz (s λs λz z))
|
|
|
|
fusing_add = λa
|
|
let case_succ = λa_pred λb (succ (fusing_add a_pred b))
|
|
let case_zero = λb b
|
|
(a case_succ case_zero)
|
|
|
|
# (fusing_add two) creates a fused function that efficiently adds two to whatever you pass to it.
|
|
Main = λx (fusing_add two x)
|