■

私なんかは、もう型チェックやIDEがないとろくにプログラミングできないわけです。たぶん、30年前なら私がプログラミングすることは不可能だったでしょう。

という流れで、30年後には定理証明系がないとプログラミングできない人とか出てくるんだろうか、とふと思った。型チェックとテストだけでまともなプログラムがかける人はものすごく尊敬されたりするわけ。