>>413
ということは今の段階でもほとんどが記述可能ということですかね？
難易度の高い話を振っておきながらあまり知識がないんで恐縮なんですが、
型チェックを厳密にするというのはバグを発生しにくくするため、でいいですよね。