2021-09-04: eslint-plugin-redos をどうにかしていた

やったこと

recheck のバージョンを上げてほしいとの issue が立ったので修正した。
ついでに pnpm にした。

時間があるときに recheck のリポジトリの方に移動したい。

ASOBISTORE での配信があったので観ていた。
みんな若いわ。

Twilight Sky いいなぁと思った。
こういうのをやりたいよな。

なんか話題になっていた。
基本的なアイディアは LeanProps のデータ構造と同じのはず。

ちょっと実装してみたけど、やっぱり Monad 則どころか Applicative の結合則を満たさないのが扱いにくいよな、と思う。

これで論文通るのだろうか‥‥。
なんともいえない気持ちになるな。