202028202

言語デザインの難しさはいろいろあると思うけれど、その一つに、人が使いやすいと感じる言語仕様が、なぜか理論的に綺麗にまとまる範囲を少し超えたところにある、という現象がある。ヒト特有の思考方法との相性なのか、それとも簡潔にプログラムを記述する上での普遍的な問題なのか。たぶん両方ある。構文なんかは前者の要素が大きいだろうし、詳しくないけれど型システムは後者の要素も大きいようにみえる。