utgwkk https://blog.hatena.ne.jp/utgwkk/ 私が歌川です https://blog.utgw.net/ 技術 人間の注意力には限界があり，どうしても型エラーは回避できない． そういったときに，静的型の言語であればコンパイル時に，あるいは IDE の機能によってエラーを出す，といった運用が可能である． 動的型の言語でも最近では型ヒントやすごい IDE の力によってそういったことができるようになってきつつあるように感じるが，それはそうとしてプログラムは依然として実行可能である． 動的型であれば型を気にせず書ける，というのはやはり幻想であるという思いを強くしており，それに近いのは型推論機構のある静的型言語である． 型を何も気にしなくてもよい，というのは言いすぎであるが，型推論が自動でふさわしい型を判定してく… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.utgw.net%2Fentry%2F2017%2F07%2F05%2F000404" 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 2017-07-05 00:04:04 rich https://blog.utgw.net/entry/2017/07/05/000404 1.0 100%