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

本書は、プログラミングやコンピュータに興味を持つ者が、コンパイラの原理と構造、さらにその開発方法を基礎から理解するためのテキストである。コンパイラの理解は、コンピュータの原理やプログラムの実行のしくみを理解する基礎である。そこで本書では、チューリングらによって確立された計算可能性の理論と万能計算機の構築方法を基礎として、コンパイラを含むプログラミング言語処理系の構築原理とその構造を解説する。これらの理解を基に、コンパイラ実現のための主要な基盤技術を、その原理とその背後にある考え方を含め習得することを目標とする。この考え方を理解することができれば、従来難解と受け止められているLR構文解析や多相型の型推論などの技術も見通し良く習得できる。これらのコンパイラの原理と構造の理解に加えて、先端的言語コンパイラの開発方法を習得するために、実際に実行可能なインタープリタと抽象機械へのコンパイラを開発する。高階の関数や多相型型推論などの先端機能を含むML言語の小さなサブセットCoreMLを対象とし、ML言語の一つである「SML#」を用いてその処理系を開発する。これらを学び直したいエンジニアや、コンピュータやプログラミングに興味を持つ学部学生に最適な一冊である。

高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。これら基礎理論の学習を通じて、関数型プログラミング言語の動作やその型システムの原理、さらに、多相型、型推論、継続計算、レコード計算などを含むプログラミング言語の種々の高度な機能の基礎を習得できる。『情報数学講座9 プログラミング言語の基礎理論』として1997年初版発行後、以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け単行本に改装し発行するものです。

MLを初めて学ぶ者を対象に、Standard ML言語によるプログラミングの基礎から基本ライブラリ (Standard ML Basis Library) の利用法までをわかりやすく解説した定番テキストの改定版である。初版の刊行から20年が経ち、Standard MLを取り巻く環境も大きく変化したことに伴い、改訂版では、著者らが開発を行ってきた新しいStandard ML系言語「SML#」が使用するコンパイラとして採用されており、SML#が提供するシステムプログラミング機能の解説が新たに加えられた。MLプログラミングの基礎を、最先端のSML#コンパイラを用いて習得できる点が特徴である。さらに、初版刊行時にはまだドラフトであった標準ライブラリ (Standard ML Basis Library) の仕様の確定に伴い、第II部のライブラリコードをすべて見直したほか、Standard MLの言語仕様の不十分さを補うSML#の機能であるレコード多相性、オーバーロード多相性、およびランク1多相性の解説を追加した。姉妹書である『SML#で始める実践MLプログラミング』（共立出版、2021）と併せて学ぶことで、本書が提供するStandard MLの系統的な知識を活用し、高度なシステム開発をMLで安全かつ快適にプログラムする技術を身につけることができる。大学でのプログラミングやプログラミング言語の入門コース用テキストとしても最適の一書である。