Nagise https://blog.hatena.ne.jp/Nagise/ プログラマーの脳みそ https://nagise.hatenablog.jp/ etc JavaLL仮説とか僕は主張していたりするんだけど、みねこあさんとの対話から見えてきた誤解のひとつは、「静的型は最初に正しく型を作らないといけない」というもの。 静的型付け言語では、静的な情報こそが「本質」とされます。 (中略) だからプログラマは神様じみた万能さでプログラム（＝運命）を完璧なものにしなくてはなりません。「アカシックレコード」とか、「ティターンズの犬どもめっ！」とか言いたくなります。けれど、人は神のようにはなれないから、そこで「完璧さ」についてよりすぐれたコンピュータ様のお力添えを戴きたくおもい、日々セッセと型について記述します。 という部分と 一方、動的型付け言語では(中略）… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnagise.hatenablog.jp%2Fentry%2F20090216%2F1234787022" title=" 静的型では思いつくままに型を作る - プログラマーの脳みそ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-02-16 21:23:42 rich https://nagise.hatenablog.jp/entry/20090216/1234787022 1.0 100%