エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
静的型では思いつくままに型を作る - プログラマーの脳みそ
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
静的型では思いつくままに型を作る - プログラマーの脳みそ
JavaLL仮説とか僕は主張していたりするんだけど、みねこあさんとの対話から見えてきた誤解のひとつは、... JavaLL仮説とか僕は主張していたりするんだけど、みねこあさんとの対話から見えてきた誤解のひとつは、「静的型は最初に正しく型を作らないといけない」というもの。 静的型付け言語では、静的な情報こそが「本質」とされます。 (中略) だからプログラマは神様じみた万能さでプログラム(=運命)を完璧なものにしなくてはなりません。「アカシックレコード」とか、「ティターンズの犬どもめっ!」とか言いたくなります。けれど、人は神のようにはなれないから、そこで「完璧さ」についてよりすぐれたコンピュータ様のお力添えを戴きたくおもい、日々セッセと型について記述します。 という部分と 一方、動的型付け言語では(中略)プログラムは運用中にチョコチョコ繕いつつ使うモノになります。 の対比が、静的型は最初に型を設計せよ、と認識しているのではないかと思わせるんですね。 動的言語だろうが、静的言語だろうが、プログラムっての