論文メモ: Mison: A Fast JSON Parser for Data Analytics

L. Yinan, N. R. Katsipoulakis, B. Chandramouli, J. Goldstein, D. Kossmann. “Mison: A Fast JSON Parser for Data Analytics,” Proceedings of the VLDB Endowment, Volume 10 Issue 10, June 2017, p1118-1129. を読んだメモ。 本当にただのメモなので内容を知りたければ論文を読むように。

お薦めのコンパイラの本とか

κeenです。たまにお薦めコンパイラの本教えてなどのやりとりをTwitterで見かけるのでまとめておきます。 私の主観が入っているので他の方の意見も参考にして下さい。

Effective Idris: Lazy

κeenです。最近はIdrisで簡易ビルドツール作ってます。ある程度出来上がったらお披露目しますね。 さて、今回はIdrisで遅延評価を実現する型、 Lazy を紹介します。

async/awaitと合成可能性

κeenです。async/awaitって実装の都合と利便性の良い所取ってるよなーと常々思ってるのを言語化してインターネットに放流します。 何度か似たようなことを言ってるのですがスライドであることが多くてあまり情報量を詰め込めなかったのでブログにまとめます。

gitのrebaseでsquashをワンライナーで

κeenです。コミットを1つに纏めたいときに git rebase -i を使って最初のコミットだけ pick 、それ以外は squash にするのはよくやりますよね。 定形作業をするのが煩わしくなったのでそれをワンライナーにまとめてみました。