関数型言語とはプログラミング言語の一カテゴリ。書き込みできるメモリを持たず、全ては関数で作られるという世界観を持つ。
広い意味では、関数型の世界観を基調としつつ、時々ズルしてメモリを使う言語も含む。
概要
チューリングマシン系の言語(手続き型言語)では、プログラム=関数+メモリ空間だが、関数型言語は本当に関数しか使わない。でもちゃんとチューリング完全。
CとかJavaとかしか知らない人間から見ると摩訶不思議だが、単にメモリがメモリに見えないというだけで、持続的な記憶自体は「実行文脈」という形で存続している。
ピュアな関数型としてはHaskellが有名。Lisp、MLなんかはズルするクチ。
関連項目
携帯版URL:
http://dic.nicomoba.jp/k/a/%E9%96%A2%E6%95%B0%E5%9E%8B%E8%A8%80%E8%AA%9E
http://dic.nicomoba.jp/k/a/%E9%96%A2%E6%95%B0%E5%9E%8B%E8%A8%80%E8%AA%9E


ページ番号: 4592368
リビジョン番号: 1307553
読み:カンスウガタゲンゴ
初版作成日: 11/03/23 01:05 ◆ 最終更新日: 11/10/01 21:14
編集内容についての説明/コメント: リンクの切り直し
記事編集 / 編集履歴を閲覧 / Twitterで紹介





JASRAC許諾番号: 9011622001Y31015
ヘッダー:固定
ヘッダー:追従