関数型言語（読み）カンスウガタゲンゴ

デジタル大辞泉

かんすうがた‐げんご〔クワンスウがた‐〕【関数型言語】

《functional programming language》プログラミング言語の分類の一。数学的な式を基本的な要素とする言語仕様をもち、処理や命令を関数の組み合わせで記述する。LISPリスプ、Erlangアーラン、Haskellハスケルなどがある。関数型プログラミング言語。

出典　小学館

世界大百科事典（旧版）内の関数型言語の言及

【プログラミング】より

…また，人工知能のプログラムをはじめ，いくつかの応用領域では，逐次型手続きではなく，宣言型のプログラムを書いたほうが便利なこともある。関数型言語を用いたプログラムや論理型言語を用いたプログラムなどで，それぞれに対応したプログラミングパラダイムがある。　プログラミングがプログラムを作成する過程であることに対して，それを検査し誤りを修正する過程をテストおよびデバッグという。…

【プログラミング言語】より

…プログラミング言語とは，プログラムを記述するための言語である。より厳密には，人間がコンピューターに情報を伝えること，および伝える内容を記録したり人間が検討することを目的として設計した人工言語をコンピューター言語と呼び，その中でもプログラムを記述することを目的とする言語をプログラミング言語と呼ぶ。プログラミング言語の構文は形式言語に基づいて定義されることが多い。またプログラミング言語を実際にコンピューターで実行できるようにするソフトウェアを言語処理系と呼ぶ。…

※「関数型言語」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」