〈式〉の考察 2 - Ryusei’s Notes (a.k.a. M59のブログ)

その1 ⇒ プログラミングにおける〈式〉についての考察 - Ryusei’s Notes (a.k.a. M59のブログ) 前回、式の望ましい性質として確定性・構成性・純粋性があるという話をした。これらの性質がなぜ望ましいのかを、実際に式を分析しながら詳しく見ていく。 式の構造 式は一般に、原子式と式の基本構造から再帰的に構成されている。 例えば、次の式1は、2つの式, と、式の基本構造から成り立っている。そして、各部分式もまた部分と基本構造に分解できる。 式1: 式1の基本構造には次のものがある。 リスト1: 式1の基本構造 リスト1は、式を構成する規則として見ることができる。すなわち、これらの基本構造の組み合わせで、さまざまな式を構成できるわけで、どのようなものが式であるかを決めるルールになっているということだ。 式の構成規則を構文という。構文に従って式を分解し、式の構造を明らかにする