[過去ﾛｸﾞ] 次世代言語13 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
497: デフォルトの名無しさん [sage] 2018/09/06(木) 03:39:02.07 ID:zXYr6cPt(3/3) AAS
ストーカーとかサイコパスとかいわれても仕方がないわこれ
正直、言語嫌いだけでここまでキモイ事が出来るものなの？
498: デフォルトの名無しさん [sage] 2018/09/06(木) 04:08:58.28 ID:V/6LC/Sf(2/2) AAS
>>496496(1): デフォルトの名無しさん [sage] 2018/09/06(木) 03:35:25.17 ID:+/ZmVn4O(1) AAS
>>494
え!?価格.comってC#(ASP.NET)じゃなかったっけ？
GitHubの方は知らないんだけどRubyだと信じても良いの？
価格comじゃなかった、食べログがRubyだった。
Githubは本当にRubyだよ！
499(2): デフォルトの名無しさん [] 2018/09/06(木) 05:23:12.74 ID:psScFFtw(1) AAS
昨日何があった？
今来た産業
500: デフォルトの名無しさん [sage] 2018/09/06(木) 05:41:31.29 ID:nrnTeigt(1) AAS
Rubyアンチがしこしこ自演して
マッチポンプをやってたのが
バレる
501: デフォルトの名無しさん [sage] 2018/09/06(木) 05:51:15.46 ID:YGmGLZO1(1/2) AAS
>>492それは、どこまでを依存型と呼ぶかが難しいんだ
型の属性として(実行時の)値を使えるというだけなら結構多くの言語ができる
Adaも最初の83からできるし、最近のFortranもできる。C言語もVLAに限ればできる。勿論動的な言語はほぼ全部できる
しかし依存型と言われて期待するのは証明、それも静的なヤツなわけで
これは型と型の関係を記述できる関数(熟語)をかなり強力なレベルで書けないとできない
あと、厳密にラムダキューブに則った定義しか認めないとなると、関数型言語以外はどんなに強力でも全滅ってことになるし
502: デフォルトの名無しさん [sage] 2018/09/06(木) 06:00:51.43 ID:6rbARqNU(1) AAS
>>499
まとめるとこんな感じ？
Rubyの話からRubyスレの荒らしの話題が出たところで本人らしきレスが幾つか付く
↓
437で荒らしの過去の自演が暴露される
↓
476に釣られて荒らしと同じ事を言い出すID登場
↓
484に墓穴を指摘される
↓
あわてて流して誤魔化そうとするも失敗
↓
ストーカーじみた自演でネガキャンしてた事が知れ渡りスレ住民に気持ち悪るがられる←今ここ
503(1): デフォルトの名無しさん [sage] 2018/09/06(木) 06:21:10.79 ID:YGmGLZO1(2/2) AAS
あー実行時なのか静的なのかどっちだよってなってるな、スマン
証明とは全く別の話として、型に実行時の値を持たせられると便利だよねってグループがあって
で、単に値から型を作れるというだけでいいならそういうのも依存型と呼べてしまう、と言いたかったがぐじゃぐじゃになった
静的に証明をするなら勿論値もコンパイル時の値でないとだめなわけだけど
そこでもコンパイル時の型レベル関数と実行時の関数が完全に切り離されてるのか(C++のtemplateみたいな)
証明に使える関数を実行時にも普通の関数として使えるのか(Agda等)とまたグループがあるし
まあつまり、人によって「依存型」という言葉に期待する度合いが違うので
今後最小の機能しか持たない「依存型」が出てきて定理証明系クラスタを怒らせるのはあるかもとちょっと恐々としてるんだ……
(単に右辺の型を使うだけのものを「型推論」と呼んだ例みたいな)
504: デフォルトの名無しさん [] 2018/09/06(木) 06:31:29.68 ID:g3/CbYF1(1/2) AAS
>>499
荒しがキモがられてるところ
必死で誤魔化そうとしてるけど
505: デフォルトの名無しさん [sage] 2018/09/06(木) 06:36:51.93 ID:jHwt47OQ(1/6) AAS
旧世代言語の話はこっちで
次世代言語13 COBOL Java PHP VBA Ruby
2chｽﾚ:tech
506: デフォルトの名無しさん [] 2018/09/06(木) 06:41:06.91 ID:g3/CbYF1(2/2) AAS
>473473(1): デフォルトの名無しさん [sage] 2018/09/05(水) 23:53:57.76 ID:ydKMuO/u(1) AAS
複数回線持っててマッチポンプを繰り返してるんだっけ確か？
過去スレでRubyだけじゃなくム板を荒らしまわってるって本人が書き込んでる
デフォルトの名無しさん2018/09/05(水) 23:53:57.76ID:ydKMuO/u
>複数回線持っててマッチポンプを繰り返してるんだっけ確か？
>過去スレでRubyだけじゃなくム板を荒らしまわってるって本人が書き込んでる
って事だから自由にID変えて書き込めるらしい
507: デフォルトの名無しさん [sage] 2018/09/06(木) 06:49:22.37 ID:jHwt47OQ(2/6) AAS
このスレも次はワッチョイ入れた方がいいんじゃない？
508: デフォルトの名無しさん [sage] 2018/09/06(木) 06:53:12.86 ID:ZvgfckHe(1) AAS
あちこち荒れてんのは裁判で負けた方たちの腹いせ
509(1): デフォルトの名無しさん [sage] 2018/09/06(木) 06:59:34.48 ID:CldwsQNk(1) AAS
複数の回線をもっている荒らしは何故か必ずﾜｯﾁｮｲを導入しようとする
まぁ、バカでもわかる絡繰だわ
いっその事IP表示にすれば良いのに
510: デフォルトの名無しさん [sage] 2018/09/06(木) 07:38:10.90 ID:jHwt47OQ(3/6) AAS
>>509
まぁIPでもいいんじゃない？現行単発IDが多すぎてどうにもね
511: デフォルトの名無しさん [sage] 2018/09/06(木) 09:56:35.47 ID:3Abdeyqw(2/3) AAS
>>503
多分言わんとする所は理解できた
こちらとしては証明を含めた静的な世界での依存型が難しいという話で、単に型に値を含めるようなのはそちらの言うとおり既に実務向け言語でいくつか有るので、それらは依存型から除いて流行らないと言ってしまったな
512(2): デフォルトの名無しさん [sage] 2018/09/06(木) 10:46:46.08 ID:UI2giREj(1) AAS
JavaScript でも、荒らしていた奴だろ。
色々な板や、ほとんどの言語・スレを荒らしているから、相手をするな！
基本的に、ソースコードを書かない奴は、荒らし。
プログラミングできない奴と会話するな！
513: デフォルトの名無しさん [sage] 2018/09/06(木) 11:19:10.50 ID:81SkF9sN(1) AAS
またなんか極論言う馬鹿が現れた
514: デフォルトの名無しさん [sage] 2018/09/06(木) 12:37:40.19 ID:0hSJBx41(1) AAS
>>512
RPGツクールのスクリプト言語枠を奪われた恨みかな？
515: デフォルトの名無しさん [sage] 2018/09/06(木) 14:22:49.15 ID:jOmc1UUP(1/3) AAS
他のスレを粘着して荒らしてたのってRubyアンチの荒らしだろ？
昨日、自演してたのがバレたみたいだし
>Rubyの話からRubyスレの荒らしの話題が出たところで本人らしきレスが幾つか付く
>↓
>437437(1): デフォルトの名無しさん [sage] 2018/09/05(水) 10:02:50.11 ID:TxisJ4l5(1/2) AAS
もう何年も前に「ジェネリクスは必要」って誰かが発言したとする
この発言自体がものすごくわかりにくい
実際、わかるまで何年も時間がかかっただろ
言語の設計は「読みやすさ」と「書きやすさ」で対立しているのではない
「読みやすい嘘」と「読みにくい正論」で対立している
で荒らしの過去の自演が暴露される
>↓
>476に釣られて荒らしと同じ事を言い出すID登場
>↓
>484に墓穴を指摘される
>↓
>あわてて流して誤魔化そうとするも失敗
>↓
>ストーカーじみた自演でネガキャンしてた事が知れ渡りスレ住民に気持ち悪るがられる←今ここ
516: デフォルトの名無しさん [sage] 2018/09/06(木) 15:05:55.90 ID:AJ+5hlJ0(1/6) AAS
「隠し事」の話題には熱心だが「嘘」の話題には無関心な人が一定数いる気がする
隠し事がバレるのは何も知らない状態から急に何かが判明する
一方、嘘がバレるというのは、知っていると思っていたものが妄想だったということだ
人間並みの知能に必要なのは単純に多くの知識を持つことだけではなくて
「嘘だった」という認知ができること
そうすることで誤った知識を訂正できることなんだ
517: デフォルトの名無しさん [] 2018/09/06(木) 15:08:41.00 ID:jOmc1UUP(2/3) AAS
早口で言ってそう
518: デフォルトの名無しさん [sage] 2018/09/06(木) 16:33:47.62 ID:PggderjX(1/2) AAS
旧世代言語の話は間に合ってる
519: デフォルトの名無しさん [] 2018/09/06(木) 17:36:41.28 ID:wlGr0D94(2/4) AAS
rubyアンチの自演が実際あったのかどうかは知らんが
自演する奴も、それをいつまでも叩いて騒いでる奴も
どっちもお前らの言う気持ち悪い同類同士としか見えない
そんなことより次世代言語を語ってくれ
旧世代言語の話だけじゃなく、ちゃんと次世代言語のことも
語れる出来る奴だっていうことを証明して見せてくれ！
520: デフォルトの名無しさん [sage] 2018/09/06(木) 17:47:26.40 ID:jOmc1UUP(3/3) AAS
この自演してるのが荒らしか
521: デフォルトの名無しさん [sage] 2018/09/06(木) 17:57:35.27 ID:AJ+5hlJ0(2/6) AAS
周囲が荒れているか穏やかかではなく
自分が言いたいことを言えたかどうかを考えよう
上下前次1-新書関写板覧索設栞歴
あと 481 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s