プログラミングにおける〈式〉についての考察 - Ryusei’s Notes (a.k.a. M59のブログ)

「プログラムとは何か」という質問に対する、最も素朴な回答は「プログラムとは、機械に与える命令文の並びのことです」というものだ。命令文を解釈する機械が、プログラムに記された命令に従って、装置を制御し、計算処理を実行する。このようなことは、情報科学の基礎として学校で教えていると思う。 一方で、今日の高水準言語によるプログラミングでは、〈式〉という概念を理解していることがとても重要だ。特に、関数型プログラミングが注目されるようになった今日では、もはや単なる数式としての理解では十分でない。 しかし、プログラミング言語における〈式〉は〈サブルーチン〉や〈関数〉のような概念に比べると自明であるように思われているためか、あまり精緻な説明がなされないようだ。実際、Wikipediaにおける式 (プログラミング) - Wikipediaの記述の短さを見て欲しい。英語版であれば少しだけ記述が長いが、それでも十

[ruicc]

definiteness, compositionality, purity

[sezemi]

いい切り口だなー、続きを待ちたい

[gcyn]

なんだか頭の良い人で気持ち良いなー。／プログラミングにおける〈式〉についての考察 - Ryusei’s Notes (a.k.a. M59のブログ)