次世代言語11[Rust Swift TypeScript Dart]

1 名前：デフォルトの名無しさん [2018/06/03(日) 23:53:27.92 ID:vrBh4O6u.net] スレタイ以外の言語もok 前スレ 次世代言語10[Rust Swift TypeScript Dart] https://mevius.5ch.net/test/read.cgi/tech/1524607347/ 598 名前：デフォルトの名無しさん mailto:sage [2018/06/18(月) 18:09:50.53 ID:xdRdwSco.net] >>589 ＞isodd も同様に ＞isodd n の停止性マトリクス→<n,1> ＞isodd n の定義に出てくる iseven (n) の停止性マトリクス→<n,1> (下降している！OK) 最後の行は isodd n の定義に出てくる iseven (n) の停止性マトリクス→<n,0> (下降している！OK) の間違いでした 599 名前：デフォルトの名無しさん mailto:sage [2018/06/18(月) 18:32:21.74 ID:NEyGx0zg.net] 偶数は、2*n 奇数は、2*n+1 600 名前：デフォルトの名無しさん mailto:sage [2018/06/18(月) 18:34:45.57 ID:EvkbZGBx.net] >>592 理解してないだろw 601 名前：デフォルトの名無しさん mailto:sage [2018/06/18(月) 18:51:32.37 ID:OPxRI0Cf.net] 安全装置のたぐいは損失を防ぐばかりで利益は全然ない 利益がないから理解できない人が続出 602 名前：デフォルトの名無しさん mailto:sage [2018/06/18(月) 18:58:41.11 ID:soq2obRK.net] >>589 ありがとう 冷静に計算していったら、確かにnとn+1じゃ減ってないからダメで 2*nと2*n+1だときちんと減ってるからOKってところまでは理解できた でも、一体何を考えて<n,0>と<n,1>のタプル？のメトリクスが出てきたか全然分からない… > そして<n,0>, <n,1> の代わりに n*2, n*2+1 を使っている(この代用が可能なことはわかるよね)。 すまない。俺はバカなんだ。分からないんで教えて下さい。 自分でも自分がどこまで分かっているのかさえよく分かっていないんだが、 たぶん、停止性メトリクスがきちんと減っているかどうかを計算する方法までは理解できたが、 きちんと減っている停止性メトリクスを導き出す方法が分かってないんだと思う 603 名前：ﾌ名無しさん mailto:sage [2018/06/18(月) 19:23:14.64 ID:xdRdwSco.net] >>595 ＞すまない。俺はバカなんだ。分からないんで教えて下さい。 辞書順を保ったまま <n, 0>, <n,1> をそれぞれ 2*n, 2*n+1 で置き換えられる 3*nとか4nでもいいけど2つしかないから2nで十分 例 fun f {n:nat} .<3*n>. (n: int n) : bool = if n = 0 then true else g (n-1) and g {n:nat} .<3*n+2>. (n: int n) : bool = not (h (n)) and h {n:nat} .<3*n+1>. (n: int n) : bool = not (f (n)) 604 名前：デフォルトの名無しさん mailto:sage [2018/06/18(月) 19:24:20.04 ID:EvkbZGBx.net] >>595 引数のnと、isoddとisevnの2つの関数の区別(+0, +1)を位取り(*2)して足してるだけじゃないかな…… 605 名前：デフォルトの名無しさん mailto:sage [2018/06/18(月) 19:33:04.83 ID:vrc1WpPf.net] >>581 全部そうだよ やっぱりJavaやC、Pythonが最終的に一番良いってことだな 新しいものに飛び付いてるとドワンゴになるぞ 606 名前：デフォルトの名無しさん mailto:sage [2018/06/18(月) 19:52:57.33 ID:wJzzPYpc.net] ドワンゴはc++みたいなもんだな。 とりあえず新言語(新機能)の実験台になってもらえるっていう。 607 名前：デフォルトの名無しさん mailto:sage [2018/06/18(月) 20:40:04.20 ID:bcKP+A2z.net] >>599 つまりドワンゴがスレタイ言語は ほぼ使えないと証明してくれてるってことだな 608 名前：デフォルトの名無しさん mailto:sage [2018/06/18(月) 20:46:12.17 ID:7nYEmGe5.net] ドワンゴは本当のC++プログラマーも募集してるしな 609 名前：デフォルトの名無しさん mailto:sage [2018/06/18(月) 21:40:32.50 ID:poCVJCAd.net] やきそば焼かせてるようなクズ会社にいくのか？ 610 名前：デフォルトの名無しさん mailto:sage [2018/06/18(月) 21:49:26.33 ID:c5Ieze8t.net] bio100%の戀塚もいるんだよな いかんせん上がアホだから 611 名前：デフォルトの名無しさん mailto:sage [2018/06/18(月) 21:55:35.52 ID:soq2obRK.net] >>596 辞書順を保ったまま置き換えられるってのが何をしてるのかイマイチよく分からんが とりあえず、2つの関数で相互再帰なら2n、3つなら3nといった感じ……なのか？ うーん…まだ勉強し始めたばかりだし、やってればそのうち分かるようになるかぁ… あざっす。 612 名前：デフォルトの名無しさん mailto:sage [2018/06/18(月) 22:18:33.96 ID:ejyTxCd5.net] >>604 いやここで堪えて理解しておくべき。 引数から算出できて、再帰で減るものを何か考えてそれを停止性マトリクスとする。 値そのものじゃなく大小関係だけが大事だから、 m が 0 と 1 のどちらかしかなければ <n, m> の代わりに n*2+m で ok ってこと 例 <5,0> は <4,1> より大 ⇔ 5*2+0 は 4*2+1 より大 613 名前：デフォルトの名無しさん mailto:sage [2018/06/18(月) 22:30:23.80 ID:ejyTxCd5.net] ちなみに辞書順というのは停止性メトリクスのタプルについて、 先頭の要素同士を比較、等しければ次の要素同士を比較、また等しければそのまた次の以下略… という風に比較したときの順序関係 614 名前：デフォルトの名無しさん mailto:sage [2018/06/18(月) 22:47:52.93 ID:ejyTxCd5.net] 上で散々マトリクスと誤記しているメトリクスはこの場合「(停まるまでの)距離」という意味 615 名前：デフォルトの名無しさん [2018/06/18(月) 23:09:05.63 ID:soq2obRK.net] >>605 なるほど。(n, 0)と 616 名前：(n, 1)が2nと2n+1に変換できることまでは分かった。ありがたい。 でも、そもそもの話として(n, 0)と(n, 1)っていうのが 一体何を考えて導き出されたのかが分からないんだよ… チュートリアルに「isevn と isodd に (n, 0) と (n, 1) のメトリクスを与えれば、 これら2つの関数の停止性もまた検査できることは明白です。」って 書いてあるんだけど、俺にとっては全然明白じゃない… 何をどう考えたら(n, 0)と(n, 1)のメトリクスを与えようと思うんだ…？ 現状、分かっているのは2nと2n+1ならメトリクスが減っているからOKってところと (n, 0)と(n, 1)のメトリクスが2nと2n+1に変換できるってところまで… 一番肝心な部分が理解できていない気がする… [] [ここ壊れてます] 617 名前：デフォルトの名無しさん [2018/06/18(月) 23:17:38.17 ID:Tp0/3gfg.net] なんの話か分からないけどこういう奴らが使ってる技術は使いたくない 618 名前：デフォルトの名無しさん mailto:sage [2018/06/19(火) 00:28:07.36 ID:2myyjakz.net] ATSは依存型言語の中でも奇抜な方だと思うよ Coqとソフトウェアの基礎の方が易しいと思う 619 名前：デフォルトの名無しさん mailto:sage [2018/06/19(火) 01:44:59.48 ID:menX4d1R.net] CoqとAgdaは敬遠してるんだよね… あの二つはプログラミング言語じゃなくて証明支援器だって聞いてるから… オレは別にPCに証明問題を解くのを手伝ってもらいたいんじゃなくて、 従来の型システムを発展させた依存型とかを使ったより安全な プログラミングを行うの方法が知りたいんだよって思って… けど、学ぶ順番としてはCoqが先のほうが良かったのかな？ でも、Coqだとどうにもモチベーションが… あと、ついでに線形型も学びたかった…… Rustの所有権・借用・ライフタイムはほぼ理解できてるんでそれほど難しくはないだろうと… まず、依存型で躓いてるんで線形型までたどり着いていない… んー……一度に色々やろうとし過ぎか…(´・ω・｀) 620 名前：デフォルトの名無しさん mailto:sage [2018/06/19(火) 02:53:39.62 ID:8GZLihdn.net] Idris とかはどうなのよ 621 名前：デフォルトの名無しさん mailto:sage [2018/06/19(火) 04:24:16.98 ID:thfWBPV2.net] >>608 この場合呼び出しのたびに変化するものが、引数のnと「どちらの関数を呼ぶか」という 2つしかないんだから、呼び出しのたびに減る式を作ろうとしたらこれを組み合わせるしかない 後はパズルだろ 622 名前：デフォルトの名無しさん [2018/06/19(火) 07:30:15.96 ID:3/FXNCrL.net] 全てのｎについて(n, 1)＞(n, 0)と2n+1＞２ｎは同値だから当たり前だろ。 623 名前：デフォルトの名無しさん mailto:sage [2018/06/19(火) 08:33:24.05 ID:vJmt1KGh.net] わかりにくい記法は自分で自由にわかりやすい記法に変換すればわかる Cのポインタの記法と同じ 自由に考える方が早い 偉い人にいちいち許可を求めたり質問したりすると時間がかかる 624 名前：デフォルトの名無しさん mailto:sage [2018/06/19(火) 08:33:59.97 ID:menX4d1R.net] >>613 んー…１日置いたらやっと分かったような気がする… 気がしてるだけかもだけどあとは自力でどうにか理解できそう… まあ、新しい概念を覚えるときはどうしても時間が掛かるものだし、 あとは腑に落ちるまでサンプルコードひたすら写経したりするか… 皆ありがとう >>610 ATSの依存型は奇抜なの？ 他の依存型がある言語も似たようなことやるんじゃないの？ 625 名前：デフォルトの名無しさん mailto:sage [2018/06/19(火) 08:51:24.21 ID:vJmt1KGh.net] コンパイル時のメタプログラミングはみんな奇抜 626 名前：デフォルトの名無しさん mailto:sage [2018/06/19(火) 19:52:01.92 ID:R39QGoSG.net] 型を静的に解析しつつマクロみたいに評価順序を入れ替えようってのが そもそも無理があるんだよ。 627 名前：デフォルトの名無しさん mailto:sage [2018/06/19(火) 20:25:55.46 ID:b5m1uThb.net] そもそも型に期待しすぎるのがキモい 型の役目なんてOCamlくらいでちょうどいいのに 628 名前：デフォルトの名無しさん mailto:sage [2018/06/19(火) 21:54:08.10 ID:vbOWauRQ.net] 型安全のためにDRY原則すら無視してるのあるからな 629 名前：デフォルトの名無しさん mailto:sage [2018/06/20(水) 01:28:01 ] [ここ壊れてます] 630 名前：.72 ID:QSlqi/vd.net mailto: 型安全を崩す水準のDRYはかなり悪い印象があるな 共通化すべきでないものまで共通化してるのではと [] [ここ壊れてます] 631 名前：デフォルトの名無しさん mailto:sage [2018/06/20(水) 11:07:04.58 ID:YLzmhKZ9.net] 一生型書いてろ 俺はプロダクト書くからよ 632 名前：デフォルトの名無しさん mailto:sage [2018/06/20(水) 11:47:35.83 ID:CARL/ed1.net] 人は型かプロダクトかどっちかしか書けないからなｗ 633 名前：デフォルトの名無しさん mailto:sage [2018/06/20(水) 13:04:18.23 ID:pTH4tzak.net] >>620 ジェネリクスやインターフェース正しく使ってれば DRY原則無視しなきゃ型安全守れないこととかほぼ無いだろ どんなコード書いてるんだよ？ 634 名前：デフォルトの名無しさん mailto:sage [2018/06/20(水) 21:17:56.02 ID:vXpw0FFs.net] 型って建物に例えると水準器だろ 柱がまっすぐ立ってるか見るための補助具 補助具ばっか作って家が建つのか？ 635 名前：デフォルトの名無しさん mailto:sage [2018/06/20(水) 21:34:34.91 ID:kjCaqS0j.net] 一生水準器使ってろ 俺は家建てるからよ 636 名前：デフォルトの名無しさん mailto:sage [2018/06/20(水) 21:39:33.95 ID:pTH4tzak.net] そうか、じゃあ動的言語で作ったプログラムって例えるなら水準器なしで建てられた家なのか… それは欠陥住宅というもので工期が遅れてる建物よりもっと害悪だと思うんだがそれは… 637 名前：デフォルトの名無しさん mailto:sage [2018/06/20(水) 21:55:16.85 ID:nu99cs2X.net] いや単なる犬小屋欲しいだけなのに設計書に一年くらい時間かけるようなもんだ。 638 名前：デフォルトの名無しさん mailto:sage [2018/06/20(水) 22:31:25.72 ID:R/RR2gVc.net] >>628 犬小屋ってどれくらいの規模のものを指してるの？ リソース３つくらいのweb apiサーバとか？ 639 名前：デフォルトの名無しさん mailto:sage [2018/06/20(水) 22:35:54.20 ID:R/RR2gVc.net] >>625 それだけじゃないよ。メンテナンスという観点でも必要。 いわば動的言語なら釘で家を建てるけど、 型付きなら、簡単に取り替えられるようにボルトで止まってる。 ちゃんとネジに印がついていて交換ミスも起こりにくい 640 名前：デフォルトの名無しさん [2018/06/20(水) 22:37:33.02 ID:6Ldi6ZQ0.net] 例え話をするエンジニアは無能の法則 641 名前：デフォルトの名無しさん mailto:sage [2018/06/20(水) 22:45:13.44 ID:pTH4tzak.net] >>629 犬小屋なんだから日曜大工、つまり個人の趣味レベルのものでしょ 642 名前：デフォルトの名無しさん mailto:sage [2018/06/20(水) 23:03:24.49 ID:kjCaqS0j.net] 型は水準器というより物差しに近い 643 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 00:46:09.92 ID:j3Jry11G.net] オプションでも型制約無い言語なんてもうJSとRubyくらいじやね？ 644 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 01:00:00.42 ID:9yZQgWTf.net] Lua忘れるとか 645 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 01:15:00.23 ID:Xm+RspnJ.net] c++のstd::chornoみたいな設計は行き過ぎた型安全だと思う 646 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 01:16:19.88 ID:tnwaIVRK.net] C++は存在そのものが行き過ぎている 647 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 02:30:14.21 ID:lOkS/ogb.net] 永遠の次世代言語 648 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 03:28:39.67 ID:CmPcltgN.net] C++はやべーよ でも誰も逃げ出せない 649 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 07:30:10.88 ID:6ripmtAT.net] まさに魔王 650 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 12:02:43.31 ID:NVNRBOaD.net] 逃げ出したいけど環境がっつりだから無理だわ 651 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 12:22:25.31 ID:f5p4gdbf.net] rubyは絶対に型を書きたくないから コメントか外部ファイルに型を書くようにするらしいぞ 652 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 12:26:56.39 ID:Ny0HAIKC.net] 0から何か作ろうって時にC++だけは選びたくない 653 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 13:31:50.47 ID:AvdUCmrX.net] 俺はアプリ屋だからコアの部分は Windows、 Android、iOS、MacOS のどれでも使える c++ UI 側を書く各言語から呼び出して使う 654 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 13:35:39.24 ID:uYxelfTA.net] あいかわらずRubyの人たちは何がしたいのかよくわからんな 655 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 13:52:08.71 ID:/kaFS0dg.net] C/C++の型はアドレスやサイズの計算に使う 低級言語だから型が役に立つ 高級言語がC++の真似をする必要はないんだよ 型を書かない高級言語はたくさんある 656 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 13:55:42.09 ID:Ij19PzUL.net] コードに型を書かないと後で分からなくなるから結局コメントで型を書くことになるゴミ 657 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 13:58:07.14 ID:D8gwnbh9.net] メソッド名とか使われ方とかコメントとかプログラマのクセとかからAIが型推論してくれるんだろう 658 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 14:00:01.02 ID:gnPepsUQ.net] AIは確率過程だからコードみたいな根幹部分には使いたくないな 659 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 14:11:21.05 ID:0x6Lg0t3.net] AIを使ったエラー検出は今後のトレンドになるだろうね 技術進歩に伴って緩やかに型は不要になっていくだろう IntelliCodeの発展形としてMSがやりそう 660 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 14:33:42.30 ID:copqf+uW.net] そのAIをC++で作らされたりしてな 661 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 14:34:54.31 ID:/kaFS0dg.net] AIの得意分野はどっちかが必ず勝つ対戦ゲームというブルーオーシャン レッドオーシャンに飛び込んでも勝てると思うのは確率的に間違ってる 662 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 14:46:28.87 ID:S4IxNo+1.net] >>646 とあるオブジェクトを扱うアルゴリズムが要求するのは型じゃなく 整数っぽいものを返すsize() メソッドは実装していること、 とかそういう制約だよな 663 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 20:54:11.38 ID:bp0U88xF.net] >>642 python2の型ヒントみたいなやり方するってことかな。まあ実行時には必要ない情報だから それもリーズナブルな解だと思うけどね。使えるものを早く出してくれさえすれば。 664 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 21:51:19.80 ID:6ripmtAT.net] 型推論とかAIで検出とかバカほど無駄なことに計算資源使おうとするのな。 そんなカスみたいな機能に資源使うくらいならコンパイル速度上げた方がよっぽどマシ。 665 名前：デフォルトの名無しさん mailto:sage [2018/06/21(木) 23:52:49.86 ID:c3YkgC6b.net] >>655 えぇ… AIは知らんが型推論のほうはコンパイル速度重視のGoでさえ使ってる技術だぞ 666 名前：デフォルトの名無しさん mailto:sage [2018/06/22(金) 00:03:19.61 ID:7bl9EfTW.net] 単純な右から左の型推論は余計な型名解決が減る分むしろコンパイル速くなるだろ 667 名前：デフォルトの名無しさん mailto:sage [2018/06/22(金) 00:15:01.47 ID:ecfXobDJ.net] おじいちゃんは自分がよく知らないものは全部無駄に見える生き物だから… 668 名前：デフォルトの名無しさん mailto:sage [2018/06/22(金) 00:18:04.51 ID:mjvSylV1.net] >>657 単純な場合はむしろ速くなるの？それは知らんかった ただ、どっちにしろ型推論ってそんなに計算リソースを消費するイメージないんだけど… 669 名前：デフォルトの名無しさん mailto:sage [2018/06/22(金) 00:42:37.48 ID:fxQEanUA.net] 速くなる訳ねーだろ。。 https://cocopon.me/blog/2015/03/swift-compilation-time/ なんでこいつらこんな簡単に騙されるの？ 670 名前：デフォルトの名無しさん mailto:sage [2018/06/22(金) 00:43:40.93 ID:H0orbnfz.net] 型推論の計算コストは有効範囲と言語の持ってる型システムの表現力でけっこう変わるよ 関数内でのみ有効なのと関数宣言でも使えるのだと随分違う 既存の、コーディング中に型を書くのが苦にならないような言語だと後から型推論追加しても旨味が少ないと思う Rustはコンパイル速度を気にしてかライフタイム関係の推論が面倒だったのか知らんけど、関数内でしか型推論有効にしなかったの 671 名前：は個人的にマイナス [] [ここ壊れてます] 672 名前：デフォルトの名無しさん mailto:sage [2018/06/22(金) 00:58:36.71 ID:ZcpNHe71.net] >>660 せめてgoでの比較持ってこいよ 673 名前：デフォルトの名無しさん mailto:sage [2018/06/22(金) 01:02:01.33 ID:mjvSylV1.net] >>660 結局コンパイラがどうやって推論してるかはソース見てみない限り分からないからな 遅くなる場合もあれば、ほとんど変わらない場合もあるだろうし、何とも言えないな… >>661 俺は逆に関数宣言の型の情報まで推論されるのは好きじゃないな 推論するのはローカル変数だけにしてほしい まぁ、そこら辺は好みの問題だな 674 名前：デフォルトの名無しさん mailto:sage [2018/06/22(金) 01:56:16.57 ID:fZhhlNhQ.net] >>663 関数宣言の型の情報って何よ？ 675 名前：デフォルトの名無しさん [2018/06/22(金) 08:06:59.36 ID:UUvhOuOE.net] constは推論されないとかのことかな 676 名前：デフォルトの名無しさん mailto:sage [2018/06/22(金) 10:04:29.72 ID:HgCip2r2.net] Nim IN ACTIONの１章と８章が無料公開されてるから１章読んでみてるけどなかなかセンスいい言語だな 677 名前：デフォルトの名無しさん mailto:sage [2018/06/22(金) 11:15:38.68 ID:HgCip2r2.net] しかしスネークケースキャメルケース同一視すんのどうなんだ 識別子に暗黙で余計な解釈しないでほしい railsの自動変換思い出して嫌な感じ 678 名前：デフォルトの名無しさん mailto:sage [2018/06/22(金) 13:59:02.57 ID:yU7k9q5t.net] NimはDの後継って感じがする 679 名前：デフォルトの名無しさん mailto:sage [2018/06/22(金) 17:58:23.96 ID:cmFjayc5.net] 最近D言語は低レベルのほう寄ってってるからなあ 680 名前：デフォルトの名無しさん mailto:sage [2018/06/22(金) 18:08:28.35 ID:oC8L9s8J.net] ベクトル化を使うための4要素配列とかヤバすぎ 681 名前：デフォルトの名無しさん mailto:sage [2018/06/22(金) 18:49:57.22 ID:y18AFRdV.net] Dとは一緒にしないでいただきたい！ ってのは冗談だけどDとは違うと信じたい アホみたいに機能消したり追加したりしてないし 682 名前：デフォルトの名無しさん mailto:sage [2018/06/23(土) 03:45:17.94 ID:U3yty0jv.net] Facebookで使ってるってのはドワンゴとはまた違った種類の怖さがある 683 名前：デフォルトの名無しさん [2018/06/23(土) 05:57:11.77 ID:tcOUUI9f.net] なんだんだ理由付けて勉強したくないだけでしょ わたしはrustで先にゆきますよ 684 名前：デフォルトの名無しさん mailto:sage [2018/06/23(土) 07:38:19.54 ID:0Hl7KNt9.net] rust自体はちょこちょこ迷走やまずい部分も見られるので、本当に使い物になるのは rustの成果を引き継ぎだか横取りだかした次の言語だと思ってる 685 名前：デフォルトの名無しさん [2018/06/23(土) 08:08:55.39 ID:tcOUUI9f.net] はいはい次は本気出すパターンね 686 名前：デフォルトの名無しさん mailto:sage [2018/06/23(土) 08:21:35.71 ID:xKUV9tWt.net] 個人的に勉強するだけならいいと思いますよ。 他人にクソコンパイラの使用を押し付けなければね。 687 名前：デフォルトの名無しさん mailto:sage [2018/06/23(土) 08:33:57.94 ID:XcMMhDbo.net] >>674 swiftかな。swiftはにんきあるよな。俺には理解できないけど。関数型に興味を持つきっかけとnull安全な言語仕様の有効性を教えてくれた 688 名前：デフォルトの名無しさん mailto:sage [2018/06/23(土) 09:33:29.90 ID:4aGgjPWw.net] QBの契約ですら押し付けではないと擁護する人はいるから あれより酷いことをしない限り押し付けとの指摘は当たらない 689 名前：デフォルトの名無しさん [2018/06/23(土) 09:38:21.33 ID:tcOUUI9f.net] 押し付けがましく感じる人がいても知ったことではないよ そういう雑魚はずっとjava8の導入を検討していればよい、個人的にね 690 名前：デフォルトの名無しさん mailto:sage [2018/06/23(土) 09:44:16.67 ID:YVqCYnTI.net] みずほのピラミッドのJavaバージョンは？ 691 名前：デフォルトの名無しさん mailto:sage [2018/06/23(土) 10:29:14.93 ID:euiJmXfR.net] ふぐじま？ 692 名前：デフォルトの名無しさん mailto:sage [2018/06/23(土) 11:30:28.12 ID:4aGgjPWw.net] コメントは個人の感想 moveとかborrowとか宣言するのは事実を宣言している 後者の方が押し付けがましくないと考えられていた時期もあったのだ 個人の意見を排除し事実だけを述べれば押し付けがましくならないと思ってた 693 名前：デフォルトの名無しさん mailto:sage [2018/06/23(土) 13:10:25.11 ID:TEFAVffv.net] Go: 694 名前：マスコットきもい Rust: C++と潰し合え Swift: Apple専用の域を出ず Kotlin: Javaの代わり Nim: v1.0を出せ、cpp, m, js へのトランスパイルいるか？ D: 最先端を目指した化石 [] [ここ壊れてます] 695 名前：デフォルトの名無しさん mailto:sage [2018/06/23(土) 13:52:47.56 ID:4aGgjPWw.net] 最近の人類がC++を使いこなしているのは想定外だった 短期的に考えると進化するのは言語やAIであり生物は進化するはずがないと思ってた 696 名前：デフォルトの名無しさん mailto:sage [2018/06/23(土) 15:36:02.48 ID:/G4sVvHU.net] >>673 出た出たRust信者特有の選民思想 697 名前：デフォルトの名無しさん mailto:sage [2018/06/23(土) 16:06:32.61 ID:qtu2DFwK.net] 最先端を目指した化石か めっちゃしっくりくるな 698 名前：デフォルトの名無しさん mailto:sage [2018/06/23(土) 16:07:05.54 ID:0Hl7KNt9.net] 特有じゃないんだよなあ…… Ruby、Delphi、Haskell、Scalaその他諸々みんな罹患してた 既に治った人は生暖かい目で見てるし、看取った側の人はまたかぐらいにしか思ってない むしろ>>685の新鮮な反応が羨ましい

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef