2021年抱負

κeenです。2021注目していきたい技術、やっていきたいことを書いておく。

2020年振り返り

κeenです。何もしてないのにパソコン壊れた。 まだ直ってないけどこの記事書かないと1年が締まらないのでノートPC引っ張り出してブログを書く。

Idrisモナドアソート

この記事は去年末に書いていた記事です。 執筆中にパソコンがクラッシュして修理に1ヶ月くらいかかったので公開が遅くなりました。 それを踏まえて記事をご覧下さい。

κeenです。 そろそろAdvent Calendarも終盤になってきましたね。 今回は前回の標準ライブラリ紹介であえて外したモナドについて紹介します。