It’s time to reveal theoretical mysteries that enable Я express complex control flow. We start with functors and natural transformations: Я ☞ Articles ☞ Natural transformations as a basis of control
Я is an extremely composable programming language (Haskell eDSL).