[過去ﾛｸﾞ]
次世代言語13 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
次世代言語13 Go Rust Swift Kotlin TypeScript http://mevius.5ch.net/test/read.cgi/tech/1534769753/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
302: デフォルトの名無しさん [sage] 2018/09/01(土) 20:13:43.79 ID:8XWt4TWp >>300 じゃあ関数呼び出し式 (f)(a, b) はどう解釈する? 君のいう正しい解釈のように ((f)(a))(b) と解釈する言語も実際に存在するけど、あまり一般的ではないよね http://mevius.5ch.net/test/read.cgi/tech/1534769753/302
460: デフォルトの名無しさん [sage] 2018/09/05(水) 21:32:07.79 ID:cPIGyNE8 >>458 よく知らないヤツが適当言ってるだけ https://www.ruby-lang.org/ja/news/2017/12/25/ruby-2-5-0-released/ Ruby側から見たRailsは最初から今に至るまで「フレームワークのひとつ」の域を出ないよ http://mevius.5ch.net/test/read.cgi/tech/1534769753/460
503: デフォルトの名無しさん [sage] 2018/09/06(木) 06:21:10.79 ID:YGmGLZO1 あー実行時なのか静的なのかどっちだよってなってるな、スマン 証明とは全く別の話として、型に実行時の値を持たせられると便利だよねってグループがあって で、単に値から型を作れるというだけでいいならそういうのも依存型と呼べてしまう、と言いたかったがぐじゃぐじゃになった 静的に証明をするなら勿論値もコンパイル時の値でないとだめなわけだけど そこでもコンパイル時の型レベル関数と実行時の関数が完全に切り離されてるのか(C++のtemplateみたいな) 証明に使える関数を実行時にも普通の関数として使えるのか(Agda等)とまたグループがあるし まあつまり、人によって「依存型」という言葉に期待する度合いが違うので 今後最小の機能しか持たない「依存型」が出てきて定理証明系クラスタを怒らせるのはあるかもとちょっと恐々としてるんだ…… (単に右辺の型を使うだけのものを「型推論」と呼んだ例みたいな) http://mevius.5ch.net/test/read.cgi/tech/1534769753/503
531: デフォルトの名無しさん [sage] 2018/09/06(木) 19:32:15.79 ID:3Abdeyqw 依存型の話しようよう…… http://mevius.5ch.net/test/read.cgi/tech/1534769753/531
655: デフォルトの名無しさん [sage] 2018/09/07(金) 23:44:31.79 ID:ZyeJeVMb Ruby信者が熱心に信仰してる理由ってなんなの？ 他の言語より優れてる部分って具体的になに？ http://mevius.5ch.net/test/read.cgi/tech/1534769753/655
884: デフォルトの名無しさん [sage] 2018/09/11(火) 05:06:44.79 ID:dDLoZUed Ruby信者＝◆QZaw55cn4c粘着＝Python粘着なのかな 正直Pythonも次世代言語でもなんでもないし大しては持ち上げられてもないのになんで引合に出してんだか RubyもPythonもNGワードにぶち込んだらこのスレも大分スッキリしそうだな http://mevius.5ch.net/test/read.cgi/tech/1534769753/884
906: デフォルトの名無しさん [sage] 2018/09/11(火) 16:40:22.79 ID:je6kVHqj 昔はD言語も次世代言語なんて呼ばれてた時期もあったのにな 流行る間もなく旧世代になってしまった http://mevius.5ch.net/test/read.cgi/tech/1534769753/906
941: デフォルトの名無しさん [sage] 2018/09/11(火) 21:32:29.79 ID:DRhBMomg 9つのC言語を操る次世代ゲンガーな俺たちなら、ワッチョイくらいチョチョイノワッチョイで誤魔化せるやろ せやろ？ http://mevius.5ch.net/test/read.cgi/tech/1534769753/941
994: デフォルトの名無しさん [sage] 2018/09/12(水) 14:04:04.79 ID:d/VCv3vQ どういうこと？KotlinはiOSアプリも簡単に作れるの？ http://mevius.5ch.net/test/read.cgi/tech/1534769753/994
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.043s