>>836
その動的な型が大きいと思うんです。
結局サブタイプ専用手続きを使うのなら MLでいいですからね。

>>837
確かに。
型が静的か動的かってことと、プログラムがデータかってことは直交すると思うので
S式MLを作ればいいですね。静的LISPと呼んでもいいですが、動的だからこそLISPって感じがするので。
僕だけが持つイメージかもしれませんが。

ちょっと調べたら、すでに MetaMLだか MetaOCamlだかいうのや
Template Haskellとかいうのがあるらしいです。面白そう。