ひとつは、外部ツールによって型チェックをどうにか行わせる技法

もうひとつは、これかなり別の方向で大変だけど
雛形つうか、特定のメソッド郡を持つクラスをまず定義し、
アルゴリズムの全てをそのクラスの組み合わせのみによって記述する
それによって、全てのクラスとその全てのメソッドをテストが可能になるようにさせる

これをやろうとすると、動的でも静的でもなく違うものになる
このプログラミングの条件としては、
・ソースコード中に条件分岐を入れない事
っていうありえない制約を作る
条件分岐なんてあるからテストが上手くいかない
つまり、HTML