Standard MLは死せず

研究の関係でMads Tofte*1のWebページを久しぶりに見たら、"Tips for Computer Scientists on Standard ML (Revised)"などというメモが。ML Kitもまだまだバージョンアップしている模様。SML#もそうですが、（たとえばOCamlと違って）基礎のしっかりしているものが結局は生き残る…かもしれません。

*1:Standard MLの仕様（形式論理で定義されている！）の著者の一人。リージョン推論という自動かつ静的なメモリ管理方式の研究で有名。現在はコペンハーゲンIT大学の役員（以前は学長だった？）。リージョン推論やML Kitの歴史については"A Retrospective on Region-Based Memory Management"というサーベイ論文(?)がまとまっていてわかりやすかったです。