[過去ﾛｸﾞ]
次世代言語13 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
次世代言語13 Go Rust Swift Kotlin TypeScript http://mevius.5ch.net/test/read.cgi/tech/1534769753/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
512: デフォルトの名無しさん [sage] 2018/09/06(木) 10:46:46.08 ID:UI2giREj JavaScript でも、荒らしていた奴だろ。 色々な板や、ほとんどの言語・スレを荒らしているから、相手をするな！ 基本的に、ソースコードを書かない奴は、荒らし。 プログラミングできない奴と会話するな！ http://mevius.5ch.net/test/read.cgi/tech/1534769753/512
513: デフォルトの名無しさん [sage] 2018/09/06(木) 11:19:10.50 ID:81SkF9sN またなんか極論言う馬鹿が現れた http://mevius.5ch.net/test/read.cgi/tech/1534769753/513
514: デフォルトの名無しさん [sage] 2018/09/06(木) 12:37:40.19 ID:0hSJBx41 >>512 RPGツクールのスクリプト言語枠を奪われた恨みかな？ http://mevius.5ch.net/test/read.cgi/tech/1534769753/514
515: デフォルトの名無しさん [sage] 2018/09/06(木) 14:22:49.15 ID:jOmc1UUP 他のスレを粘着して荒らしてたのってRubyアンチの荒らしだろ？ 昨日、自演してたのがバレたみたいだし >Rubyの話からRubyスレの荒らしの話題が出たところで本人らしきレスが幾つか付く >↓ >437で荒らしの過去の自演が暴露される >↓ >476に釣られて荒らしと同じ事を言い出すID登場 >↓ >484に墓穴を指摘される >↓ >あわてて流して誤魔化そうとするも失敗 >↓ >ストーカーじみた自演でネガキャンしてた事が知れ渡りスレ住民に気持ち
悪るがられる←今ここ http://mevius.5ch.net/test/read.cgi/tech/1534769753/515
516: デフォルトの名無しさん [sage] 2018/09/06(木) 15:05:55.90 ID:AJ+5hlJ0 「隠し事」の話題には熱心だが「嘘」の話題には無関心な人が一定数いる気がする 隠し事がバレるのは何も知らない状態から急に何かが判明する 一方、嘘がバレるというのは、知っていると思っていたものが妄想だったということだ 人間並みの知能に必要なのは単純に多くの知識を持つことだけではなくて 「嘘だった」という認知ができること そうすることで誤った知識を訂正できることなんだ http://mevius.5ch.net/test/read.cgi/tech/1534769753/516
517: デフォルトの名無しさん [] 2018/09/06(木) 15:08:41.00 ID:jOmc1UUP 早口で言ってそう http://mevius.5ch.net/test/read.cgi/tech/1534769753/517
518: デフォルトの名無しさん [sage] 2018/09/06(木) 16:33:47.62 ID:PggderjX 旧世代言語の話は間に合ってる http://mevius.5ch.net/test/read.cgi/tech/1534769753/518
519: デフォルトの名無しさん [] 2018/09/06(木) 17:36:41.28 ID:wlGr0D94 rubyアンチの自演が実際あったのかどうかは知らんが 自演する奴も、それをいつまでも叩いて騒いでる奴も どっちもお前らの言う気持ち悪い同類同士としか見えない そんなことより次世代言語を語ってくれ 旧世代言語の話だけじゃなく、ちゃんと次世代言語のことも 語れる出来る奴だっていうことを証明して見せてくれ！ http://mevius.5ch.net/test/read.cgi/tech/1534769753/519
520: デフォルトの名無しさん [sage] 2018/09/06(木) 17:47:26.40 ID:jOmc1UUP この自演してるのが荒らしか http://mevius.5ch.net/test/read.cgi/tech/1534769753/520
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 482 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.018s