2020年抱負

κeenです。2020年注目していきたい技術とか書いていきます。去年までからタイトル変えました。

自作lintルールとcargo fixでRustのコードをリファクタする

このエントリはRustその2 Advent Calendar 2019 - Qiita 25日目の記事です。

κeenです。私は既に冬休みに突入してます。Happy Holiday! 「Rustで簡単なコードの書き換えを自動化したいよなー」と思っていたら cargo fix でできるよという啓示を貰ったのでやってみました。

リソースを管理する型

このエントリは型 Advent Calendar 2019 - Qiita 22日目の記事です。

κeenです。Session Typeの話をするつもりでしたが気が変わったのでリソースを管理する型の話をします。 リソースといっても所有権の話ではないです。 DBにWriteできるだとかS3からGetできるだとかです。リソースというよりはアクセス権限の方が正確かもしれません。

SMLで継続を使ってprintf/scanf

κeenです。Advent Calendarが賑う時期ですが特に関係なくSMLの話します。今年MLアドベントカレンダーやってないんですね。O.Danvyのprintfとその逆のscanfについて。