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

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

κeenです。このエントリはRust Advent Calendar 2019 - Qiita 8日目の記事です。 昔書いたRustのコードをもけもけ漁ってたら、しばらく前にRustでCPS変換しようとしてた下書きをたまたま発見しました。

当時はコンパイラの制約で簡単には書けなかったのですが今見ると簡単に書けるようになってたのでRustも進歩してるね、という確認をしたいと思います。

κeenです。このエントリはRustその3 Advent Calendar 2019 - Qiitaの7日目の記事です。空いてたので飛び入り参加しました。

軽い小ネタです。Dieselで select する時にいちいちカラム名書くの面倒だよねって話です。

κeenです。このエントリはRust Advent Calendar 2019 - Qiita 6日目のエントリです。 空いてたので飛び入りました。 飛び入りなので軽い小ネタ。便利クレート itertoolsの紹介です。

このエントリはRustその3 Advent Calendar 20193日目に飛び入り参加しているエントリです。 Rustの型パラメータ指定の構文、通称ターボフィッシュ(turbofish)について。

This is κeen. Here is my thoughts on Rust 2020. Though I’m a Japanese speaker, and I don’t think the Rust Developers accept only English-written blog posts, I write this post for non-Japanese speakers.

κeenです。 n月刊ラムダノートに書いた「代数的データ型とパターンマッチの基礎」のところで「パターンマッチがあるとこんなに便利になるよ」というのと紹介し忘れていたので勝手に補遺します。 まあ、紙面の都合もあって覚えていたとしても入りませんでしたね。 代数的データ型とパターンマッチの題材としては定番の赤黒木を紹介します。

κeenです。 n月刊ラムダノート Vol.1, No.3(2019)に代数的データ型とパターンマッチの基礎の章を寄稿しました。 どんな内容か、どうやって執筆までに至ったのかを話そうと思います。