私が学生だった頃は、プログラミング言語といえば、非常に形式性の高い、極めてピュアな世界だったはずなのが、いま実際の世の中を見ると、プログラミング言語がどんどん自然言語に近くなっているなあと思うんですよ。
たとえばiPhoneのアプリケーションを作ってみようというので、オブジェクトCというプログラミング言語を触ってみたりすると、極めてキメラ的（出自の異なる情報が入り交じっていること）なプログラムの世界というのがある。たとえば、基本的にはこういう構造になっているから、じゃあこっちにも同じことが適用できるかというと、そういうことは決してなくて、まさに「やってみないとわからない」！
もちろん自然言語化することによって、自由度は上げることができます。痒いところに手が届くように、やりたいことがいろいろとできるようになってくる。しかしながら、そのすべてを一貫した方法でできるようにするのは難しいわけで、原理的にこうだからこうすれば必ず動くということが全然保証されないシステムになってくるわけです。最近の処理系やシステムは、流行っていればいるほど、形式性からは離れていっているという印象がありますね。ただこれが進歩か退歩か、いいか悪いかという問題はまた別であって、新しい言語の可能性というのはトレードオフなんだと思います。
