ニコニコ大百科

記事作成乙
今大学で関数型言語やってるけどメモリがどうとか一言も言ってなかったから知らなかった

ズルwwwww

関数型言語でもメモリは使うでしょ
単にいったん書き込んだ値はその後書き替えないのが基本ってだけで

あと、関数型言語知らない人はここでいう「関数」の定義も誤解してると思う
C言語等でいう「関数」はこの記事で言う「関数」とは違う

極めてシンプルなパーツの組み合わせだけでどこまでも表現しようとする美しさとか
ピュアとズルの関係についても記述すべき

>>lv244818287

C++11
C#
Java
に取り消し線をつけてる意味はなんなん？関数型言語じゃないってこと？だったら一覧に載せる必要ないじゃんてなるし、どういう意図だよ・・・混乱を生むような表現はやめようね

>>6
現実では指摘の通りC++11、C#、Javaを関数型プログラミング言語としてカウントしない人のほうが多数派だと思う
ただ、関数型プログラミング言語の意味は「関数型プログラミングというスタイルで書きやすいプログラミング言語」くらいのあやふやなものなんだ
だからC++11、C#、Java8とかを関数型プログラミング言語とみなしても必ずしも間違いとは言い切れないところがあるし、現に例えば英語版wikipediaの「List of programming languages by type」のページのように、これらの言語が関数型プログラミング言語として扱われているところもある
そういう曖昧模糊とした状況だし、取り消し線付きでリストアップするのは個人的にはありだと思う

C++, C#, Javaは途中のバージョンから関数型の要素のうち手続き型でも便利なものを取り入れているが, 全体としては手続き型であって, 関数型はあくまで脇役って感じ

JavaScriptも似たような扱いなんだが, 強いて言えばそれらの要素が昔からあって, それが後で活用されるようになった, という感じで線引かなかったのかな...でも扱いとしては線引かれてる言語とあまり変わらないと思う.

LISPはそのリストの中ではかなり異質かと, 本来なら非純粋の関数型言語に入れていいような気もするが方言・派生ごとに事情が違って, 比較的関数型の気が強いSchemeが別枠として非純粋に入れてあるからそうでないLISPを非関数型として分類したのかもね

Lisp は関数型言語の代表例で問題ないっしょ
ピュアとかいって原理主義が前に出過ぎるのはよくない

Swift ってアップルじゃない方かな？　紛らわしいから消すべき

組み込みで数値型があるような言語は純粋関数型とは言えないでしょ。チャーチ数で数値型を実装するとかして、すべてのオブジェクトを関数で表現して初めて純粋関数型言語と言える。有名なのだとLazy Kくらいかな

Common Lispについては関数型もできるよってくらいな気がしますします
あ、Lispとしか書いてなかった

Swift(Apple)は関数型ってわけじゃない。定数を let で記述することや、パターンマッチングなんかを見るとモロ影響受けてるのは分けるけどね。

C++はconstexpr縛りがついている時副作用レスであるという保証になるので、部分的に関数型といえる。

だいぶ古いレスだけど
>>10 ここでいう純粋というのは
関数が純粋かどうかという意味だから
数値型の有無は関係ない

メソッドを持たないプリミティブ型の値が存在しない
OO言語のことを純粋オブジェクト指向言語と呼ぶことは
知っているが、それとは純粋関数型言語の「純粋」は全く関係ない

稀代の詩人が生み出した純粋関数型言語Spinozaが抜けてるぞ

UnlambdaとLazy Kはどこ・・・？

>>6 >>7 >>8
「関数型も利用出来る」とは別枠で「手続き型であるが利便性の為に関数型ライクな文法を一部取り入れている」を作れば万事解決ではないかと

関数型言語と言っておきながら、その実は純粋数学的言語というのが正しそうだ