コトバンクはYahoo!辞書と技術提携しています。

関数型言語 かんすうがたげんご

デジタル大辞泉の解説

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

functional programming language》数学的な言語仕様をもつプログラミング言語。式を基本的な要素とする。LISPAPLなどがある。

出典 小学館デジタル大辞泉について 情報 | 凡例

世界大百科事典内の関数型言語の言及

【プログラミング】より

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

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

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

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

出典|株式会社平凡社世界大百科事典 第2版について | 情報

関数型言語の関連キーワード関数型プログラミングリダクションマシンプログラム言語

今日のキーワード

奨学金破産

学生が国の奨学金制度を利用したものの、返済の目途が立たずに自己破産すること。国内の自己破産の総件数は2003年をピークに減少傾向にあるが、このうち奨学金関連の破産は3000人前後の状況が続いており、1...

続きを読む

コトバンク for iPhone

コトバンク for Android