>>85
そういう観点から言うとOCamlかScala辺りが候補か?