ある関数に対する不動点 とは、 なる です。 例えば、べき乗を関数とみなすと、 となり、1と0はべき乗の不動点となります [1]。 プログラム言語の教科書では という演算子が登場します [2,3,4]。 この と先の不動点はどう関係があるのか、フィボナッチ数の例…

モジュール名 OCamlのモジュール名は大文字から始まる必要があり、単語の区切り方は以下の２つのケースが多いようです。 先頭大文字のスネークケース (例: Type_utils) アッパーキャメルケース (例: TypeUtils） 前者はJane Street CoreやOcsigen等で見受け…

シンプルなPostgreSQLのOCamlライブラリがないかと探したところ、Mottl氏らによるpostgresql-ocamlというライブラリがありました。 というわけで、postgresql-ocamlの導入と簡単な使い方のご紹介です。 公式ページ Postgresql-ocaml インストール OPAM経由で…