10章まで読んだ。実装はまだ（来年かな…）のっけからあまり関係ない話だが、ラムダ抽象について、λx. a bをx. a bのようにしていたのを、そのうち他の束縛子（forallとか）を使うかもしれないと考え>x$ a bのような形に変更した。本当はHaskellと同様に\xと…

これはFediverse Advent Calendar 2020（第三会場）7日目の記事です。はじめまして。もちすん（motisn）です。現在はもっぱらベスフレにいます。 今回は10月くらいに遊んでた内容について書きます。 序文（動機とか） マストドンの通信はActivityPubに従って…

前回が4/25で眩暈しそう。半年以上前…（2回目）文脈（あんまりこの言い方好きじゃないけど…）について、最初から記号のリストを作るのは面倒だったので、都度記号を追加する方法をとった。その時に束縛変数と自由変数で分けて行ったが、自由変数のde Bruijn…

前回が10/5で眩暈しそう。半年以上前… 今回は6章を読んだ…けど実装はまだ。なのでタイトルは3.5にした。 何に苦しんでいたのかというと、ラムダ計算のパーサーが書けずにいた。 7章をチラ見すると、例えば「λx. a b」のような式を内部で「TmAbs(TmApp(a b))…