GCamlというOCamlにオーバーロード機能を追加した言語あるが、それの型推論機構をうまく使って、論理プログラミングっぽいことができないかと試行錯誤してみた。まずは基本的な定数項を型として定義する。 type hanako = Hanako;; type taro = Taro;; type i…

flexといっても，adobeのやつではなく，スキャナージェネレータの方．以下のようにflexの-Sオプションでオリジナルのスケルトンファイルを指定することで，生成ファイルをいろいろと調整することができる．応用例としては，Linuxのkernel moduleに組み込むた…