本書は、プログラミング言語の制御構造の観点から、その設計空間と歴史を探る旅です。初期のプログラミング言語における「goto」ジャンプから1960年代の構造化プログラミングの登場、さらには命令型言語のための生成器やコルーチンといった高度な制御構造を探ります。また、関数型言語における制御の別の見方、すなわち継続とその制御演算子、さらに代数的効果とエフェクトハンドラについても触れます。歴史、コード例、理論を融合させて、プログラミング言語についての独自の比較的視点を提供し、代数的効果や現代の研究テーマについての広範な導入も行います。