非手続き型言語

非手続き型言語（ひてつづきがたげんご、non-procedual language）という語は、コンピュータ・プログラミング言語の分類のひとつで、手続き型プログラミング言語でないコンピュータ・プログラミング言語の総称である。「〜〜でない」という分類であるから、本来はこの分類の代表的な言語といったようなものはないが、手続き型であることに起因する問題点の議論などにおいて関数型言語などを指して使われる。なお、ドメイン固有言語には手続き的ではなく宣言的であるものも多いが、そもそもプログラミング言語ではない^[1]^[2]。