はじめに KVS に限った話ではなく DB などでも同じようなことがありますが データ取得件数が多いときに一件づつ取得していると遅くなってしまう場合があります。 こういうときのために複数件まとめて取得する API が用意されている場合が多いと思います。 Re…

はじめに 抽象構文木の書き方を色々と試行錯誤していて考えついた方法について書いておこうと思います。 Haskell で抽象構文木を書く方法はかなり色々あります。 例えば data で定義する GADTs を使った方法 Fix を使った方法 (Data types à la carte) Tagle…