仕様を表現できる言語があればいいんだよな

仕様 -> デザイン
ってやった場合にデザインは一意であるべき。なんでここでコーディングのことを考えないといけないのか
例えば、実行速度とのトレードオフとか

デザイン -> 実装
って全部実装側に押し込められるようなデザインパターン考えようぜ

一番単純な例だとソートだけど、マージソートとか踏み込みたくないじゃん
ソートよりももっと高度な概念もさ、"実装以外の部分"を綺麗に切り離して表現できればいいんだよな