[過去ﾛｸﾞ]
次世代言語12 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
次世代言語12 Go Rust Swift Kotlin TypeScript http://mevius.5ch.net/test/read.cgi/tech/1530664695/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
106: デフォルトの名無しさん [sage] 2018/07/09(月) 12:46:40.19 ID:KFrfmR/A >>104 C系の方が慣れてる人が多いでしょ？それだけである程度意味があると思うけど >>105 正直何言ってるかよくわからないんだけど、依存型とカリー化って別に関係ないんじゃないの？ だって、依存型のあるATS2では関数宣言↓だけは何故かC(Golangっぽい？)シンタックスだよ fn test(x: double, y: double): double だから、ATS2はML族なのにカリー化しづらいよ http://mevius.5ch.net/test/read.cgi/tech/1530664695/106
107: デフォルトの名無しさん [sage] 2018/07/09(月) 13:29:20.22 ID:wsFssMnI >>106 型について研究してる畑の人ではML系の方が多数派だからね それは論理学数学から醸成されたのがML系だからってのもあるし、型についても扱いやすいシンタックスが既にあるML系とわざわざ型を扱うシンタックスを設計しなければいけないC系ベースどっちをまず採用するかってなったんじゃない？ 知らんけど http://mevius.5ch.net/test/read.cgi/tech/1530664695/107
111: デフォルトの名無しさん [sage] 2018/07/09(月) 16:59:58.68 ID:a+N+/6A7 >>106 こいつCのシンタックスじゃないって理由でPython嫌ってそうｗ http://mevius.5ch.net/test/read.cgi/tech/1530664695/111
112: デフォルトの名無しさん [sage] 2018/07/09(月) 17:03:28.03 ID:b/biyW6c >>106 カリー化されてると全部1引数の fun a -> aを使う(かもしれない)型 の形で済むだろ ATS2がどうしてるかは知らん http://mevius.5ch.net/test/read.cgi/tech/1530664695/112
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.246s*