http://arton.no-ip.info/diary/20051224.html#p01Schemeという言葉とMLという言葉は、意味するところのレイヤが違うのが混乱の原因のような気がします。Schemeは言語ですが、MLは言語ではありません。SMLやOCamlなどの言語の総称です。SMLの処理系には、SML…