仕様書＝プログラム　が理想。
既存の宣言型言語はもう一息なんだけどな。うまく言えないけど何かが足りない。