yamaimo0625 https://blog.hatena.ne.jp/yamaimo0625/ いものやま。 https://yamaimo.hatenablog.jp/ 技術 Lucid 前回の続き。 2.7 遅延評価 しかし、Iswimの操作的（動的）解釈として、より適切なものがある。 この方法論では、プログラムは実行されると考えるのではなく、プログラムは評価されると考え、その評価は必要に応じて行われるとする。 この評価の方法は、必要以上には評価を行わない（＝必要になったときに必要なだけ評価を行う）ので、「遅延」と呼ばれる。 特に、関数呼び出しの実引数は自動的には評価されない。 この遅延評価の方法は、数学的意味論により忠実となっている。 実際、ちょっとした注意を払うことで、それらは完全に正しいものになり、形式的意味論が指定するものを正確に生成する。 これらのうちの最初のものは… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyamaimo.hatenablog.jp%2Fentry%2F2019%2F06%2F19%2F200000" title="「Lucid, the Dataflow Programming Language」を翻訳してみた。（その12） - いものやま。" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn.blog.st-hatena.com/images/theme/og-image-1500.png Hatena Blog https://hatena.blog 2019-06-19 20:00:00 rich https://yamaimo.hatenablog.jp/entry/2019/06/19/200000 1.0 100%