これはリビジョン 1115898 の記事です。
内容が古い・もしくは誤っている可能性があります。
内容が古い・もしくは誤っている可能性があります。
関数型言語とはプログラミング言語の一カテゴリ。書き込みできるメモリを持たず、全ては関数で作られるという世界観を持つ。
広い意味では、関数型の世界観を基調としつつ、時々ズルしてメモリを使う言語も含む。
概要
チューリングマシン系の言語(手続き型言語)では、プログラム＝関数＋メモリ空間だが、関数型言語は本当に関数しか使わない。でもちゃんとチューリング完全。
CとかJavaとかしか知らない人間から見ると摩訶不思議だが、単にメモリがメモリに見えないというだけで、持続的な記憶自体は「実行文脈」という形で存続している。
ピュアな関数型としてはHaskellが有名。Lisp、MLなんかはズルするクチ。
関連項目
おすすめトレンド
ニコニ広告で宣伝された記事
急上昇ワード改
- 3.1万
- 94
- 675
- 6,341
- 1,461
最終更新：2025/12/07(日) 02:00
- 104
- 162
- 271
- 261
- 72
最終更新：2025/12/07(日) 01:00
ウォッチリストに追加しました！
すでにウォッチリストに
入っています。
追加に失敗しました。
ほめた！
ほめるを取消しました。
ほめるに失敗しました。
ほめるの取消しに失敗しました。