Mastodon Feed
Boosted by cstanhope@social.coop ("Your friendly 'net denizen"):
cfbolz ("CF Bolz-Tereick") wrote:
Til about the structured program theorem, which shows that it's possible to express arbitrary control flow graphs in a structured programming language.
https://en.wikipedia.org/wiki/Structured%5Fprogram%5Ftheorem
(I've used the 'folk version of the theorem' that the wiki page explains a bunch of times to generate code when I was too lazy to do something more advanced like relooper or https://dl.acm.org/doi/10.1145/3547621 )