`do block` considered harmless

Is life possible without for-loops? This talk reviews some syntactic constructs available in Julia, especially the do-block, and relates them to programming language theory concepts.

First we go through the similarities between for-loops, comprehensions and functions such as map and reduce. Programming as building useful abstractions. How "constraints liberate", and abstract ideas can impact concrete computational performance. Finally we discuss a couple of new features in Julia 1.9, especially Unfold.