motisn https://blog.hatena.ne.jp/motisn/ も！ https://motisn.hatenablog.com/ TaPL 10章まで読んだ。実装はまだ（来年かな…）のっけからあまり関係ない話だが、ラムダ抽象について、λx. a bをx. a bのようにしていたのを、そのうち他の束縛子（forallとか）を使うかもしれないと考え>x$ a bのような形に変更した。本当はHaskellと同様に\xとしたかったが、（少なくともGHCiで入力するときは）エスケープしないとだめで面倒だったので、λに似た文字として>を選んだ。.を$に変えたのは、まあHaskellの関数適用を真似したんだが、文末まで適用する意味が似てるので借用した。ただちょっと字面がうるさいのでこれはやめるかもしれない。ところでなぜ関数適用がドルマークなのか… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmotisn.hatenablog.com%2Fentry%2F2020%2F12%2F26%2F132523" title="TaPL読む５ - も！" 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 2020-12-26 13:25:23 rich https://motisn.hatenablog.com/entry/2020/12/26/132523 1.0 100%