κeenです。久しぶりに「強めに型をつける」シリーズです。 マーカとして使われる型について。呼び方が分からなかったので「タグ型」と呼ぶことにします。

κeenです。2020年ですね。スレッドを2020個走らせてみましょう。

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

κeenです。2019年を振り返る。

このエントリは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できるだとかです。リソースというよりはアクセス権限の方が正確かもしれません。

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

このエントリは言語実装 Advent Calendar 2019 - Qiita 16日目の記事です。1日ばかりフライングですが先に記事が完成してしまったので投稿します。

κeenです。最近最適化コンパイラの本の読書会をやっているのですが、そこで学んだことの一部をアウトプットします。

このエントリは型 Advent Calendar 2019 - Qiita 2日目に遡って投稿しているエントリです。 担当に遅刻した訳ではなくて空いてたので前から詰めて投稿しただけです。

κeenです。世の中に型推論アルゴリズムは色々知られていると思いますが、それを一切無視して型推論を実装してみたので報告します。