deploymentは制約プログラミングだ、という話について

以前、ブックマークした記事:はてなダイアリーにインスパイアされて書いたメモが出てきたので、貼っておく。

deploymentの過程をプログラミングする

  • →システムのconstructorだと考える。
  • →コンパイル=deployment

とするとdeployの設計:programmingは制約記述になる:関数型言語というか(SSA:single static assignment)な形式になるのかも。

Makefile
C++のTemplate

Railsはdeploy記述言語として強力であるか?というとき、より強力な言語の物差しとして、constructorの入力の量と、出来上がるシステムの機能の量の比較とかが使えるということになるかもしれない。