2007-02-26 MLだと メタランゲージというだけあってよくわかっていません。 超言語? 型推論のための言語でした確か。 今はやりのオッカムル(ってよむんかな?)はこれが元だと聴いているんですが、勉強した方がいいのかな? うーん。 知ってる人に聞いてみよあとで。