プログラミング言語の型システムやらプログラムの正当性なんやらは実はまったく本質的な問題ではないかも

We Really Don't Know How To Compute! by Gerald Sussman

プログラムをいかに容易に進化させられるかがキーかもね、という話。