Think Distributed

Database and Distributed Systems

ocaml

Purely Functional Data Structures の遅延評価の記法

Purely Functional Data Structures の遅延評価の記法を紹介し、それと等価な OCaml のコードを説明します。 遅延評価 遅延評価(ここではメモ化付きの遅延評価を指します)は必要になるまで計算が遅延される、プログラムの評価戦略のことを意味しています。 …

Type inference algorithm described in Modern Compiler Implementation in ML

Modern Compiler Implementation in ML で説明されている algorithm を実装したので、参考にしてください。 ocaml-typeinference

ocaml-text-rope has been published!

OCaml で実装した Rope を公開しました。 フィードバックなどあればよろしくお願いします。 ocaml-text-rope 後で opam にも publish します。 今回実装した Rope は Ropes: an Alternative to Strings で説明されているものです。 まだ minimum な実装なの…

Using ulex and menhir with OMake

OMake で ulex と menhir を使う方法についてメモ。 ocamllex ではなく ulex を使うモチベーションですが、ocamllex では utf8 なファイルを扱えないので他の lexer が必要だからです。 TLDR MenhirLib.Convert.Simplified.traditional2revised を使う OMake…