bellbind https://blog.hatena.ne.jp/bellbind/ ラシウラ https://bellbind.hatenadiary.org/ たまたまみかけた http://d.hatena.ne.jp/aqvi/20080624 より、まず「副作用」の使い方が変な気がしますがそれは置いといて、erlangでは、ガードでかける式が限定されるのは初めて知ったので勉強になりました。 http://www.erlang.org/doc/reference_manual/expressions.html#6.24 (guard expressionのとこ) あまりerlangには詳しくないけど、関数型言語での上記のLISPでの式と等価な式を想定するのであれば、ifではなくandのままでいけるだろうし、let式がなければとfunとその適用で代… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbellbind.hatenadiary.org%2Fentry%2F20080702%2F1214974224" title="let a = b in cは意味論的には(fun (a) -&gt; c)(b)と等価 - ラシウラ" 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-02 13:50:24 rich https://bellbind.hatenadiary.org/entry/20080702/1214974224 1.0 100%