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

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