MinCamlをベースにしてOCamlをC言語に変換するプログラムをつくりました。https://github.com/masateruk/micro-caml何でそんなものをつくったかと言うと、わたしは組み込みプログラムの開発を仕事にしているのですが、 自分はOCamlで開発したい（C言語の型検…

とあることがきっかけで、コマンドキューをもつシステムをAlloyでモデル化し検証したので、ここで紹介します。 問題 あるシステムのミドルウェアを修正することになりました。このミドルウェアは整数値をやり取りするオブジェクトを複数所有します。インタフ…