John Backus hatte schließlich die Idee einer "Algebra of Programming"

... allerdings ohne Variablen:
https://dl.acm.org/doi/pdf/10.1145/359576.359579
und als Beispiel:
https://github.com/japiirainen/fp
Man beachte die Komposition von Funktionen: "∘"