プログラミングでの意味をどう良さげな数学的構造物に組み上げるかという話かな ラムダ計算を勉強してからもう一度読まないとわからない気がする 行間は狭そうな気がするんだけどな 現実のプログラミングと比較するにはもう少し橋渡しが欲しい