yamaimo0625 https://blog.hatena.ne.jp/yamaimo0625/ いものやま。 https://yamaimo.hatenablog.jp/ 技術 Lucid 前回の続き。 2.2 Iswimの構文 Iswim()という言語の（抽象）構文（syntax）と意味論（semantics）は代数によって完全に定まる。 Iswimファミリはシンプルであり、以下の数段落で合理的で正確な仕様を与えることが出来る。 代数が与えられると、そのシグネチャはIswim()の構文（つまり構文的に正しいプログラムの集合）を決定する。 Iswim()のプログラムは、引数をとらない変数とシグネチャの個体定数から構築される式である。 式は、シグネチャの操作定数への適切な数の引数の適用と、関数への引数（実引数）のリストの適用、および、where節の形成によって構築される。 wher… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyamaimo.hatenablog.jp%2Fentry%2F2019%2F06%2F10%2F200000" title="「Lucid, the Dataflow Programming Language」を翻訳してみた。（その9） - いものやま。" 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-10 20:00:00 rich https://yamaimo.hatenablog.jp/entry/2019/06/10/200000 1.0 100%