証明できる
ソフトウェアを。

ソフトウェアは使い捨てになった。フレームワークは2年で消え、コードは理解される前に生成され、コンプライアンスはバインダーに収められたスクリーンショットになった。

daitai は拒絶である。 ソフトウェアは数学と同じ厳格さに値する。プログラムの振る舞いは型から導かれ、状態遷移は方程式のように合成され、コンプライアンスは署名されたグラフであるべきだ。

スウェーデンの小さなスタジオ Code Daimyo が、ソフトウェアを理解したいエンジニアと組織のために構築している。