手続き型言語 【procedural language】 命令型言語 / imperative language

概要

手続き型言語（procedural language）とは、プログラミング言語の分類の一つで、コンピュータが実行すべき命令や手続きを順に記述していくことでプログラムを構成する言語。

命令は一つずつ記述して並べることもできるが、多くの言語では複数の命令をひとまとまりの手続きに連結し、外部から一つの大きな命令のように呼び出せるようにする機構を備えている。この手続きは言語により「プロシージャ」（procedure）、「サブルーチン」（subroutine）、「関数」（function）、「メソッド」（method）などと呼ばれる。

コンピュータ（のCPU）が直に解釈・実行できる機械語（マシン語）のほとんどは命令型の言語体系となっており、CPUが行うべき処理の内容を一つずつ命令として記述して順に並べることによりプログラムを構成する。手続き型言語は機械語をより人間に扱いやすく翻訳したものと言え、機械語そのものでは記述が難しい複雑な構造のプログラムや大規模なプログラムの開発を容易にしてくれる。

広義の手続き型言語には、手続きと関連するデータを一つの単位にまとめるオブジェクト指向の手続き型言語を含むが、文脈によっては「手続き型言語」が非オブジェクト指向型の手続き型言語を指し、オブジェクト指向言語と対比される場合がある。

在来型の手続き型言語にはAdaやFortran、ALGOL、PL/I、C言語、COBOL、BASIC、Pascalなどがあり、オブジェクト指向型の手続き型言語にはC++言語やJava、C#、Visual Basic、Perl、Python、Ruby、JavaScript、PHP、Go言語、Rustなどがある。

一方、手続き型言語あるいは命令型言語とは異なる体系の言語を「非手続き型言語」（non-procedural language）あるいは「宣言型言語」（declarative language）と総称する。命令の列挙以外の方法でプログラムを構成する言語で、「関数型言語」（functional language）や「論理型言語」（logic programming language）、「問い合わせ言語」（query language）などを含む。