前に調べて気になっていた言語についてメモしておきます。 その言語はMLFi(Modeling Language for Finance)。デリバティブなど複雑な金融商品を記述するためのプログラミング言語です。開発元のLexiFi社のページによると,Camlを拡張した関数型言語だそうです。 LexiFi: Structured Product Pricing and Processing 日本語の解説は以下の文書が分かりやすいです。 関数型言語による金融アプリケーション(PDFファイル) この文書によるとMLFiは金融商品を簡潔に書くために作られたものらしいです。デリバティブのような複雑な金融商品は仕様書(目論見書?)も煩雑になりがちだけど,関数型言語を使えば幾つかの部品の組み合わせで表現できますよー,ということをMLFiの開発者たちは考えて実践したそうです。 実際,15個のコンビネータを定