その筋では有名だけど幾分古い MAG System というものがある. http://www.cs.ox.ac.uk/research/pdt/progtools/mag/ にサイトの残骸がある. Haskell で書かれているが, GHC 5 向けなのですでにビルドできない. ちなみに日本製としてその筋で有名な Yicho も…