[過去ﾛｸﾞ] 次世代言語12 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
94: デフォルトの名無しさん [sage] 2018/07/09(月) 00:07:30.03 ID:M/GPMU7W(1) AAS
純粋に言ってればなんでも答えてもらえると思うなよ。
112: デフォルトの名無しさん [sage] 2018/07/09(月) 17:03:28.03 ID:b/biyW6c(2/4) AAS
>>106106(3): デフォルトの名無しさん [sage] 2018/07/09(月) 12:46:40.19 ID:KFrfmR/A(2/4) AAS
>>104
C系の方が慣れてる人が多いでしょ？それだけである程度意味があると思うけど
>>105
正直何言ってるかよくわからないんだけど、依存型とカリー化って別に関係ないんじゃないの？
だって、依存型のあるATS2では関数宣言↓だけは何故かC(Golangっぽい？)シンタックスだよ
fn test(x: double, y: double): double
だから、ATS2はML族なのにカリー化しづらいよ
カリー化されてると全部1引数の fun a -> aを使う(かもしれない)型 の形で済むだろ
ATS2がどうしてるかは知らん
614(1): デフォルトの名無しさん [sage] 2018/08/06(月) 21:45:44.03 ID:2AWODdBK(2/2) AAS
関数型はテストするまでもなく結果の明らかな極めて宣言性の高いコーディングができるというのが実用上最大の強みなわけだけど、
関数型マニアの関心は主に無限リストやら再帰やらモナドやら、自らその宣言性を捨てるテクニックにばかり向いていて、
結局関数型の何が嬉しいのかよくわからん状態になってしまってるのが現状
621: デフォルトの名無しさん [sage] 2018/08/06(月) 23:47:33.03 ID:+WS/BAR+(1) AAS
関数型言語の本質は関数そのものを柔軟に扱うことだと思うんだけどな
例えばジェネリック関数のある言語ではジェネリック関数をジェネリックなまま引数や戻り値として扱えないと関数型言語っぽくない気がする
661: デフォルトの名無しさん [sage] 2018/08/07(火) 23:17:08.03 ID:rAZv+q4y(4/4) AAS
>>660660(1): デフォルトの名無しさん [sage] 2018/08/07(火) 22:38:15.68 ID:ThdtCxHP(1) AAS
>>659
それって言い方を変えると
HaskellもPythonみたいにクリティカルな部分はCで書いてそれ呼び出せ
って解釈できる気がするんだが、そう解釈しておk？飛躍しすぎ？
個人的には正直そうした方が良いと思う
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s