Control flow multiverse

Peering into the entirety of the control flow multiverse while it's running live. The lines highlighted in dark blue mark the control flow path that is active at the current moment of execution time (possibly paused). A bright cyan background marks the active case-of-branches. – The "demo" function performs constructive corecursion with dataconstructors. The "showBinFancily" function performs deconstructive recursion with the case of construct. (TODO: Investigate avoiding recursive definitions alltogether. See Book: "The Little Typer")

A codebase is not a tree but rather has a directed acyclic graph (DAG) topology like a braided river.

Related

• Annotated lambda diagram
• Annotated lambda diagram mockups
• Edit time immutability
• Lambda calculus encodings of algebraic data types