関数型言語ってML派生言語のことでOK？

[0001 以下、5ちゃんねるからVIPがお送りします 2022/11/07(月) 11:47:13.528 ID:bxhJAhQF0]

ちと定義が狭いか？

[0002 以下、5ちゃんねるからVIPがお送りします 2022/11/07(月) 11:47:53.727 ID:j5S3KYdi0]

(add 0 1)

[0003 以下、5ちゃんねるからVIPがお送りします 2022/11/07(月) 11:48:19.344 ID:iY2lCnrp0]

ML派生言語のほうが後だろ

[0004 以下、5ちゃんねるからVIPがお送りします 2022/11/07(月) 11:49:03.287 ID:bxhJAhQF0]

>>2
lisp系言語ってlisp系言語でいいじゃん
わざわざ関数型言語にくくる必要ある？

[0005 以下、5ちゃんねるからVIPがお送りします 2022/11/07(月) 11:49:16.611 ID:bxhJAhQF0]

>>3
どゆうこと

[0006 以下、5ちゃんねるからVIPがお送りします 2022/11/07(月) 11:51:04.340 ID:iY2lCnrp0]

>>4
関数型言語∋lisp
なんだから含まれるだろう

[0007 以下、5ちゃんねるからVIPがお送りします 2022/11/07(月) 11:53:34.682 ID:bxhJAhQF0]

>>6
じゃあ関数型言語とは
ラムダ計算からインスパイアされたLisp派生言語と
型付きラムダ計算からインスパイアされたML派生言語
と定義してOK？

ちと長いが

[0008 以下、5ちゃんねるからVIPがお送りします 2022/11/07(月) 11:55:48.971 ID:bxhJAhQF0]

JavaScriptは関数型言語か？という問いに
答えたいのよね
JavascriptやtypescriptはLispやMLから派生した言語ではないが、その思想を積極的に取り込み発展させた言語？ってことで良い？

[0009 以下、5ちゃんねるからVIPがお送りします 2022/11/07(月) 12:04:58.367 ID:iY2lCnrp0]

>>7
インスパイアとか余計な情報いらんでしよ
関数型言語にLispとMLが含まれててそれぞれ派生してるだけなんだから

[0010 以下、5ちゃんねるからVIPがお送りします 2022/11/07(月) 12:19:25.084 ID:bxhJAhQF0]

>>9
そしたらlisp派生とML派生だけがなぜ関数型言語と呼ばれているのかよく分からなくね？
ラムダ計算と型付きラムダ計算というものがあってだな、それをプログラミング言語にしたのがlispとMLでなって話をせんと

[0011 以下、5ちゃんねるからVIPがお送りします 2022/11/07(月) 12:20:59.019 ID:iY2lCnrp0]

>>10
自分でjs上げてんじゃん

[0012 以下、5ちゃんねるからVIPがお送りします 2022/11/07(月) 12:22:27.149 ID:bxhJAhQF0]

>>11
どゆことー、

[0013 以下、5ちゃんねるからVIPがお送りします 2022/11/07(月) 12:26:14.245 ID:CC7XN6lHd]

馬鹿は物事を無駄に複雑に捉えるという好例

[0014 以下、5ちゃんねるからVIPがお送りします 2022/11/07(月) 12:27:57.750 ID:bxhJAhQF0]

>>13
じゃあシンプルに定義してよ