fusing_add.bend

# 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)