そんな未来は来ません。なんでかと言いますと、現状では「コーディング法」を規定できないからです。プログラミング言語やコーディングスタイル規約を指定することは出来るかもしれません。使用するライブラリやテスト内容を義務づけることも出来るでしょう。それだけでは「高品質なコード」を保証するにはまったく足りません。カバーできるでしょう。厳密かつ客観的、あるいは定量的に、コードの品質を計測する必要があり、その為にはその計測が可能なプログラミング言語が必要です。いうわけで、「こういう仕様の言語であればその計測が可能ではないか?」という思考実験がuniq言語なのです。コーディングロジック規約(過去の挫折)元々土屋は上記のような事をやりたいと考えていて、しかし、プログラミング言語を一から作るのではなく「コードの書き方を厳密にルール化できれば良いのではないか」と考えていました。土屋はこれをコーディングスタイル規約よりずっとロジックよりという意味で「コーディングロジック規約」と呼んでいます。これ、割と頑張って作っていたのですが、例えば以下のような2行のコードがあったとして「どちらを先に書くか」を規定することができず、なかなか上手く行きませんでした。d更に考えていくうちに、1行の式ですら、厳密に記述方法を規定するのは困難であることがわかり、自分の中の経験則以上の物にはなりませんでした。b"とどっちにすべき?uniq言語こういう経緯を踏まえ、つい最近コメントの付け方についての議論を複数のエンジニアさんと話していて、「メソッドを、「式メソッド」と「制御メソッド」の二つに、論理的に分割すれば、この問題を解決できるのではないか」と考えました。式メソッドの中では交換法則が成り立つ物については順番を問わないと規定します(これによって上記の2つの課題は解消される)。uniq言語ではこの発想を起点にどこまで「コードの安全性を定量的に評価可能なプログラミング言語」を設計できるか試してみるつもりです。実際ホントに可能なのかはわかりませんし(恐らく無理でしょう)、uniq言語が実用化される可能性は低いでしょう(というかされません)。コーディング法が制定されることは(少なくとも今後10年くらいは)ないでしょう。エンジニアは思考停止したら負けだというのが、土屋の信条です。10サイト情報プリバシーポリシーはてなブログをはじめよう!t_tutiyaさんは、はてなブログを使っています。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。