[過去ﾛｸﾞ] 次世代言語13 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
479(1): 2018/09/06(木)00:35 ID:xkafI5Ml(1) AAS
>>436
互換性の所為でジェネリクスが半端になってしまったJavaのこと忘れるなよｗ
480: 2018/09/06(木)00:42 ID:a0xjqhVc(1) AAS
>>479
Javaのジェネリクスがクソなのは当時のSunに金がなかったから
互換性云々はただの建前で、どうせライブラリに互換性ないんだから何の意味もないよ
481: 2018/09/06(木)00:46 ID:+IzqqT+I(2/3) AAS
477 名前：デフォルトの名無しさん 2018/09/06(木) 00:19:03.10 ID:KwosysId
rubyスレに、荒らされてもないのにスレを荒らすなって騒いでる人が居るわけなんだけど、
その人はマジで統合失調症らしき人で、自演でrubyの悪口を書き込んでる人がいるという妄想に取り憑かれてる。
統合失調症は自覚するのが難しい病気なので受け流しといてください
478 名前：デフォルトの名無しさん 2018/09/06(木) 00:35:10.19 ID:D8Aso5qK
どっちもどっちというパワーワードがある限り
どっちもじゃなくて自分だけが悪いという自覚はありえない
マジで召喚できた
482: 2018/09/06(木)00:47 ID:+IzqqT+I(3/3) AAS
このスレで本当に自演してるとは思わなかった
ちょっとしたカマかけだったのに
483: 2018/09/06(木)00:51 ID:sXCgN5uP(1) AAS
自演乙
484(1): 2018/09/06(木)00:56 ID:UJiFcy/X(1) AAS
荒らしはどのスレでも湧くわけだから
荒らしが湧かないとか言ってるIDが荒らしって事か
485: 2018/09/06(木)01:05 ID:wlGr0D94(1/4) AAS
スレチのrubyの話題はもういいよ
486: 2018/09/06(木)01:12 ID:FUiU98w0(1) AAS
Go が年収高いのはライブラリが微妙だからセットで要求されるスキルが高いんじゃない？
487: 2018/09/06(木)01:13 ID:HD6I5JLn(1) AAS
自分からrubyの話題出してネガキャンしといて自演がばれたら話を流すってのを何回も見た
この板で
488: 2018/09/06(木)01:25 ID:UZSBUUik(1/2) AAS
嫌いな言語のために次世代言語スレで自演までするのはちょっと病的過ぎない？
正直気持ち悪い
489: 2018/09/06(木)01:42 ID:D8Aso5qK(2/3) AAS
むしろ今時ネット工作もできない勢力はちょっとだらしないと言われるのが気持ち悪い
490: 2018/09/06(木)01:46 ID:UZSBUUik(2/2) AAS
いやいや、自己正当化してる場合じゃないだろ気持ち悪い
491: 2018/09/06(木)01:55 ID:D8Aso5qK(3/3) AAS
自己正当化のノウハウがどこからか供給されている
まるでネット上のデータを学習したAIが人間を駆逐するみたいに
492(1): 2018/09/06(木)02:01 ID:3Abdeyqw(1/3) AAS
依存型難し過ぎて流行らないよなぁって気持ちが強いがどうなんだろうな
Ada20に採用されたら笑う
493: 2018/09/06(木)02:05 ID:zXYr6cPt(1/3) AAS
ああやっぱり
工作っぽい書き込みがあるなあとは思ってた
やってたのは結局一人だったのか
494(1): 2018/09/06(木)03:12 ID:V/6LC/Sf(1/2) AAS
Rubyまだまだすごいよ
GitHubもまだRubyで動いてる。価格comも
495: 2018/09/06(木)03:30 ID:zXYr6cPt(2/3) AAS
うわー
またマッチポンプしてる
こんなのがこのスレにいたのかよ
496(1): 2018/09/06(木)03:35 ID:+/ZmVn4O(1) AAS
>>494
え!?価格.comってC#(ASP.NET)じゃなかったっけ？
GitHubの方は知らないんだけどRubyだと信じても良いの？
497: 2018/09/06(木)03:39 ID:zXYr6cPt(3/3) AAS
ストーカーとかサイコパスとかいわれても仕方がないわこれ
正直、言語嫌いだけでここまでキモイ事が出来るものなの？
498: 2018/09/06(木)04:08 ID:V/6LC/Sf(2/2) AAS
>>496
価格comじゃなかった、食べログがRubyだった。
Githubは本当にRubyだよ！
499(2): 2018/09/06(木)05:23 ID:psScFFtw(1) AAS
昨日何があった？
今来た産業
500: 2018/09/06(木)05:41 ID:nrnTeigt(1) AAS
Rubyアンチがしこしこ自演して
マッチポンプをやってたのが
バレる
501: 2018/09/06(木)05:51 ID:YGmGLZO1(1/2) AAS
>>492
それは、どこまでを依存型と呼ぶかが難しいんだ
型の属性として(実行時の)値を使えるというだけなら結構多くの言語ができる
Adaも最初の83からできるし、最近のFortranもできる。C言語もVLAに限ればできる。勿論動的な言語はほぼ全部できる
しかし依存型と言われて期待するのは証明、それも静的なヤツなわけで
これは型と型の関係を記述できる関数(熟語)をかなり強力なレベルで書けないとできない
あと、厳密にラムダキューブに則った定義しか認めないとなると、関数型言語以外はどんなに強力でも全滅ってことになるし
502: 2018/09/06(木)06:00 ID:6rbARqNU(1) AAS
>>499
まとめるとこんな感じ？
Rubyの話からRubyスレの荒らしの話題が出たところで本人らしきレスが幾つか付く
↓
437で荒らしの過去の自演が暴露される
↓
476に釣られて荒らしと同じ事を言い出すID登場
↓
484に墓穴を指摘される
↓
あわてて流して誤魔化そうとするも失敗
↓
ストーカーじみた自演でネガキャンしてた事が知れ渡りスレ住民に気持ち悪るがられる←今ここ
503(1): 2018/09/06(木)06:21 ID:YGmGLZO1(2/2) AAS
あー実行時なのか静的なのかどっちだよってなってるな、スマン
証明とは全く別の話として、型に実行時の値を持たせられると便利だよねってグループがあって
で、単に値から型を作れるというだけでいいならそういうのも依存型と呼べてしまう、と言いたかったがぐじゃぐじゃになった
静的に証明をするなら勿論値もコンパイル時の値でないとだめなわけだけど
そこでもコンパイル時の型レベル関数と実行時の関数が完全に切り離されてるのか(C++のtemplateみたいな)
証明に使える関数を実行時にも普通の関数として使えるのか(Agda等)とまたグループがあるし
まあつまり、人によって「依存型」という言葉に期待する度合いが違うので
今後最小の機能しか持たない「依存型」が出てきて定理証明系クラスタを怒らせるのはあるかもとちょっと恐々としてるんだ……
(単に右辺の型を使うだけのものを「型推論」と呼んだ例みたいな)
504: 2018/09/06(木)06:31 ID:g3/CbYF1(1/2) AAS
>>499
荒しがキモがられてるところ
必死で誤魔化そうとしてるけど
505: 2018/09/06(木)06:36 ID:jHwt47OQ(1/6) AAS
旧世代言語の話はこっちで
次世代言語13 COBOL Java PHP VBA Ruby
2chｽﾚ:tech
506: 2018/09/06(木)06:41 ID:g3/CbYF1(2/2) AAS
>473デフォルトの名無しさん2018/09/05(水) 23:53:57.76ID:ydKMuO/u
>複数回線持っててマッチポンプを繰り返してるんだっけ確か？
>過去スレでRubyだけじゃなくム板を荒らしまわってるって本人が書き込んでる
って事だから自由にID変えて書き込めるらしい
507: 2018/09/06(木)06:49 ID:jHwt47OQ(2/6) AAS
このスレも次はワッチョイ入れた方がいいんじゃない？
508: 2018/09/06(木)06:53 ID:ZvgfckHe(1) AAS
あちこち荒れてんのは裁判で負けた方たちの腹いせ
上下前次1-新書関写板覧索設栞歴
あと 494 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.014s