自動コーディングはどの程度まで進んでいるのであろうか？
また自動コーディング系になんらかの「仕様が記述されたもの」を入力しなければならないであろうが、それはどのように記述されるのであろうか？

haskell 風に記述するのか？まさか？