本書は、最新鋭のStandard ML系言語「SML#」を用いて、実践的なMLプログラミング手法を解説する教科書である。型を考えて式を組み合わせていくMLプログラミングの基本はもとより、コマンドの作成や分割コンパイルなどのシステム開発を支える機能の使い方から、C言語との連携、データベースプログラミング、マルチコアCPU上の並列処理などの高度なシステム開発技術に至るまで、具体的な例を用いて分かりやすく解説する。本書で挙げられているプログラムの例やシステム開発事例、さらにそれらを通じて示されるプログラミング技法には、東北大学電気通信研究所で研究教育に従事し、MLを熟知した著者による、長年の研究開発を通じて得られた実践MLプログラミングのノウハウが詰まっている。プログラミングに興味を持つ幅広い読者に手にとっていただき、MLでのシステム開発の楽しさや快適さを実感してほしい。