[過去ﾛｸﾞ]
次世代言語13 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
次世代言語13 Go Rust Swift Kotlin TypeScript http://mevius.5ch.net/test/read.cgi/tech/1534769753/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
431: デフォルトの名無しさん [sage] 2018/09/05(水) 07:06:22.15 ID:EtXxKwcu pythonが書きにくいとか頭が悪いとしか思えんのだが。 http://mevius.5ch.net/test/read.cgi/tech/1534769753/431
432: デフォルトの名無しさん [sage] 2018/09/05(水) 07:42:25.08 ID:cPIGyNE8 お前は知能が低すぎてものを全然覚えられないからそう思うんだろうが、 人並みの記憶力があるならワンライナーとか使い捨てスクリプト書く分には省略記法がいろいろある方が早くて楽 http://mevius.5ch.net/test/read.cgi/tech/1534769753/432
433: デフォルトの名無しさん [sage] 2018/09/05(水) 07:46:30.96 ID:Wwq/qkqa でもRubyのシェア右肩下がりじゃん http://mevius.5ch.net/test/read.cgi/tech/1534769753/433
434: デフォルトの名無しさん [sage] 2018/09/05(水) 07:55:32.05 ID:cPIGyNE8 Rubyの主用途は使い捨てスクリプトとかちょっとした個人制作のツールとかなんで、そもそもが広いシェア取るような言語じゃない Railsとかで中規模以上のプロダクト作ってた時代がアホなだけ http://mevius.5ch.net/test/read.cgi/tech/1534769753/434
435: デフォルトの名無しさん [sage] 2018/09/05(水) 09:25:20.31 ID:K+FwV09o そんな事言ってるとSmalltalkみたいなシェアになっちゃうぞ いいのか？ http://mevius.5ch.net/test/read.cgi/tech/1534769753/435
436: デフォルトの名無しさん [sage] 2018/09/05(水) 09:28:19.19 ID:XbYQpfeV Go2でジェネリクスつくのはいいけど既存との互換性はちゃんと確保するんだろうか？ python2と3みたいな関係はやめていただきたい http://mevius.5ch.net/test/read.cgi/tech/1534769753/436
437: デフォルトの名無しさん [sage] 2018/09/05(水) 10:02:50.11 ID:TxisJ4l5 もう何年も前に「ジェネリクスは必要」って誰かが発言したとする この発言自体がものすごくわかりにくい 実際、わかるまで何年も時間がかかっただろ 言語の設計は「読みやすさ」と「書きやすさ」で対立しているのではない 「読みやすい嘘」と「読みにくい正論」で対立している http://mevius.5ch.net/test/read.cgi/tech/1534769753/437
438: デフォルトの名無しさん [sage] 2018/09/05(水) 12:32:58.24 ID:o1PiTYm1 C以外の他の言語やってる人はだいたい必要だと思ってるんじゃないかな http://mevius.5ch.net/test/read.cgi/tech/1534769753/438
439: デフォルトの名無しさん [sage] 2018/09/05(水) 12:33:00.91 ID:QYJ58+nm 次世代言語を学ぶ意味は？ http://mevius.5ch.net/test/read.cgi/tech/1534769753/439
440: デフォルトの名無しさん [sage] 2018/09/05(水) 12:34:48.07 ID:o1PiTYm1 むしろGoにはジェネリクスいらないを連呼してた人達はどうするのか気になる http://mevius.5ch.net/test/read.cgi/tech/1534769753/440
441: デフォルトの名無しさん [sage] 2018/09/05(水) 12:38:23.32 ID:vR71MkGj Rubyそんなシェア落ちてん？って急降下じゃんwww https://pbs.twimg.com/media/Di_fIwmUUAES3Lk.jpg http://mevius.5ch.net/test/read.cgi/tech/1534769753/441
442: デフォルトの名無しさん [sage] 2018/09/05(水) 12:44:11.29 ID:32Pq/O6E 2011なにがあったんだ？ http://mevius.5ch.net/test/read.cgi/tech/1534769753/442
443: デフォルトの名無しさん [sage] 2018/09/05(水) 12:53:24.43 ID:6/0ZHi8J 最近はもう「〜に〜は不要」発言はそのうちバージョンアップで実装されるフラグにしか思えなくなってきた Javaあたりからの伝統 http://mevius.5ch.net/test/read.cgi/tech/1534769753/443
444: デフォルトの名無しさん [sage] 2018/09/05(水) 12:56:53.07 ID:OIm19YQn 元記事要約すると グラフはGitHubの統計 GitHubはRubyコミュニティの有名人が参加してた GitHubは当初Rubyユーザーが多かった 2011年からGitHubユーザーが爆発的に増え、多様な言語が流入した 相対的減ってるように見えるだけ Rubyアクティブユーザー数は増えてる まあ俺はRuby避けてPython使うが http://mevius.5ch.net/test/read.cgi/tech/1534769753/444
445: デフォルトの名無しさん [sage] 2018/09/05(水) 13:09:19.68 ID:L42fIuj6 そりゃ読む回数のほうが書く回数より多いんだからrubyは嫌だよってなるのかな？ http://mevius.5ch.net/test/read.cgi/tech/1534769753/445
446: デフォルトの名無しさん [sage] 2018/09/05(水) 13:22:32.04 ID:abh8X1Kh rubyはよく整理された構造的なスパゲッティコードが出来上がってるから読むの大変 http://mevius.5ch.net/test/read.cgi/tech/1534769753/446
447: デフォルトの名無しさん [sage] 2018/09/05(水) 13:38:44.60 ID:TxisJ4l5 読むのと書くのを対立させるのは多分嘘だ 読みやすさを犠牲にするケースがあるのは本当 だがそれを犠牲にして何を手に入れたいのかはケースバイケースだから 全てのケースで常に「書きやすさ」を欲しているというのは嘘だろう http://mevius.5ch.net/test/read.cgi/tech/1534769753/447
448: デフォルトの名無しさん [sage] 2018/09/05(水) 13:46:15.20 ID:OUMJLdaL >>444 元記事見るとわかるけど、アクティブユーザーの絶対数も減少し始めてるよ http://mevius.5ch.net/test/read.cgi/tech/1534769753/448
449: デフォルトの名無しさん [sage] 2018/09/05(水) 14:36:25.98 ID:vR71MkGj > Rubyアクティブユーザー数は増えてる なんだよ嘘かよ信じかけちゃったよ！ http://mevius.5ch.net/test/read.cgi/tech/1534769753/449
450: デフォルトの名無しさん [sage] 2018/09/05(水) 14:38:07.08 ID:k5ZxgDvw ／⌒ヽ ∩ ^ω^) な ん だ | ⊂ﾉ | ＿_⊃ し′ ／⌒ヽ (^ω^ ∩ う そ か (⊃ | ⊂＿_ | `Ｊ ／⌒ヽ ( ) おっおっ ／ _つ おっ (_(_⌒)′ ∪(ノ http://mevius.5ch.net/test/read.cgi/tech/1534769753/450
451: デフォルトの名無しさん [sage] 2018/09/05(水) 16:09:58.24 ID:UYLlzrbu クックパッドと鳥取とモルモンしか使ってないだろ http://mevius.5ch.net/test/read.cgi/tech/1534769753/451
452: デフォルトの名無しさん [sage] 2018/09/05(水) 18:43:26.51 ID:vKi2/Ppr Rubyの読みにくさは簡単な話ではない すこし入り組んでる プログラミングしようとする対象がすでに入り組んでいるから Rubyをもってしても入り組んでおり結果読みにくい 他の言語でやろうとしても同様に読みにくい 簡単なことを他の言語で書くと、読みやすい 簡単なことをRubyで書くと、もっと読みやすい 複雑なことを他の言語で書くと、読みにくい 複雑なことをRubyで書いても、読みやすいとまではいかない このへんの観点での観察が必要 http://mevius.5ch.net/test/read.cgi/tech/1534769753/452
453: デフォルトの名無しさん [sage] 2018/09/05(水) 19:20:41.23 ID:EtXxKwcu いやrailsとか見るとただrubyがクソだから以上の理由はないよ。 作るものが複雑？ 馬鹿が無駄に複雑にしてるだけだろw http://mevius.5ch.net/test/read.cgi/tech/1534769753/453
454: デフォルトの名無しさん [sage] 2018/09/05(水) 20:02:58.57 ID:xj/p8t/u 詳しい人居たら聞いてみたいんだけどRuby作者のまつもと氏とRailsコミュニティの関係性ってどうなの？ なんとなく目指す方向性に解離があるんじゃないかとか思ったんだけど http://mevius.5ch.net/test/read.cgi/tech/1534769753/454
455: デフォルトの名無しさん [sage] 2018/09/05(水) 20:22:57.31 ID:qZRKLVoM >>441 つか選択肢がおかしい http://mevius.5ch.net/test/read.cgi/tech/1534769753/455
456: デフォルトの名無しさん [sage] 2018/09/05(水) 20:32:43.37 ID:H87uqQmT RAILSは最初にさわるべきじゃないよね 高機能かつ隠蔽的すぎて、自分のキャリアを削ってものを作ってる感覚になる http://mevius.5ch.net/test/read.cgi/tech/1534769753/456
457: デフォルトの名無しさん [sage] 2018/09/05(水) 20:57:37.50 ID:Wac+KDd5 >>454 Matzはコミッタの一人に過ぎないよ リリースノートに平気でRailsの〇〇改善が並んでるのに今更すぎる 今のRubyは正真正銘Rails Scriptだよ http://mevius.5ch.net/test/read.cgi/tech/1534769753/457
458: デフォルトの名無しさん [sage] 2018/09/05(水) 21:19:12.25 ID:Wwq/qkqa え？ MatzがNoって言った機能も入るようになったの？ http://mevius.5ch.net/test/read.cgi/tech/1534769753/458
459: デフォルトの名無しさん [sage] 2018/09/05(水) 21:19:28.63 ID:bxkn2V/Q >>440 あったら使うかもしれないが、なくても困らない。 Rubyはあっても使わない。 http://mevius.5ch.net/test/read.cgi/tech/1534769753/459
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
461: デフォルトの名無しさん [sage] 2018/09/05(水) 22:02:18.97 ID:P6CiT7hM デカ過ぎるコミュニティと個人創始者って大体摩擦があるからRubyはどうなのかな？って思っただけ http://mevius.5ch.net/test/read.cgi/tech/1534769753/461
462: デフォルトの名無しさん [sage] 2018/09/05(水) 22:25:59.22 ID:rOonwoGk rubyスレ見てると自演で荒らしてる奴は一人っぽいけどな 親でも殺されたのか、rubyにすごいヘイトを貯めてる そのワリにアンチスレは物凄く低空飛行だけど http://mevius.5ch.net/test/read.cgi/tech/1534769753/462
463: デフォルトの名無しさん [sage] 2018/09/05(水) 22:29:20.53 ID:CAQNH5IR Rubyには、アンチが沸くほどの力も残ってない。 FreeBSDの時もそうだった、ただ黙って衰退するのみ。 http://mevius.5ch.net/test/read.cgi/tech/1534769753/463
464: デフォルトの名無しさん [sage] 2018/09/05(水) 22:37:25.63 ID:rOonwoGk アンチはRubyいらない言うけど、必要だからスレがあるんだろ？ http://mevius.5ch.net/test/read.cgi/tech/1534769753/464
465: デフォルトの名無しさん [sage] 2018/09/05(水) 22:44:33.12 ID:qi62NjG+ 関係ないスレで自己主張してくるRubyerがウザいなって場面は結構ある ここでももちろんスレチじゃん？ 他でも関係ない言語のスレで唐突にRubyの話始めるヤツ何度か見た TPOくらい弁えて欲しいもんだな http://mevius.5ch.net/test/read.cgi/tech/1534769753/465
466: デフォルトの名無しさん [sage] 2018/09/05(水) 22:50:52.36 ID:ra2itUq+ なんか急に狂犬っぽいのが涌いたけど Rubyスレを荒らしてる奴か？ http://mevius.5ch.net/test/read.cgi/tech/1534769753/466
467: デフォルトの名無しさん [sage] 2018/09/05(水) 22:53:27.59 ID:cnOS0kjS どっちかっていうとRubyアンチが関係ないスレで唐突にとんちんかんなRuby批判始めて突っ込まれてるだけだな http://mevius.5ch.net/test/read.cgi/tech/1534769753/467
468: デフォルトの名無しさん [sage] 2018/09/05(水) 23:32:32.17 ID:H87uqQmT 良くも悪くも目立つからじゃない？>ruby 思うところのある人が多いから書き込みがあると反応するヤツが多い 俺みたいにな http://mevius.5ch.net/test/read.cgi/tech/1534769753/468
469: デフォルトの名無しさん [sage] 2018/09/05(水) 23:35:21.05 ID:eSjeakUV アンチという言葉を久々に聞いた気がする いつも海自だのアスペだの言い合ってる奴らに比べたら平和すぎるくらいだ http://mevius.5ch.net/test/read.cgi/tech/1534769753/469
470: デフォルトの名無しさん [] 2018/09/05(水) 23:38:45.45 ID:d4QI23bj なんでGoごときが年収高いねん http://mevius.5ch.net/test/read.cgi/tech/1534769753/470
471: デフォルトの名無しさん [sage] 2018/09/05(水) 23:39:21.39 ID:UYLlzrbu 日本製じゃなきゃ悪目立ちしないだろうにな http://mevius.5ch.net/test/read.cgi/tech/1534769753/471
472: デフォルトの名無しさん [] 2018/09/05(水) 23:40:47.20 ID:d4QI23bj Ruby＜Rails かなしいなあ http://mevius.5ch.net/test/read.cgi/tech/1534769753/472
473: デフォルトの名無しさん [sage] 2018/09/05(水) 23:53:57.76 ID:ydKMuO/u 複数回線持っててマッチポンプを繰り返してるんだっけ確か？ 過去スレでRubyだけじゃなくム板を荒らしまわってるって本人が書き込んでる http://mevius.5ch.net/test/read.cgi/tech/1534769753/473
474: デフォルトの名無しさん [sage] 2018/09/05(水) 23:56:06.76 ID:bxkn2V/Q >>470 仕方ないンGo http://mevius.5ch.net/test/read.cgi/tech/1534769753/474
475: デフォルトの名無しさん [sage] 2018/09/06(木) 00:05:37.81 ID:emh5oWPB 怒涛の自演率だな 言語にヘイト向けるのはやめとけよ http://mevius.5ch.net/test/read.cgi/tech/1534769753/475
476: デフォルトの名無しさん [] 2018/09/06(木) 00:18:27.73 ID:+IzqqT+I 何？ Rubyアンチの荒らし、 ここでも自演してんの？ http://mevius.5ch.net/test/read.cgi/tech/1534769753/476
477: デフォルトの名無しさん [sage] 2018/09/06(木) 00:19:03.10 ID:KwosysId rubyスレに、荒らされてもないのにスレを荒らすなって騒いでる人が居るわけなんだけど、 その人はマジで統合失調症らしき人で、自演でrubyの悪口を書き込んでる人がいるという妄想に取り憑かれてる。 統合失調症は自覚するのが難しい病気なので受け流しといてください http://mevius.5ch.net/test/read.cgi/tech/1534769753/477
478: デフォルトの名無しさん [sage] 2018/09/06(木) 00:35:10.19 ID:D8Aso5qK どっちもどっちというパワーワードがある限り どっちもじゃなくて自分だけが悪いという自覚はありえない http://mevius.5ch.net/test/read.cgi/tech/1534769753/478
479: デフォルトの名無しさん [] 2018/09/06(木) 00:35:52.00 ID:xkafI5Ml >>436 互換性の所為でジェネリクスが半端になってしまったJavaのこと忘れるなよｗ http://mevius.5ch.net/test/read.cgi/tech/1534769753/479
480: デフォルトの名無しさん [sage] 2018/09/06(木) 00:42:29.53 ID:a0xjqhVc >>479 Javaのジェネリクスがクソなのは当時のSunに金がなかったから 互換性云々はただの建前で、どうせライブラリに互換性ないんだから何の意味もないよ http://mevius.5ch.net/test/read.cgi/tech/1534769753/480
481: デフォルトの名無しさん [] 2018/09/06(木) 00:46:29.73 ID:+IzqqT+I 477 名前：デフォルトの名無しさん 2018/09/06(木) 00:19:03.10 ID:KwosysId rubyスレに、荒らされてもないのにスレを荒らすなって騒いでる人が居るわけなんだけど、 その人はマジで統合失調症らしき人で、自演でrubyの悪口を書き込んでる人がいるという妄想に取り憑かれてる。 統合失調症は自覚するのが難しい病気なので受け流しといてください 478 名前：デフォルトの名無しさん 2018/09/06(木) 00:35:10.19 ID:D8Aso5qK どっちもどっちというパワーワードがある限り どっちもじゃなくて自分だけが悪いという自覚はありえない マジで召喚できた http://mevius.5ch.net/test/read.cgi/tech/1534769753/481
482: デフォルトの名無しさん [] 2018/09/06(木) 00:47:48.04 ID:+IzqqT+I このスレで本当に自演してるとは思わなかった ちょっとしたカマかけだったのに http://mevius.5ch.net/test/read.cgi/tech/1534769753/482
483: デフォルトの名無しさん [sage] 2018/09/06(木) 00:51:31.32 ID:sXCgN5uP 自演乙 http://mevius.5ch.net/test/read.cgi/tech/1534769753/483
484: デフォルトの名無しさん [sage] 2018/09/06(木) 00:56:59.92 ID:UJiFcy/X 荒らしはどのスレでも湧くわけだから 荒らしが湧かないとか言ってるIDが荒らしって事か http://mevius.5ch.net/test/read.cgi/tech/1534769753/484
485: デフォルトの名無しさん [] 2018/09/06(木) 01:05:12.01 ID:wlGr0D94 スレチのrubyの話題はもういいよ http://mevius.5ch.net/test/read.cgi/tech/1534769753/485
486: デフォルトの名無しさん [sage] 2018/09/06(木) 01:12:04.91 ID:FUiU98w0 Go が年収高いのはライブラリが微妙だからセットで要求されるスキルが高いんじゃない？ http://mevius.5ch.net/test/read.cgi/tech/1534769753/486
487: デフォルトの名無しさん [] 2018/09/06(木) 01:13:41.89 ID:HD6I5JLn 自分からrubyの話題出してネガキャンしといて自演がばれたら話を流すってのを何回も見た この板で http://mevius.5ch.net/test/read.cgi/tech/1534769753/487
488: デフォルトの名無しさん [sage] 2018/09/06(木) 01:25:27.88 ID:UZSBUUik 嫌いな言語のために次世代言語スレで自演までするのはちょっと病的過ぎない？ 正直気持ち悪い http://mevius.5ch.net/test/read.cgi/tech/1534769753/488
489: デフォルトの名無しさん [sage] 2018/09/06(木) 01:42:34.93 ID:D8Aso5qK むしろ今時ネット工作もできない勢力はちょっとだらしないと言われるのが気持ち悪い http://mevius.5ch.net/test/read.cgi/tech/1534769753/489
490: デフォルトの名無しさん [sage] 2018/09/06(木) 01:46:09.21 ID:UZSBUUik いやいや、自己正当化してる場合じゃないだろ気持ち悪い http://mevius.5ch.net/test/read.cgi/tech/1534769753/490
491: デフォルトの名無しさん [sage] 2018/09/06(木) 01:55:14.40 ID:D8Aso5qK 自己正当化のノウハウがどこからか供給されている まるでネット上のデータを学習したAIが人間を駆逐するみたいに http://mevius.5ch.net/test/read.cgi/tech/1534769753/491
492: デフォルトの名無しさん [sage] 2018/09/06(木) 02:01:31.14 ID:3Abdeyqw 依存型難し過ぎて流行らないよなぁって気持ちが強いがどうなんだろうな Ada20に採用されたら笑う http://mevius.5ch.net/test/read.cgi/tech/1534769753/492
493: デフォルトの名無しさん [sage] 2018/09/06(木) 02:05:01.32 ID:zXYr6cPt ああやっぱり 工作っぽい書き込みがあるなあとは思ってた やってたのは結局一人だったのか http://mevius.5ch.net/test/read.cgi/tech/1534769753/493
494: デフォルトの名無しさん [sage] 2018/09/06(木) 03:12:30.08 ID:V/6LC/Sf Rubyまだまだすごいよ GitHubもまだRubyで動いてる。価格comも http://mevius.5ch.net/test/read.cgi/tech/1534769753/494
495: デフォルトの名無しさん [sage] 2018/09/06(木) 03:30:26.34 ID:zXYr6cPt うわー またマッチポンプしてる こんなのがこのスレにいたのかよ http://mevius.5ch.net/test/read.cgi/tech/1534769753/495
496: デフォルトの名無しさん [sage] 2018/09/06(木) 03:35:25.17 ID:+/ZmVn4O >>494 え!?価格.comってC#(ASP.NET)じゃなかったっけ？ GitHubの方は知らないんだけどRubyだと信じても良いの？ http://mevius.5ch.net/test/read.cgi/tech/1534769753/496
497: デフォルトの名無しさん [sage] 2018/09/06(木) 03:39:02.07 ID:zXYr6cPt ストーカーとかサイコパスとかいわれても仕方がないわこれ 正直、言語嫌いだけでここまでキモイ事が出来るものなの？ http://mevius.5ch.net/test/read.cgi/tech/1534769753/497
498: デフォルトの名無しさん [sage] 2018/09/06(木) 04:08:58.28 ID:V/6LC/Sf >>496 価格comじゃなかった、食べログがRubyだった。 Githubは本当にRubyだよ！ http://mevius.5ch.net/test/read.cgi/tech/1534769753/498
499: デフォルトの名無しさん [] 2018/09/06(木) 05:23:12.74 ID:psScFFtw 昨日何があった？ 今来た産業 http://mevius.5ch.net/test/read.cgi/tech/1534769753/499
500: デフォルトの名無しさん [sage] 2018/09/06(木) 05:41:31.29 ID:nrnTeigt Rubyアンチがしこしこ自演して マッチポンプをやってたのが バレる http://mevius.5ch.net/test/read.cgi/tech/1534769753/500
501: デフォルトの名無しさん [sage] 2018/09/06(木) 05:51:15.46 ID:YGmGLZO1 >>492 それは、どこまでを依存型と呼ぶかが難しいんだ 型の属性として(実行時の)値を使えるというだけなら結構多くの言語ができる Adaも最初の83からできるし、最近のFortranもできる。C言語もVLAに限ればできる。勿論動的な言語はほぼ全部できる しかし依存型と言われて期待するのは証明、それも静的なヤツなわけで これは型と型の関係を記述できる関数(熟語)をかなり強力なレベルで書けないとできない あと、厳密にラムダキューブに則った定義しか認めないとなると、関数型言語以外はどんなに強力でも全滅ってことになるし http://mevius.5ch.net/test/read.cgi/tech/1534769753/501
502: デフォルトの名無しさん [sage] 2018/09/06(木) 06:00:51.43 ID:6rbARqNU >>499 まとめるとこんな感じ？ Rubyの話からRubyスレの荒らしの話題が出たところで本人らしきレスが幾つか付く ↓ 437で荒らしの過去の自演が暴露される ↓ 476に釣られて荒らしと同じ事を言い出すID登場 ↓ 484に墓穴を指摘される ↓ あわてて流して誤魔化そうとするも失敗 ↓ ストーカーじみた自演でネガキャンしてた事が知れ渡りスレ住民に気持ち悪るがられる←今ここ http://mevius.5ch.net/test/read.cgi/tech/1534769753/502
503: デフォルトの名無しさん [sage] 2018/09/06(木) 06:21:10.79 ID:YGmGLZO1 あー実行時なのか静的なのかどっちだよってなってるな、スマン 証明とは全く別の話として、型に実行時の値を持たせられると便利だよねってグループがあって で、単に値から型を作れるというだけでいいならそういうのも依存型と呼べてしまう、と言いたかったがぐじゃぐじゃになった 静的に証明をするなら勿論値もコンパイル時の値でないとだめなわけだけど そこでもコンパイル時の型レベル関数と実行時の関数が完全に切り離されてるのか(C++のtemplateみたいな) 証明に使える関数を実行時にも普通の関数として使えるのか(Agda等)とまたグループがあるし まあつまり、人によって「依存型」という言葉に期待する度合いが違うので 今後最小の機能しか持たない「依存型」が出てきて定理証明系クラスタを怒らせるのはあるかもとちょっと恐々としてるんだ…… (単に右辺の型を使うだけのものを「型推論」と呼んだ例みたいな) http://mevius.5ch.net/test/read.cgi/tech/1534769753/503
504: デフォルトの名無しさん [] 2018/09/06(木) 06:31:29.68 ID:g3/CbYF1 >>499 荒しがキモがられてるところ 必死で誤魔化そうとしてるけど http://mevius.5ch.net/test/read.cgi/tech/1534769753/504
505: デフォルトの名無しさん [sage] 2018/09/06(木) 06:36:51.93 ID:jHwt47OQ 旧世代言語の話はこっちで 次世代言語13 COBOL Java PHP VBA Ruby https://mevius.5ch.net/test/read.cgi/tech/1534769242/ http://mevius.5ch.net/test/read.cgi/tech/1534769753/505
506: デフォルトの名無しさん [] 2018/09/06(木) 06:41:06.91 ID:g3/CbYF1 >473デフォルトの名無しさん2018/09/05(水) 23:53:57.76ID:ydKMuO/u >複数回線持っててマッチポンプを繰り返してるんだっけ確か？ >過去スレでRubyだけじゃなくム板を荒らしまわってるって本人が書き込んでる って事だから自由にID変えて書き込めるらしい http://mevius.5ch.net/test/read.cgi/tech/1534769753/506
507: デフォルトの名無しさん [sage] 2018/09/06(木) 06:49:22.37 ID:jHwt47OQ このスレも次はワッチョイ入れた方がいいんじゃない？ http://mevius.5ch.net/test/read.cgi/tech/1534769753/507
508: デフォルトの名無しさん [sage] 2018/09/06(木) 06:53:12.86 ID:ZvgfckHe あちこち荒れてんのは裁判で負けた方たちの腹いせ http://mevius.5ch.net/test/read.cgi/tech/1534769753/508
509: デフォルトの名無しさん [sage] 2018/09/06(木) 06:59:34.48 ID:CldwsQNk 複数の回線をもっている荒らしは何故か必ずﾜｯﾁｮｲを導入しようとする まぁ、バカでもわかる絡繰だわ いっその事IP表示にすれば良いのに http://mevius.5ch.net/test/read.cgi/tech/1534769753/509
510: デフォルトの名無しさん [sage] 2018/09/06(木) 07:38:10.90 ID:jHwt47OQ >>509 まぁIPでもいいんじゃない？現行単発IDが多すぎてどうにもね http://mevius.5ch.net/test/read.cgi/tech/1534769753/510
511: デフォルトの名無しさん [sage] 2018/09/06(木) 09:56:35.47 ID:3Abdeyqw >>503 多分言わんとする所は理解できた こちらとしては証明を含めた静的な世界での依存型が難しいという話で、単に型に値を含めるようなのはそちらの言うとおり既に実務向け言語でいくつか有るので、それらは依存型から除いて流行らないと言ってしまったな http://mevius.5ch.net/test/read.cgi/tech/1534769753/511
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 491 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.017s