関数型言語一般

1 ：デフォルトの名無しさん：2017/04/01(土) 08:12:00.61 ID:Ylmlk/tQ.net

関数型言語について。
言語同士の比較、おすすめ、不満点など。

2 ：デフォルトの名無しさん：2017/04/01(土) 08:15:11.18 ID:Ylmlk/tQ.net

■Haskell
https://www.haskell.org/

■clojure
https://clojure.org/

■F#
http://fsharp.org/

■OCaml
http://www.ocaml.org/

■Elixir
http://elixir-lang.org/

■Scala
https://www.scala-lang.org/

3 ：デフォルトの名無しさん：2017/04/01(土) 13:38:03.21 ID:PxbGeRPT.net

●関数型言語スレ
関数型言語
http://pc.2ch.net/test/read.cgi/tech/987954395/
関数型言語Part2
http://pc3.2ch.net/test/read.cgi/tech/1007387924/
関数型言語Part3
http://pc5.2ch.net/test/read.cgi/tech/1037527388/
関数型言語Part4
http://pc5.2ch.net/test/read.cgi/tech/1083624060/
関数型言語Part IV
http://pc12.2ch.net/test/read.cgi/tech/1083649982/
関数型言語Part5
http://toro.2ch.net/test/read.cgi/tech/1252470706/
関数型言語は何故普及しないのかを考える
http://hibari.2ch.net/test/read.cgi/tech/1277215506/
関数型言語は何故普及しないのかを考える
http://hibari.2ch.net/test/read.cgi/tech/1286791669/
【アンチ】関数型言語は使えない【玩具】
http://toro.2ch.net/test/read.cgi/tech/1320743217/
【アンチ】関数型言語は使えない【玩具】 ２
http://echo.2ch.net/test/read.cgi/tech/1330429547/

●関連スレ
関数型と手続き型
http://hibari.2ch.net/test/read.cgi/tech/1145115971/
【激突】関数型言語　VS　オブジェクト指向言語
http://toro.2ch.net/test/read.cgi/tech/1331328955/
【激突】関数型言語　VS　オブジェクト指向言語2
http://toro.2ch.net/test/read.cgi/tech/1333801607/
LLにおける関数型プログラミング
http://echo.2ch.net/test/read.cgi/tech/1345123070/

4 ：デフォルトの名無しさん：2017/08/15(火) 12:20:02.34 ID:ILMibSrs.net

謎の関数型言語。存在意義すら分らない。

5 ：デフォルトの名無しさん：2017/08/28(月) 00:19:18.72 ID:sXxziykI.net

>>2
関数型言語の元祖のLispがない！

https://common-lisp.net/

6 ：デフォルトの名無しさん：2017/08/28(月) 18:50:41.80 ID:E9te9/2P.net

>>5
当初のLispはともかく、現在のLisp、ことにCommon Lispで書かれてるのなんて関数型の香りが皆無な
手続き的なスタイルのプログラムなのでは。
まだしもSchemeならば関数型っぽいコードを書いている比率は高いでしょうが。

7 ：デフォルトの名無しさん：2017/08/28(月) 20:22:00.16 ID:sXxziykI.net

>>6
>>2はまあ最近の
流行言語だけ並べたんだろうけど

ClojureはLispのJVM方言で
Lisp知らなくていきなり
読み書きできないと思うよ

あとScalaもオブジェクト指向寄りだし
Lispがマルチパラダイムなのは問題ない

8 ：デフォルトの名無しさん：2017/08/28(月) 21:56:05.68 ID:d332SnKK.net

F#は関数型風なだけでは

9 ：デフォルトの名無しさん：2017/08/28(月) 22:10:46.59 ID:jyyFGMG6.net

F# は、MSお得意の取り敢えず流行に乗る戦法でしょ。 関数型とはいいつつも、.NETとの相性を重視しすぎてるから。

10 ：デフォルトの名無しさん：2017/08/29(火) 01:01:48.01 ID:Y/wjG5sQ.net

F#もScalaもOCamlの
マルチパラダイム路線

純粋関数型だとユーザ減るのがまずあるだろうし
あと.NETやJavaのライブラリがOOだから
関数型で一貫させるのが難しい

11 ：デフォルトの名無しさん：2017/08/29(火) 07:12:25.41 ID:w4q0vtYo.net

>>8
F#が関数型風でしかない理由は？

12 ：デフォルトの名無しさん：2017/08/29(火) 19:50:04.09 ID:YYB0POw9.net

>>8
> F#は関数型風なだけでは

確かにF#には破壊的な代入（普通の手続き型言語での代入文や代入演算と同等な操作で状態やメモリの概念が前提）はあるから
厳密な意味では関数型ではないが、それを言い出すとOCamlなどのML系の言語は全て関数型風なだけになってしまう
F#はMicrosoft版MLというのが私の見方です

もちろんsetq（Schemeはset!）のあるLisp系の全ての言語も関数型でなく関数型風なだけになるし
その基準だと純粋に関数型と言えるのはHaskellや昔のMiranda, Goferなどlazyな言語のいくつかだけになるだろう

lazy evaluationは破壊的代入や例外処理とは相性が悪い…すっきりとして一貫性のある意味論を構築するのが困難なので
否応なく純粋な関数型にならざるを得ない

13 ：デフォルトの名無しさん：2017/08/29(火) 20:28:35.62 ID:Y/wjG5sQ.net

ScalaだってValとVarがあるから
F#だけ仲間はずれにする意味が分からん

14 ：デフォルトの名無しさん：2017/08/29(火) 20:30:51.81 ID:Y/wjG5sQ.net

つーか非純粋の方が普及して
メジャーなんだから仕様がない

15 ：デフォルトの名無しさん：2017/08/29(火) 22:27:18.69 ID:6jCp/lLP.net

無職板では関数型言語を推奨しております


プログラミングしようぜ
http://medaka.2ch.net/test/read.cgi/dame/1439747269/1

16 ：デフォルトの名無しさん：2017/08/29(火) 22:50:10.12 ID:Y/wjG5sQ.net

わざわざ趣味プログラミングに
関数型言語使わなくてもいいだろ

17 ：デフォルトの名無しさん：2017/08/29(火) 22:57:14.84 ID:meRDrQIM.net

存在意義すら分らないので、

話題も特にない。

18 ：デフォルトの名無しさん：2017/08/30(水) 01:42:34.77 ID:f+agdgD5.net

>>16
関数型プログラミング言語の利用シーンにはどんなものがあるの？

19 ：デフォルトの名無しさん：2017/08/30(水) 05:38:40.83 ID:p2CL0unP.net

>>18
1.　参照透過でバグを減らしたいとき
2.　並列計算をしたいとき
3.　複雑な処理をしたいとき

20 ：デフォルトの名無しさん：2017/08/30(水) 07:16:45.84 ID:5Xr5KcHr.net

むしろ関数型言語が向かない場面とかムッサゴリゴリ最適化したい場面ぐらいしか無いと思うんだが

21 ：デフォルトの名無しさん：2017/08/30(水) 16:17:32.10 ID:p2CL0unP.net

ゲームみたいに複雑な状態遷移は
オブジェクト指向の方が組みやすい

22 ：デフォルトの名無しさん：2017/08/30(水) 17:00:09.35 ID:J9KH8yJx.net

FRPでおけー

23 ：デフォルトの名無しさん：2017/10/01(日) 12:07:51.52 ID:gmDeRBlV.net

>>21
8x8マスに白か黒か何もないかしかないだろ。

24 ：デフォルトの名無しさん：2017/10/08(日) 22:55:26.60 ID:sIfqyVAH.net

これだけ人気ないのにC++、Java、C#にムラダ式なんて追加すんなよ。迷惑極まりない。

25 ：デフォルトの名無しさん：2017/10/08(日) 23:30:11.76 ID:X3i4AnjM.net

ムラダ式？

26 ：デフォルトの名無しさん：2017/10/09(月) 00:11:49.71 ID:c41RoAYB.net

新種かな

27 ：デフォルトの名無しさん：2017/10/09(月) 09:44:48.41 ID:QGFdPsAO.net

ムラダ製作所

28 ：デフォルトの名無しさん：2017/10/09(月) 17:18:51.89 ID:bLguG3ky.net

ムナゲ式

29 ：デフォルトの名無しさん：2017/10/14(土) 02:18:51.03 ID:F+wwiVHB.net

存在意義のない関数型言語。

30 ：デフォルトの名無しさん：2017/10/14(土) 10:22:30.75 ID:xOkDS1UJ.net

>>24
数学人気あるとは思わないけどすごい重要だろ？
まあバカは数学使わなくても生きていけてるみたいだからそういう世界で生きてればいいと思うよ

31 ：デフォルトの名無しさん：2017/10/14(土) 13:57:42.76 ID:F+wwiVHB.net

こういう馬鹿のせいで人工衛星が制御不能になって落ちるんだよ。

32 ：デフォルトの名無しさん：2018/05/23(水) 21:33:08.31 ID:Au5e7VGg.net

僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

UBD4D

33 ：デフォルトの名無しさん：2018/07/05(木) 00:25:45.57 ID:RfoszcD2.net

CB6