読者です 読者をやめる 読者になる 読者になる

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

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