[過去ﾛｸﾞ]
次世代言語12 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
次世代言語12 Go Rust Swift Kotlin TypeScript http://mevius.5ch.net/test/read.cgi/tech/1530664695/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
103: デフォルトの名無しさん [sage] 2018/07/09(月) 11:44:42.26 ID:KFrfmR/A 依存型がある言語はML族もしくはF#の軽量構文みたいなのが多いのはなんでなの？ C系のシンタックスだと何か不都合でもあるの？ http://mevius.5ch.net/test/read.cgi/tech/1530664695/103
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
113: デフォルトの名無しさん [sage] 2018/07/09(月) 18:16:53.67 ID:KFrfmR/A 別にC以外のシンタックスを嫌ってる訳じゃないよ(てか、なんでそういう風に受けとる…？) 普及を考えれば新規ユーザーのハードルを下げるためにも少しくらい相性が悪かろうが C系のシンタックスを採用した方が良いんじゃない？って思っただけ どれだけ理論が優れていようが結局のところ広く普及した言語の大半 (C/C++, Java, C#, JavaScript, PHP...etc.)はC系のシンタックス 勿論C系以外で普及した言語もある(Python, Ruby...etc.)けど…数はそれほど多くない Cのシンタックスを採用することに致命的な不都合があれば話は別だけど そうでなければ1つくらい依存型ありの言語でC系の言語があったって良いんじゃない？ 優れた理論が使われてる言語がそんなしようもない理由で普及しなかったら勿体ないじゃん 普及させるためにはそういう些細な部分は妥協したらどうだ？と思ったわけ http://mevius.5ch.net/test/read.cgi/tech/1530664695/113
120: デフォルトの名無しさん [sage] 2018/07/09(月) 21:22:54.54 ID:KFrfmR/A >>117 そうか？式指向でC系のシンタックスっていったら真っ先にRustが頭に浮かんだが 別に不格好とも無駄に記述量が多いとも感じないが… そもそもC系の時点で何指向だろうが関数型と比べると記述量は少し多くなるものだし… C系を式指向にしたところでそんなに変になるところは無いと思うんだが 別に全部C系にしろって言ってる訳じゃないんだ 依存型ありの言語にも1, 2個くらいC系があっても良いのにっ思ってるだけで… http://mevius.5ch.net/test/read.cgi/tech/1530664695/120
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.049s