本章では，SML#プログラムの構造，型の概念，実行のモデル等 を含む言語構造を解説する．