MLの（ミルナー先生の？）「Meta Language」っていう認識は卓見だよな。
確かに静的に強く型付けされていて、型関係の機能が豊富な言語は、
言語を作るためのメタ言語、っていう感じがある。