[過去ﾛｸﾞ] 次世代言語13 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
早口で言ってそう
518: 2018/09/06(木)16:33 ID:PggderjX(1/2) AAS
旧世代言語の話は間に合ってる
519: 2018/09/06(木)17:36 ID:wlGr0D94(2/4) AAS
rubyアンチの自演が実際あったのかどうかは知らんが
自演する奴も、それをいつまでも叩いて騒いでる奴も
どっちもお前らの言う気持ち悪い同類同士としか見えない
そんなことより次世代言語を語ってくれ
旧世代言語の話だけじゃなく、ちゃんと次世代言語のことも
語れる出来る奴だっていうことを証明して見せてくれ！
520: 2018/09/06(木)17:47 ID:jOmc1UUP(3/3) AAS
この自演してるのが荒らしか
521: 2018/09/06(木)17:57 ID:AJ+5hlJ0(2/6) AAS
周囲が荒れているか穏やかかではなく
自分が言いたいことを言えたかどうかを考えよう
522: 2018/09/06(木)18:07 ID:OOLSx2PW(1) AAS
自分で荒らしといて批判されたら自演で第三者を装い、
どっちもどっちの考え方を持ち出して批判した方を叩きに走る
まさにマッチポンプ
523: 2018/09/06(木)18:17 ID:/oyFCfnk(1/2) AAS
Rubyアンチによる荒らしは結構昔からあるよね
完全に放置してるから今どうなってるのか知らんが
524(1): 2018/09/06(木)19:03 ID:fqcUSARG(1/6) AAS
親をRubyに殺されたアンチ君は板全体に粘着してるわけだから今後も自演を続けるんじゃね？
時々それっぽい自演やレスは今後も出ると思う
525: 2018/09/06(木)19:11 ID:wlGr0D94(3/4) AAS
俺を荒らし認定したいみたいだが、俺のIPアドレスとか、発信元の住所とか調べれば
自演してた奴じゃないって分かるだろ
他人を勝手に荒らし扱いにする奴に限って、自己中心的な勝手な考えしか出来ない
そんなしょうもないことほざいてないで、スレッドに沿った次世代言語の話をしろ
次世代言語の話を見に掲示板を覗きに来てるのに、ちっとも次世代言語の話題が
出てこないことに呆れるよ
526: 2018/09/06(木)19:13 ID:MwSBTHNc(1/2) AAS
旧世代言語の中ですら競争に敗れ去ったRuby
これはゴミの中のゴミと言っても過言じゃないよ
次世代言語はこういうゴミ言語を反面教師にしなきゃね
歴史に学べっていうだろ？
527: 2018/09/06(木)19:20 ID:/oyFCfnk(2/2) AAS
俺はまずお前を反面教師にするよｗ
528: 2018/09/06(木)19:26 ID:K6tuSvr0(1/2) AAS
別にアンチする程の言語でも無い
rubyキチガイのアンチかと聞かれればそうかも知れない
529: 2018/09/06(木)19:31 ID:fqcUSARG(2/6) AAS
召喚の儀に応じてくれてありがとう
530: 2018/09/06(木)19:32 ID:/ZTGE98c(1) AAS
Rubyみたいな技術的負債にまみれた過去の遺物の話はもうやめようぜ
531: 2018/09/06(木)19:32 ID:3Abdeyqw(3/3) AAS
依存型の話しようよう……
532(1): 2018/09/06(木)19:40 ID:kgTS8InN(1/2) AAS
Ruby自体はどうと言うことはないけどRubyistのキチガイ率の高さがなぁ…
上下前次1-新書関写板覧索設栞歴
あと 470 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.015s