haru-s https://blog.hatena.ne.jp/haru-s/ ...ing logging 4.0 https://haru-s.hatenablog.com/ D言語 プログラミング言語の設計者の変わらぬ夢は、プログラムのコンパイルに通ったらそれは動く、ということです。もちろん、「動くプログラム」の定義は十分納得できるものでなければなりません。例えば、プログラムが決して "stuck" しない — 計算機科学では厳密な意味を持つ単語ですが、おおまかにはプログラムが一般保護違反を起こさないこと (環境非依存な形で定義された"次の実行ステップ"が無いという意味で stuck と言います) — という保証は欲しいところでしょう。そのような性質を持つ言語は「健全」であると呼ばれます。 SafeDとかSubsetとかの単語が出てくるからもっと別の内容を予想していたが，… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fharu-s.hatenablog.com%2Fentry%2F20080730%2F1217383770" title="コンパイルが通ったらちゃんと動くという理想 - ...ing logging 4.0" 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 2008-07-30 11:09:30 rich https://haru-s.hatenablog.com/entry/20080730/1217383770 1.0 100%