ネタつつき20−軽視されている概念アクセスとプログラミング言語の進化

私はずっと前から既存言語と進化の方向性にある違和感を感じていました。それは、言葉にし辛いものです。開発は「オブジェクト分析→オブジェクト設計→オブジェクト指向言語で実装」の流れで作業が進みます。その実装段階でその違和感は強いものとなります。どこで感じるのかをもっと具体的に書けば伝わりやすいのでしょうが、契約上それを提示する事は出来ません。非常にもどかしいものです。
最近はアスペクト志向という概念がオブジェクト指向を補完する形で登場し、既存の「オブジェクト指向言語」がそれを属性などに定義され、それでも足りないものはメタデータとしてコンセプトなどの形で実装されております。しかし、元を正せばプログラミング言語の予約語はコンパイラに対するメタデータです。メタデータと一言で言っても色々あり、それら全てをコンセプトや属性などの形で行うのは乱暴すぎるやり方に私は思えてなりません。既存の予約語を見直してみると、「表現力不足なだけじゃないのか？」と感じるところが多々あります。そのうちの一つがアクセス修飾子です。
知らない人が居るかもしれませんので軽く説明しておきます。アクセス修飾子とは、型のメンバの可視性とアクセス制御に関するルールです。アクセス修飾子が比較的多い.NETのMSILの例を挙げますと、private、family、family and assembly、assembly、family or assembly、publicがあります。これらのアクセス修飾子を考えてみてください。アセンブリと継承に終始しているのが分かってもらえると思います。でも改めて定義を良く見てください、「型のメンバの可視性とアクセス制御に関するルール」はその程度のキーワードで実現できるのでしょうか？
オブジェクト設計を行った人ならば実感していると思うのですが、メンバの可視性は継承だけではなく関連もあります。アクセス制御に関するルールについても、見えるor見えないではあまりに杜撰です。アクセス制御とはセキュリティを伴うものであり、そのほかにも色々な要件があります。ルールが見えるor見えないの2択だけならばシステム構築は簡単でしょう。しかし、そのルールがそんなに単純じゃないから皆苦しいのです。その分実装で苦労せねばなりません。それが楽しい時もありますが、誰しも楽になりたいときがある筈です。
またもう一つの事に私は気付きました。メンバといっても、クラス、プロパティ、メソッドなどの要素は全て共通のアクセス修飾子です。私はこれに納得できません。アクセス制御のルールがクラスとメソッドで同じという発想はオブジェクト指向ではなくプロセス思考の考え方では無いでしょうか？オブジェクト指向が優れた技法と呼ばれているのは、今まで開発されたプロセス指向とデータ指向を包含する優れた概念だからです。クラスとメソッドが同列でいいのならばオブジェクト指向はなりたちません。それにも関わらず共通のアクセス修飾子である現状は非常に不満です。この2つのアクセス修飾子は別に扱うべきです。
では、別に扱うと何の利点があるのでしょうか？それは色々ありますが、一言で表現するのならば、クラスやメソッドの特性をより詳しく記述できる点です。もともとある共通項的なアクセス修飾子では表現できなかった事が簡潔に記述できるのです。これは無限の可能性を秘めております。でもそれはただの序曲にしか過ぎません。アクセスという概念をもっと深く考えれば、現在の見えるor見えないという単純なものではなく、もっと広い可能性がそこにあります。
これらから先PCは搭載プロセッサ数が飛躍的に増えるでしょう。また、セマンティックWebなどの分散環境の進化があるでしょうし、他にも色々な可能性があります。そうなれば、どの様にアクセスできるクラスかという点が非常に重要になります。そのほかにも、セキュリティ技術の向上の為には誰がアクセスできるクラスかなどの情報も不可欠となります。その時、現在の不完全オブジェクト指向言語では非常に私は心細いです。私も一応プロなので、今まで何とかしてきましたが、これからもこれらの開発対象の進化を考慮すれば、これらからも仕事を達成できると断言できません。この状態はオブジェクト指向言語が誕生した時や構造化プログラミングが提唱された時期を連想させます。構造化プログラミングの必要性が叫ばれた時GoTo有害論が激論されました。オブジェクト指向が提唱された時も構造化プログラミングで十分だと言う意見が多くありました。両者の言い分はもっともです。Goto有害論にしても機械語マスター達にはありえない話しです。オブジェクト指向反対派のハッカー達も、オブジェクト指向言語でなくともどのようなものでも作れます。しかし、全ての開発者が機械語や非オブジェクト指向言語の神にはなれません。そこで平均値を上げる必要があります。それが構造化プログラミングであり、オブジェクト指向なのです。
昨今のプログラミング言語はラムダ式の追加などの関数型言語の機能の追加が目立ちます。私はLISP好きですし、プログラミング言語の表現力UPは大歓迎です。しかし、アクセス修飾子などの一見単純な既存概念を見直さなくていいのでしょうか？灯台下暗しと思うのは私だけでしょうか？機能の追加に躍起になるのではなく、少し立ち止まって落穂拾いする必要があると私は考えます。