PolyML

$ git clone https://github.com/polyml/polyml.git  polyml-github

でソースも入れた。ビルドはGNU Autotoolsだ。configure; make 方式ね。とりあえずconfigureしたが、なんか色々やったようだが、よくワカラン。

PolyML.slnがあったので、startさせると Visual Studio Community 2015 が立ち上がったが、ソリューションファイルのバージョンが違うようだ。Visual Studio 2010で開いてみると、wininstall/wininstall.wixproj はダメだったが他は開けた。ネイティブな部分は、だいたいはC++、一部Cで書かれているようだ。PolyLib/ の量が多い。

ML部分は、拡張子が.smlと.MLが混じっている。.smlが一般的なStandard MLで、.MLがpolyMLかな？ 事前にSML処理系があるなら、.smlでなんか作って、それで.MLを実行してブートストラップするのかな？ まだ分からんわ。