JavaLL仮説とか僕は主張していたりするんだけど、みねこあさんとの対話から見えてきた誤解のひとつは、「静的型は最初に正しく型を作らないといけない」というもの。 静的型付け言語では、静的な情報こそが「本質」とされます。 (中略) だからプログラマは神…

ソフトウェア工学というのはなかなか曖昧なもので、wikipediaのソフトウェア工学の項が、いの一番に「分野の曖昧性と論争」という章から始まっているあたりなんか象徴的だと思う。 大雑把には「コンピュータのソフトウェアの開発方法を研究対象とする情報工…