Haskellでプログラミングしていると、手続き型と関数型の違いが、古典力学と量子力学の違いと似たところがあると感じました。 手続き型（時系列、微分方程式）での記述に制約を加えられると、記述が正しいかどうかの判断に、人は対称性を使うのですね。関数…