[過去ﾛｸﾞ] 次世代言語13 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
あちこち荒れてんのは裁判で負けた方たちの腹いせ
509(1): 2018/09/06(木)06:59 ID:CldwsQNk(1) AAS
複数の回線をもっている荒らしは何故か必ずﾜｯﾁｮｲを導入しようとする
まぁ、バカでもわかる絡繰だわ
いっその事IP表示にすれば良いのに
510: 2018/09/06(木)07:38 ID:jHwt47OQ(3/6) AAS
>>509
まぁIPでもいいんじゃない？現行単発IDが多すぎてどうにもね
511: 2018/09/06(木)09:56 ID:3Abdeyqw(2/3) AAS
>>503
多分言わんとする所は理解できた
こちらとしては証明を含めた静的な世界での依存型が難しいという話で、単に型に値を含めるようなのはそちらの言うとおり既に実務向け言語でいくつか有るので、それらは依存型から除いて流行らないと言ってしまったな
512(2): 2018/09/06(木)10:46 ID:UI2giREj(1) AAS
JavaScript でも、荒らしていた奴だろ。
色々な板や、ほとんどの言語・スレを荒らしているから、相手をするな！
基本的に、ソースコードを書かない奴は、荒らし。
プログラミングできない奴と会話するな！
513: 2018/09/06(木)11:19 ID:81SkF9sN(1) AAS
またなんか極論言う馬鹿が現れた
514: 2018/09/06(木)12:37 ID:0hSJBx41(1) AAS
>>512
RPGツクールのスクリプト言語枠を奪われた恨みかな？
515: 2018/09/06(木)14:22 ID:jOmc1UUP(1/3) AAS
他のスレを粘着して荒らしてたのってRubyアンチの荒らしだろ？
昨日、自演してたのがバレたみたいだし
>Rubyの話からRubyスレの荒らしの話題が出たところで本人らしきレスが幾つか付く
>↓
>437で荒らしの過去の自演が暴露される
>↓
>476に釣られて荒らしと同じ事を言い出すID登場
>↓
>484に墓穴を指摘される
>↓
>あわてて流して誤魔化そうとするも失敗
>↓
>ストーカーじみた自演でネガキャンしてた事が知れ渡りスレ住民に気持ち悪るがられる←今ここ
516: 2018/09/06(木)15:05 ID:AJ+5hlJ0(1/6) AAS
「隠し事」の話題には熱心だが「嘘」の話題には無関心な人が一定数いる気がする
隠し事がバレるのは何も知らない状態から急に何かが判明する
一方、嘘がバレるというのは、知っていると思っていたものが妄想だったということだ
人間並みの知能に必要なのは単純に多くの知識を持つことだけではなくて
「嘘だった」という認知ができること
そうすることで誤った知識を訂正できることなんだ
517: 2018/09/06(木)15:08 ID:jOmc1UUP(2/3) AAS
早口で言ってそう
上下前次1-新書関写板覧索設栞歴
あと 485 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.018s