Standard MLは、標準のパッケージマネージャもインターネット上のモジュールアーカイブサイトも持ってない（モジュールアーカイブとパッケージマネージャ - 檜山正幸のキマイラ飼育記 メモ編）。プログラミング言語にとって、ライブラリやツールは、言語仕様…

http://www.modulecounts.com/ でモジュール数が調べられる。CPAN, npm, CRAN, PyPI, Rubygems.org とか。PearやMELPAは少なすぎるだろう、正確な数が出てないようだ。RustのCrates.ioはまだ少ない。Hackageはソコソコ。CPANは停滞でもはや勢いはない。圧倒…

$ git clone https://github.com/polyml/polyml.git polyml-githubでソースも入れた。ビルドはGNU Autotoolsだ。configure; make 方式ね。とりあえずconfigureしたが、なんか色々やったようだが、よくワカラン。PolyML.slnがあったので、startさせると Visua…

Isabelle2016をインストールしたら、PolyMLが付いていた、つうか、PolyMLはIsabelleの実装言語。PolyMLはStandard MLの実装。PolyMLのFAQ http://www.polyml.org/FAQ.html によると、IsabelleとPolyMLの歴史はほぼ一緒らしい。https://en.wikipedia.org/wiki…

String diagrams for traced and compact categories are oriented 1-cobordisms David I. Spivak, Patrick Schultz http://arxiv.org/pdf/1508.01069v2.pdf 52p P.3の上の絵右側を90度回転すると、 A relationship between trees and Kelly-Mac Lane graphs…