Functional Programming MT22, Fold fusion

Created: January 12, 2023 | Read markdown | About these notes | View in context | Study these flashcards |

Fold fusion theorem

@State the fold fusion theorem in full.

fold-fusion-theorem

If

  • $\text{f}$ is strict
  • $\text{b = f a}$
  • $\text{f (g x y) = h x (f y)}$ Then
\[\text{f $\cdot$ fold g a = fold h b}\]

Can you name the three conditions for the fold fusion theorem

$\text{f . fold g a = fold h b}$

to be applicable?

fold-fusion-theorem-conditions
  • $\text{f}$ is strict
  • $\text{b = f a}$
  • $\text{f (g x y) = h x (f y)}$


Related posts