22/09/20 18:50:03.34 Zzh/B1ch.net
>>239 >>246
牛歩ポーズでも1年半まえから(一部は)許可下りた訳だから
jetbrainsの数字(>>27)に期待だね
Rubyに追いついたかも
257:デフォルトの名無しさん
22/09/20 19:03:26.25 hGRs6IhL.net
>>218
Microsoftの人でもGC以外の言語が必要な場合はって感じなんだね。当たり前と言えば当たり前だけど。
258:デフォルトの名無しさん
22/09/20 19:09:47.83 Ww7jMmuH.net
>>249
興味があるなら時間見つけて動画リンク(時間指定 >>231)のさわりの部分だけでも見た方が良いよ
US政府要求に沿ってるだけ
259:デフォルトの名無しさん
22/09/20 19:31:12.43 eS+7DSUz.net
なるほど
Rustの時代になりそう
260:デフォルトの名無しさん
22/09/20 19:33:51.35 GEfCynSG.net
RustのUS裏事情かLinux6.1ニュースで気をよくしたのか他スレで
261:暴れだしました
262:デフォルトの名無しさん
22/09/20 19:45:52.31 LF9hF4o6.net
>>217
レス番教えて ちょっと掘ってみるから
263:デフォルトの名無しさん
22/09/20 19:53:55.74 eNaVAtta.net
>>252
レス番教えて ちょっと掘ってみるから
264:デフォルトの名無しさん
22/09/20 20:30:32.65 poUTUsCs.net
こんなの見つた
Rust part16
ｽﾚﾘﾝｸ(tech板:738番)
ｽﾚﾘﾝｸ(tech板:743番)
>「実装させない方法があるかどうか」
>Rust の初心者として様々な言語機能を理解したいという立場で疑問に思った部分を抜き出し
これ自分の学習用とは思えない
この人も、Rustの「全訳」に挑んでいるのかも
なんにしても、それぞれの言語の「公式以外」から「全訳」(全解説)と称するものが今後出てきたら要注意
>>202
後日「答え合わせ」しようや
265:デフォルトの名無しさん
22/09/20 20:50:11.08 mWqgd8qD.net
このスレが盛り上がるのは平日の20-26時くらいなんだよね
きれいな社畜で笑っちゃう
僕はRustで1600万ほどもらってます
266:デフォルトの名無しさん
22/09/20 20:51:12.22 z6cIhAGk.net
C++は8086でも動いてた。
267:デフォルトの名無しさん
22/09/20 20:52:22.48 z6cIhAGk.net
>>256
お客様が大手企業だからってことは無いの？
268:デフォルトの名無しさん
22/09/20 20:53:09.18 1cXMflH4.net
この世界は二種類の人々に分かれている。
『言語・技術』に興味を持つ人々と、
『オジサン』に興味を持つ人々である。
269:デフォルトの名無しさん
22/09/20 20:56:16.61 2CDS3+Y1.net
>>211-212が言っていることに真実があるなら
複オジ は 職業マ
>>207は何か知ってるんじゃないの>>255について
270:デフォルトの名無しさん
22/09/20 21:06:20.07 zH3u0JIU.net
>>256が言っていることに真実があるなら
複オジ は 会社(零細スタートアップか何か)の社長(or COO)
>>207-210は連係プレーで職業マを否定
>>207は何か知ってるんじゃないの？
271:デフォルトの名無しさん
22/09/20 21:16:55.14 z6cIhAGk.net
>>261
楽天の社長ってことは無いの？
272:デフォルトの名無しさん
22/09/20 21:34:39.28 DK3tUzu4.net
複オジの虚言癖を真に受けちゃうのも結構やばいぞ
至る所に嘘だと分かるヒントが散りばめられてるだろ
273:デフォルトの名無しさん
22/09/20 21:35:49.35 nobtOBFX.net
長期視点で見ると以下の通り
python
→今からやるのは機械学習の人たちだけオッケー
Go
→Rustで良い
C/C++
→Rustで良い
TypeScript
→wasm-bindgenがdomなどをサポートしてるのでいらない
Zig
→生ポインタとかメモリアロケーションとかCに先祖返りしてるRustで良い
Carbon
→C++どうでも良い場合はRustで良い
よって長期視点で見るとRustだけでよろしい
274:デフォルトの名無しさん
22/09/20 21:52:13.29 kT9PmXd0.net
>>259
メカニズムに興味を持つ人とポリシーに興味を持つ人
デバッグが苦手な人は、人間の意図と関係ない現象に興味を持つのが苦手なんじゃないかと思う
275:デフォルトの名無しさん
22/09/20 21:53:13.10 PsJADa91.net
メカニズム以前の問題だから複オジは馬鹿にされとんのよｗ
276:デフォルトの名無しさん
22/09/20 21:57:15.72 Rkn9OZVq.net
長期的視点で見るならRustの最大のリスクは、クールでセクシーな新言語の出現だろうな
Scalaの悲劇を忘れてはならない
277:デフォルトの名無しさん
22/09/20 21:58:58.31 nobtOBFX.net
ScalaはJVM言語だったのが最大のミス
オラクル支配の言語なんか使えるわけない
278:デフォルトの名無しさん
22/09/20 21:59:34.75 n3SPYoKp.net
特定の言語に固執するのは技術力の低さの証
その状態が許されるのは人を動かす仕事ではなく人に動かされる仕事をしてる間だけ
279:デフォルトの名無しさん
22/09/20 22:00:51.15 z6cIhAGk.net
クールでセクシーって進次郎のことか。
進次郎構文のプログラミング言語なんて誰が使うのさ。
統一教会が売りつけてき�
280:ｻう。 自民党だし。
281:デフォルトの名無しさん
22/09/20 22:01:30.25 Rkn9OZVq.net
ScalaはJVMワールド内でもKotlinに惨敗したでしょ
思慮が浅い、やり直し
282:デフォルトの名無しさん
22/09/20 22:12:26.72 5IFsSN7B.net
>>265
言語はメカニズムじゃない
言語設計者以外にとっては
283:デフォルトの名無しさん
[ここ壊れてます] .net
Scalaは関数型を積極的に取り込んだよね
よーく見ていくと詰めが甘いと言うか苦しいとこあるけど
部分適用させようとしてアンダースコア書かないといけないとことか
284:デフォルトの名無しさん
[ここ壊れてます] .net
Scalaはしばらく使ってたけどライブラリの破壊的変更が酷くてやめちゃった
半年ぶりにコンパイルすると全く通らない状態だったし
最近は落ち着いたらしいけど今なら他に選択肢もあるし戻ろうとは思わないなぁ
285:デフォルトの名無しさん
22/09/20 22:17:49.95 z6cIhAGk.net
Rustも同じ道を歩いてる。
286:デフォルトの名無しさん
22/09/20 22:22:51.03 /Bvo4oH4.net
YouTube で有名な雑食系エンジニア・KENTA が、
Scala, PHP をオワコン認定した
それで、ScalaのTwitter、Laravel のZOZO が、やばくなった。
まともな開発者が集まらない
これでオワコンと言われた、Ruby on Rails がますます1強になっていく
287:デフォルトの名無しさん
22/09/20 22:30:15.92 b8QKntNX.net
GCはステロイドみたいなもんだからな。
288:デフォルトの名無しさん
22/09/20 22:35:49.95 kT9PmXd0.net
大昔のゲームを今やってるおじさんは、ソフトが時代遅れになる恐怖を感じない
289:デフォルトの名無しさん
22/09/20 22:47:08.80 mv1uMavq.net
LinuxのNVMeドライバのRust版がC版と同等の性能を出したとな
Western DigitalによるRust版実装がパフォーマンス測定でC版と同じ速度が出てる
Rust Linux Drivers Capable Of Achieving Performance Comparable To C Code
URLﾘﾝｸ(www.phoronix.com)
290:デフォルトの名無しさん
22/09/20 23:05:51.81 9uDlQujI.net
ハードウェアのドライバなんて大半が待ち時間だから
291:デフォルトの名無しさん
22/09/20 23:13:34.53 omzXxvLB.net
色んな業界がRustへ移行しようとしてるんだな
ドライバはバグでセキュリティホールになりがちだったから今後C禁止Rust必須の方向へ進むかもしれない
292:デフォルトの名無しさん
22/09/21 02:58:42.44 4J6kzx02.net
>>279
覇権だな
もうRustを使わない理由がない
293:デフォルトの名無しさん
22/09/21 06:33:09.68 xV4qOd7Y.net
>>279
ディスク屋のWDまでRustかよ！
294:デフォルトの名無しさん
22/09/21 07:10:43.49 HysOxLo3.net
>>220-221
こっちで話出てからC言語スレの様子が変わった
ハノン ◆QZaw55cn4cと雰囲気の似ているスレに注目してる
295:デフォルトの名無しさん
22/09/21 07:29:10.09 0EddIk8Z.net
Flutter vs .NET MAUIで口の悪いC#erも注目してるが
昨晩>>261以降の怒涛の「>>255を受けての連係プレー？」の際も自前の動画作業をしていたようなので
こっちのRusteseとは一旦切り離してみる
296:デフォルトの名無しさん
22/09/21 08:38:26.88 mcBpWvgq.net
>>278
結構昔のゲームでもModが今だに更新されたり新しく出たりしていて、楽しいんだよね…
297:デフォルトの名無しさん
22/09/21 08:59:44.26 CR8smXkB.net
本日の朝の「ポエおじ」そろそろか
298:デフォルトの名無しさん
22/09/21 11:26:36.18 CWNBM10n.net
「Linux」、バージョン6.1でRustを導入へ--トーバルス氏が明言
URLﾘﾝｸ(japan.zdnet.com)
299:5193491/ LinuxにRustを導入するかどうかという議論は終わりを迎えた。Rustの実装は既に始まっている。Linuxの父であるLinus Torvalds氏は電子メールによる筆者との対話の中で「何かおかしなことが発生しない限り、それ（Rust）は6.1で導入される」と述べた。 https://japan.zdnet.com/storage/2022/09/20/fbead5b1eeb6ff33e598cce49a17eb26/linustorvaldstedyoutubeb.jpg
300:デフォルトの名無しさん
22/09/21 11:31:23.95 DwRyuGfA.net
RUSTの時代来たの？
301:デフォルトの名無しさん
22/09/21 11:32:50.41 mwfr5D2n.net
どの部分に使うんだろね
末端の部分だろうけど
302:デフォルトの名無しさん
22/09/21 11:33:31.29 ogbZwOza.net
律儀に有用記事をキッチリと上げてくれる人、それ要らないよ
303:デフォルトの名無しさん
22/09/21 11:55:42.34 rE5Y/LNp.net
いよいよ 数学的証明のない Rustの安全性が 試される 時の試練はこれからだ
304:デフォルトの名無しさん
22/09/21 12:08:09.47 OSKoY9pR.net
数学的証明のある言語とかあるか？
305:デフォルトの名無しさん
22/09/21 12:20:32.20 f5S+A9Jm.net
>>293
純Lispとか。
306:デフォルトの名無しさん
22/09/21 12:21:59.19 p1umNBjJ.net
>>288
C++は欠点だらけだとして一切受け入れなかったLinux開発陣が
Rustは有用だとして正式に受け入れることが決まったのか
307:デフォルトの名無しさん
22/09/21 12:34:04.87 FfiLiD3c.net
Rustは保証とか証明可能って軽率に言う
CSや数学勢、敵にまわし過ぎ
308:デフォルトの名無しさん
22/09/21 13:57:22.71 757dNGj4.net
>>296
色々条件つけての保証なり証明だろ
数学屋さんが扱うものとはレベルが違うぞ
309:デフォルトの名無しさん
22/09/21 14:16:01.83 iX0g6SGn.net
>>297
これだからRusteseは証明が何か、まるで分かって無い
310:デフォルトの名無しさん
22/09/21 14:26:18.31 757dNGj4.net
>>298
そんなフワフワしたレスしか返せないなら黙ってりゃ馬鹿がバレないのにw
311:デフォルトの名無しさん
22/09/21 14:27:30.72 a4l0TSJn.net
>>299
そういえばRusteseって数学できないんだったな
312:デフォルトの名無しさん
22/09/21 14:32:23.54 irdQT16y.net
>>297
>色々条件つけての保証なり証明
お前、さっさとその「証明」論文(仮)持ってこい
それとも、また優良誤認詐欺かよ
313:デフォルトの名無しさん
[ここ壊れてます] .net
このスレは数学科卒しかおらんって聞いたけど
314:デフォルトの名無しさん
[ここ壊れてます] .net
>>300-301
どの機能についての話だよ
そこを明確にしないからフワフワした話だって言われるんだろw
315:デフォルトの名無しさん
[ここ壊れてます] .net
>>297
>色々条件つけての保証なり証明
>>302
なら、お前がもってこい、存在するならな
それとも、またRusteseの優良誤認詐欺か
316:デフォルトの名無しさん
22/09/21 15:06:43.90 7NXl3GM5.net
>>303
おいおい、お前が言い始めた「色々条件」だろーが
お前が想定した「条件」で良いのに、ひとつも「証明」が存在しなかったのか
またRusteseの優良誤認詐欺か
317:デフォルトの名無しさん
22/09/21 15:21:12.55 757dNGj4.net
>>304-305
まじでバカなのか？
個々の機能について条件付けて正しいことを証明してるんだぞ
別に世界の真理について証明してるわけじゃないのにアホすぎるだろw
318:デフォルトの名無しさん
22/09/21 15:24:49.82 RSc7hR6Y.net
>>306
>証明してる
お前、さっさとその「証明」論文(仮)持ってこい
もしかして口だけ証明なのか？
またRusteseの優良誤認詐欺か
319:デフォルトの名無しさん
22/09/21 15:34:56.77 gi0V6ATe.net
Rust言語はコンピューターサイエンス分野で大量に論文が出ているんだなー
Rust論文一覧
URLﾘﾝｸ(rustc-dev-guide.rust-lang.org)
320:y.html#papers-about-rust
321:デフォルトの名無しさん
22/09/21 15:38:57.72 juTH5GpO.net
>>306
>証明してる
お前、良かったな、どれがその「証明」論文かさっさと出せ(>>308)
もしかして口だけ証明なのか？
またRusteseの優良誤認詐欺か
322:デフォルトの名無しさん
22/09/21 15:43:09.97 757dNGj4.net
>>307
>>300に戻る
バカは何度説明してもバカなままなんだなw
323:デフォルトの名無しさん
22/09/21 15:47:52.05 V0Zho+CF.net
>>306 >>310
>証明してる
お前、さっさとどれがその「証明」論文か出せ(>>308)
もしかして口だけ証明なのか？
またRusteseの優良誤認詐欺か
324:デフォルトの名無しさん
22/09/21 15:48:31.29 fqFyDdjF.net
>>308に示されたRust論文一覧をアンチ側が全て論破すべきターンとなりました
325:デフォルトの名無しさん
22/09/21 15:49:43.53 H+WZNlq+.net
その通り
>>306 >>310
>証明してる
お前、さっさとどれがその「証明」論文か出せ(>>308)
もしかして口だけ証明なのか？
またRusteseの優良誤認詐欺か
326:デフォルトの名無しさん
22/09/21 15:53:51.31 IXwJ1OKE.net
おいおい、まだかよ
「どれ」の「どこ」だよ
>>306 >>310
>証明してる
お前、さっさとどれがその「証明」論文か出せ(>>308)
もしかして口だけ証明なのか？
またRusteseの優良誤認詐欺か
327:デフォルトの名無しさん
22/09/21 16:00:56.63 ks+QjcI0.net
>>312
横からだけど、そりゃ無茶だろ。
数学的証明でない論文が大半じゃない？初っ端から実験的手法の論文みたいだし。
まずは数学的証明の論文を提示したほうがいいと思うわ。メモリ安全性に関する論文はRust公式も宣伝していなかったっけ？
328:デフォルトの名無しさん
22/09/21 16:06:16.21 4J6kzx02.net
>>289
来た
329:デフォルトの名無しさん
22/09/21 16:09:33.76 pMmp4CCV.net
おいおい、まだかよ、Rustese数学できねー、なさけねー、早くしろ
「どれ」の「どこ」だよ
>>306 >>310
>証明してる
お前、さっさとどれがその「証明」論文か出せ(>>308)
もしかして口だけ証明なのか？
またRusteseの優良誤認詐欺か
330:デフォルトの名無しさん
22/09/21 16:14:45.06 757dNGj4.net
>>311,313-314,317
基地害か？
全部知りたいなら>>308が挙げてくれた論文見ればいいし、個別に聞きたいならなにが聞きたいのか示せよ
331:デフォルトの名無しさん
22/09/21 16:15:33.96 Fd0sP+eB.net
Rustのメモリ管理はAT&Tが作った言語Cycloneの方法をベースとして作られている
そしてその方法の論文がこれ
URLﾘﾝｸ(www.cs.umd.edu)
332:デフォルトの名無しさん
22/09/21 16:16:50.88 A+S1HdS/.net
>>306 >>318
>証明してる
お前が、さっさと「どれ」の「どこ」がその「証明」論文か出せ(>>308)
もしかして口だけ証明なのか？
Rustese数学できねー、なさけねー、早くしろ
またRusteseの優良誤認詐欺か
333:デフォルトの名無しさん
22/09/21 16:19:47.01 C10YiKi9.net
cycloneじゃなく、さっさとRustの「証明」だせ
>>306 >>318
>証明してる
お前が、さっさと「どれ」の「どこ」がその「証明」論文か出せ(>>308)
もしかして口だけ証明なのか？
Rustese数学できねー、なさけねー、早くしろ
またRusteseの優良誤認詐欺か
334:デフォルトの名無しさん
22/09/21 16:22:28.51 Fd0sP+eB.net
>>321
Rustは同じ方法に基づいているので
>>319の論文をベースにRustは作られている
335:デフォルトの名無しさん
22/09/21 16:25:37.89 /N9xXXTO.net
「ベースとして作られ」
これが「証明」だと言ってるのか？
もしかして口だけ証明なのか？
>>306 >>318
>証明してる
お前が、さっさと「どれ」の「どこ」がその「証明」論文か出せ(>>308)
Rustese数学できねー、なさけねー、早くしろ
またRusteseの優良誤認詐欺か
336:デフォルトの名無しさん
22/09/21 16:42:42.82 UIALNmqD.net
「ベースとして作られ」
これが「証明」だと言ってるのか？
さっそくRustの方が劣化コピーじゃねえか
URLﾘﾝｸ(blog.waft.me)
>Dangling pointerのデリファレンス、「メモリリークをコンパイル時に防ぐ」仕組みとしてリージョンを導入した
>>306 >>318
>証明してる
お前が、さっさと「どれ」の「どこ」がその「証明」論文か出せ(>>308)
Rustese数学できねー、なさけねー、早くしろ
またRusteseの優良誤認詐欺か
337:デフォルトの名無しさん
22/09/21 16:44:54.24 Fd0sP+eB.net
>>323
しっかり>>319の論文で意味論も与えて証明している
論文中でのリージョンがRust におけるライフタイム
338:デフォルトの名無しさん
22/09/21 16:46:00.23 i+mJr34M.net
さっそくRustの方が劣化コピーじゃねえか
Rustは「メモリリークをコンパイル時に防ぐ」は出来ない
URLﾘﾝｸ(blog.waft.me)
>Dangling pointerのデリファレンス、「メモリリークをコンパイル時に防ぐ」仕組みとしてリージョンを導入した
339:デフォルトの名無しさん
22/09/21 16:51:39.94 UY6DP7+P.net
「基づく」とか「ベース」は「証明」じゃねえ
>>325「論文中でのリージョンがRust におけるライフタイム」
って、さっそくRustの方が劣化コピーじゃねえか
URLﾘﾝｸ(blog.waft.me)
>Dangling pointerのデリファレンス、「メモリリークをコンパイル時に防ぐ」仕組みとしてリージョンを導入した
*Rustは「メモリリークをコンパイル時に防ぐ」ことは出来ない
>>306 >>318
>証明してる
お前が、さっさと「どれ」の「どこ」がその「証明」論文か出せ(>>308)
Rustese数学できねー、なさけねー、早くしろ
またRusteseの優良誤認詐欺か
340:デフォルトの名無しさん
22/09/21 16:53:39.02 757dNGj4.net
基地害がIdコロコロさせながら連投かよw
サクッとNGWしとくわ
341:デフォルトの名無しさん
22/09/21 16:55:24.66 h5syVRZM.net
>>327
Cycloneのregion ＝ Rustのlifetime だから
CycloneもRustもコンパイル時点でメモリ安全性を保証できることが>>319の論文により証明されている
342:デフォルトの名無しさん
22/09/21 17:01:18.27 U6NlYu0S.net
>>328-329「基づく」とか「ベース」は「証明」じゃねえ 「証明」ではない「反例」 >>325「論文中でのリージョンがRust におけるライフタイム」 >>329「Cycloneのregion ＝ Rustのlifetime だから 」 って、 さっそくRustの方が劣化コピーじゃねえか https://blog.waft.me/2017/09/24/region-based-03/ cyclone(>>319)>Dangling pointerのデリファレンス、「メモリリークをコンパイル時に防ぐ」仕組みとしてリージョンを導入した *Rustは「メモリリークをコンパイル時に防ぐ」ことは出来ない やっぱり口だけか Rustese数学できねー、なさけねー またRusteseの優良誤認詐欺か
344:デフォルトの名無しさん
22/09/21 17:02:54.47 F3ISOEIm.net
「ベース」にあった性質が「派生」で失われた
345:デフォルトの名無しさん
22/09/21 17:07:36.23 2LV6+DU5.net
「ベース」にあった性質が「派生」で失われた
「ベース」にあった他の性質が「派生」で保持されていると言う「保証」「証明」はない
「派生」で付け加えた性質には、「何の証明」も与えられていない
これが正しい論理的思考
346:デフォルトの名無しさん
22/09/21 17:18:47.61 h5syVRZM.net
キチガイが暴れているようだが
Cycloneのregion ＝ Rustのlifetime なので
Rustはコンパイル時点でメモリ安全性を保証できることが>>319の論文により証明されている
347:デフォルトの名無しさん
22/09/21 17:22:43.05 U65PnWYQ.net
>>332 まさにこれ
だからRustの「証明」を出せ、と言っているが、数学的論理的思考の出来ないRusteseが永遠にエコーチェンバーで陶酔してる
「Cyclone Core」には数学的証明が与えられた性質が存在している(>>319)
しかし
「Cyclone」にあった性質(*)が「Rust」で失われた
(*Rustは「メモリリークをコンパイル時に防ぐ」ことは出来ない)
「Cyclone」にあった他の性質が「Rust」で保持されていると言う「保証」「証明」はない
「Rust」で付け加えた性質には、「何の証明」も与えられていない
これが正しい論理的思考
348:デフォルトの名無しさん
22/09/21 17:35:38.40 iP+X8zZU.net
論文中のCycloneのregionとRustのlifetimeは同じことを意味しているから
>>319の論文の意味論そのままRustにも適用できますね
コンパイル時点でメモリ安全性を保証できることになります
349:デフォルトの名無しさん
22/09/21 17:39:57.84 DwRyuGfA.net
うるせえよ短くまとめろハゲ
350:デフォルトの名無しさん
22/09/21 17:43:24.43 NcsmvTEN.net
「Cyclone Core」には数学的証明が与えられた性質が存在している(>>319)
しかし
①「Cyclone」にあった性質(*)が「Rust」で失われた(*Rustは「メモリリークをコンパイル時に防ぐ」ことは出来ない)
②「Cyclone」にあった他の性質が「Rust」で保持されていると言う「保証」「証明」はない
③「Rust」で付け加えた性質には、「何の証明」も与えられていない
これが正しい論理的思考
351:デフォルトの名無しさん
22/09/21 18:00:00.52 H3dYipCM.net
「Cyclone Core」には数学的証明が与えられた性質が存在している(>>319)
しかし
①「Cyclone」にあった性質(*)が実際に「Rust」で失われた(*Rustは「メモリリークをコンパイル時に防ぐ」ことは出来ない)
②「Cyclone」にあった他の性質が「Rust」で保持されていると言う「保証」「証明」はない
③「Rust」で付け加えた性質には、「何の証明」も与えられていない
④「Rust」の「コンパイル時点でメモリ安全性」(仮 + *)は「証明」されていない
これが正しい論理的思考
④を認めるのが「都合が悪い」Rusteseが 4~5名 存在します。深夜から早朝、日中まで。
352:デフォルトの名無しさん
22/09/21 18:05:44.53 6SxND0cP.net
>>319の論文を見たけど、regionをそのままlifetimeと読み替えれば論文でのセマンティクスは成立してるね
したがって、Rustはコンパイル時点でメモリ安全性を保証できることを意味してる、で合ってるね
353:デフォルトの名無しさん
22/09/21 18:15:26.68 EmNmA81M.net
>>338 >④を認めるのが「都合が悪い？」Rusteseが 4~5名 存在します。深夜から早朝、日中まで。
そして夕方～夜間も。
354:デフォルトの名無しさん
[ここ壊れてます] .net
片や火消しにRustしか使えない蟹道楽
片や同じ内容で罵倒するばかりの文鳥
355:デフォルトの名無しさん
[ここ壊れてます] .net
複オジ常駐スレは腐るの早いねー
356:デフォルトの名無しさん
22/09/21 19:49:07.40 ZClInrHS.net
「意味論」「セマンティクス」これ目立つ。しばらくwatchするか掘ってみるか
357:デフォルトの名無しさん
22/09/21 21:52:13.38 Q/66XtDV.net
>>342
バカの相手はバカしかつとまらないってことだよ
358:デフォルトの名無しさん
22/09/21 21:54:11.18 0J6EjSCl.net
>>343
それ某コテハンの人がよく使う
複オジ語録
359:デフォルトの名無しさん
[ここ壊れてます] .net
「Rust」の「コンパイル時点でメモリ安全性」(仮 + *)は「証明」されていない
(*Rustは「メモリリークをコンパイル時に防ぐ」ことは出来ない)
>>325,335 >>339 YO
「意味論」「セマンティクス」についてしようや
前スレ
>>ｽﾚﾘﾝｸ(tech板:528番)
>あるいはRustでは保証するとか証明可能とか言う話は全て架空だ
>数学的証明された事実は一つもない
>>ｽﾚﾘﾝｸ(tech板:529番)
>まあ数学自体が架空だと思ってる奴もいるんだよな
360:デフォルトの名無しさん
[ここ壊れてます] .net
「Rust」の「コンパイル時点でメモリ安全性」(仮 + *)は「証明」されていない
(*Rustは「メモリリークをコンパイル時に防ぐ」ことは出来ない)
>>325,335 >>339
お前ら、「意味論」「セマンティクス」の言葉を出せば、煙に巻いて、
嘘が通せると思ってんのか？
361:デフォルトの名無しさん
[ここ壊れてます] .net
何でレスするたびにいちいちID変えてるの？
362:デフォルトの名無しさん
[ここ壊れてます] .net
>>348
なさけねーレス
複オジ社長w連れてこい
363:デフォルトの名無しさん
[ここ壊れてます] .net
>>348
今夜のレス常駐当番なの？
複オジ社長wと連絡とれた？
無視しろって言われた？
君、.NET MAUI担当なの？
364:デフォルトの名無しさん
22/09/21 23:10:55.31 +WdKqpjN.net
>>325
365:,335 >>339 「数学自体が架空」って、おいおい、数学出来る奴はそんな発想すらねーんだよ
366:デフォルトの名無しさん
22/09/22 06:32:39.62 KYC2ssXj.net
>>343
意味論(semantics)はコンピューターサイエンスでは常識かつ必須のものであり
今回のような証明においてももちろん不可欠のもの
そして>>319の論文を見てみたら当然のように今回の核心部分で意味論(semantics)が出てきている
皆が言及しているのも当然なのであった
367:デフォルトの名無しさん
22/09/22 07:14:04.21 DmZSjZX3.net
>>352 Rusteseは素人だまして近々Rustで商売を始めるの？
368:デフォルトの名無しさん
22/09/22 08:10:30.13 ge+JBm7w.net
Cloudflare、NGINXに代えて自社開発のRust製HTTPプロキシ「Pingora」をグローバルCDNに採用。性能向上しつつCPUとメモリ消費を3分の1に
URLﾘﾝｸ(www.publickey1.jp)
369:デフォルトの名無しさん
22/09/22 08:58:30.88 6phq5bQc.net
>>354
世界トップシェアのCloudflareがRustで書かれて動いているのかよ！
370:デフォルトの名無しさん
22/09/22 11:29:07.11 OHyjVVFp.net
この腐ったスレで仮定の話をしてみる
尋常ならざる「ヘイト」を集めた仮想集団Rustese(4~5名)が、近々
371:デフォルトの名無しさん
22/09/22 12:21:57.02 C83w8w00.net
>>354
5chもCloudflareを使っているから
これでこのスレの住民が仲良く全員ともRust製にお世話になっていることになるね
372:デフォルトの名無しさん
22/09/22 12:30:36.06 u/eEfzNS.net
>>356
>>353
373:デフォルトの名無しさん
22/09/22 12:43:40.74 Usn+VDp/.net
>>356
もしかして相手にしてるのが複オジ一人だと気付いてない？
374:デフォルトの名無しさん
22/09/22 12:56:32.85 brooaw/j.net
>>356 >>353
ｽﾚﾘﾝｸ(tech板:255番)
デフォルトの名無しさん 2022/09/20(火) 20:30:32.65 ID:poUTUsCs
こんなの見つた
Rust part16
ｽﾚﾘﾝｸ(tech板:738番)
ｽﾚﾘﾝｸ(tech板:743番)
>「実装させない方法があるかどうか」
>Rust の初心者として様々な言語機能を理解したいという立場で疑問に思った部分を抜き出し
これ自分の学習用とは思えない
この人も、Rustの「全訳」に挑んでいるのかも
なんにしても、それぞれの言語の「公式以外」から「全訳」(全解説)と称するものが今後出てきたら要注意
>>ｽﾚﾘﾝｸ(tech板:202番)
後日「答え合わせ」しようや
375:デフォルトの名無しさん
22/09/22 14:26:35.78 0ju0q1YC.net
今日もGoスレで暴れている
376:デフォルトの名無しさん
22/09/22 14:31:10.89 sLzupWJP.net
「ヘイト」を集めた「仮想集団Rustese」(4~5名)(仮定)はどういう設定なの？
377:デフォルトの名無しさん
22/09/22 15:00:07.02 HWZm8NU4.net
各スレをそれぞれ荒らしている集団
それぞれ担当分野をいくつか持っている
378:デフォルトの名無しさん
22/09/22 15:33:09.95 SRcSwEOM.net
という設定？
379:デフォルトの名無しさん
22/09/22 15:39:42.78 Io0prChu.net
日本のITの発展を阻害するのが目的な裏組織でもあるんじゃないかと妄想したくなるなｗ
380:デフォルトの名無しさん
22/09/22 15:45:41.23 llfSUMQF.net
なるほど、腐ったスレ -> 腐った設定を楽しむポエスレ
追加設定(仮):
Rust,Go,C#,組込み,低レイヤー,それぞれ担当分野の強みを集めて日本製VRヘッドセットなどのウェアラブルデバイスのキット、総合ソリューション商売(仮)を近々発表する設定
ファ
381:ームウェア、デバイスドライバがRust製、Rustの優良誤認を巧に利用したセールス Rust,Goの「全訳」(公式以外)を出してコンサル、受託開発もすると宣伝 近々予定のLinux6.1を良い弾みに使う Rustの>>338は都合が悪いから火消し作業@5ch w ネットメディアに取り上げられて「顔出し」インタビュー記事が出るw 尋常ならざるネット行動で「ヘイト」を集めた「仮想集団Rustese」(4~5名)(仮定)の社長(仮)が複オジ社長(>>256)w
382:デフォルトの名無しさん
22/09/22 17:46:05.17 DW+YIIoo.net
>>354
Web方面もRustが使われるとは驚いた
383:デフォルトの名無しさん
22/09/22 18:19:41.34 b/GA6Yzt.net
5ch常駐&自演癖&妄想癖の複オジしゃちょーがまともに仕事してるわけないでしょ
おまえは何と戦ってるんだ？
384:デフォルトの名無しさん
22/09/22 18:20:28.77 EgZWqwyS.net
>>367
そもそもMozillaがFirefoxのために作った言語だし
385:デフォルトの名無しさん
22/09/22 18:45:24.24 EqL6Qqki.net
>>367
Web 方面って言うか CDN なんてゴリゴリのサーバーソフトだからむしろ組込ソフトに近い分野だぞ
386:デフォルトの名無しさん
[ここ壊れてます] .net
そこらへんはFPGAでは？
FPGAの回路合成にC/C++は使えるけど、Rustが使えるという話は聞いたことがない。
387:デフォルトの名無しさん
[ここ壊れてます] .net
CDNは普通にHTTPを解釈してその様々な指定に応じて様々な対応処理をするウェブプロキシサーバー(ソフトウェア)
388:デフォルトの名無しさん
[ここ壊れてます] .net
論理合成はAIを使うとよさそうですが。
389:デフォルトの名無しさん
[ここ壊れてます] .net
>>371
FPGA はもう一つレイヤーが下
ルーターとかスイッチの世界
390:デフォルトの名無しさん
[ここ壊れてます] .net
ニコニコもFPGAらしいですね。
391:デフォルトの名無しさん
[ここ壊れてます] .net
CDNというものは、所詮、ファイルを送出してるにすぎないんですよ。
しかし、非常に高速性が要求される。
392:デフォルトの名無しさん
[ここ壊れてます] .net
nginx使ってたのを独自Rust実装にしたという話で
FPGAの話がどっから出てくるんだ
393:デフォルトの名無しさん
[ここ壊れてます] .net
URLﾘﾝｸ(xtech.nikkei.com)
URLﾘﾝｸ(www.intel.co.jp)
これですね。
394:デフォルトの名無しさん
[ここ壊れてます] .net
いまどき、ソフトウェアとか言ってたら、もしかして：自宅警備員。
と言われちゃいますよ。
395:デフォルトの名無しさん
22/09/22 20:00:45.84 1Wfx7IcA.net
表現の自由戦士になって本を出してよ
396:デフォルトの名無しさん
22/09/22 20:08:57.90 qLW9OXP3.net
自分は光の戦士なので無理。
397:デフォルトの名無しさん
22/09/22 20:09:17.87 EqL6Qqki.net
>>378
どこにもCDN自体をFPGA化したなんて書いてなくて笑うしかないんだけど
そもそも画像処理のFPGA化なんていつの時代の話してるんだよw
398:デフォルトの名無しさん
22/09/22 20:10:45.11 /ukDae2r.net
CDNにFPGAは無理
処理すべきバリエーションが多すぎる
さらに設定ファイル毎に異なる動作をしたり機能も追加されていく
もちろんCDN各社ともproxy server softwareを用いている
399:デフォルトの名無しさん
22/09/22 20:14:04.04 z6cxsZX2.net
>>381
草
400:デフォルトの名無しさん
22/09/22 20:21:18.64 EqL6Qqki.net
>>383
無理かどうかは分からんけどデータ自体を処理するわけじゃない（そう言うのはルーターなりスイッチの役目）だからあんまり効果は無いだろうね
401:デフォルトの名無しさん
22/09/22 20:27:57.36 KxxTKJvn.net
じゃあ今ならRustで構築するのがベストか
Cloudflareは当たり前のことをしただけ
402:デフォルトの名無しさん
[ここ壊れてます] .net
>>354
うおおおおおお
ついにエッジサーバー開発の
403:メインストリームになるか
404:デフォルトの名無しさん
22/09/22 20:51:15.94 +hddm2QC.net
>>377
同意。
記事もろくに読まずに >>371 みたいな自分の勝手なオレ常識を垂れ流すやつには呆れる。
405:デフォルトの名無しさん
22/09/22 20:58:40.24 EqL6Qqki.net
SystemC とか知ってる俺スゲー君だろ
8年近くも前の記事をドヤ顔で出すあたり上っ面だけの知識っぽいけどw
406:デフォルトの名無しさん
22/09/22 21:08:11.72 tkcjyRPY.net
>>367
おそらくフロントエンドは全部Rustになります
CDNエッジサーバーで「フロントエンドの処理を全部動かす」のが確定的になったから
そこではRustが暴れまくる
コンパイラとシステムプログラミング、OSだけでなく
Webの世界もRustが支配しそうだ
407:デフォルトの名無しさん
[ここ壊れてます] .net
>>389
Cからの動作合成が使い物になると思ってる時点で実際FPGAやったことないのバレバレなんだよな
ちゃんとパフォーマンス出そうと思ったらVerilogで書くのは当然として配置やクロック系までちゃんと調整しないといけないわけで
408:デフォルトの名無しさん
22/09/22 21:52:22.05 fvym6PGc.net
フロントエンドでもバチクソに速さを求められて要件もシンプルな場所にはそれなりに Rust が使われると思うけど、業務アプリとかみたいに要件にも揺れがある領域では GC が基本の言語がまだまだ(もしかしたらずっと)強いだろ。
409:デフォルトの名無しさん
22/09/22 21:54:38.94 t4qAEvuE.net
＞腐った設定を楽しむポエスレ
これでしばらく俯瞰してる
ｽﾚﾘﾝｸ(tech板:366番) (一部設定加筆修正)
デフォルトの名無しさん 2022/09/22(木) 15:45:41.23 ID:llfSUMQF
なるほど、腐ったスレ -> 腐った設定を楽しむポエスレ
追加設定(仮):
Rust,Go,C#,C,組込み,低レイヤー,それぞれ担当分野の強みを集めて日本製VRヘッドセットなどのウェアラブルデバイスのキット、ソフトウェアソリューション事業(仮)を近々発表する設定
ソフトウェアスタックの一部がRust製、Rustの優良誤認(*)を巧に利用した宣伝
(* ｽﾚﾘﾝｸ(tech板:946番),963)
Rust,Goの「全訳」(公式以外)を出してコンサル、受託開発もすると宣伝
近々リリース予定のLinux6.1(Rust製ドライバ実働ready)を宣伝材料に使う
Rustの真実(**)は宣伝に都合が悪いから5chで火消し作業w
(** ｽﾚﾘﾝｸ(tech板:338番))
尋常ならざるネット行動で「ヘイト」を集めた「仮想集団Rustese」(4~5名)(仮定)の社長(仮)が複オジしゃちょー
(ｽﾚﾘﾝｸ(tech板:256番),368)
着々と「ヘイト」を収集中
ネットメディアに取り上げられて「顔出し」インタビュー記事が出るw
＞ 後日「答え合わせ」しようや
(>>ｽﾚﾘﾝｸ(tech板:202番),255)
410:デフォルトの名無しさん
22/09/22 22:05:07.85 Gy6yFsGR.net
>>354
Nginxは静的webサーバーとしてはApacheより速いけど、HTTP(S) ProxyやリバースProxyでそんなに速くないし
ロードバランシングもあるけど、モニタリングとか簡素だもん。Cloudflareがいままで余りにもお粗末だっただけで
HAProxyやEnvoy(いずれもC系)でHTTPSでは99%タイルで3倍以上、Traefikの最新版だって2倍スループットの
差が出る。まあ上の記事にも書いてあるけどね
ちょっと古いけど、ベンチマーク（もちろんCPUやメモリ消費量の話じゃないけど、それはパフォーマンスに直結する）
URLﾘﾝｸ(www.loggly.com)
411:デフォルトの名無しさん
22/09/22 22:06:12.58 U8OH4frM.net
嫌儲板にRustのスレが立つ日が来るとはｗｗｗｗ
Linux、開発言語としてRustの導入がほぼ確定！まだ覇権プログラミング言語Rustを学んでない奴おりゅ？ [543236886]
ｽﾚﾘﾝｸ(poverty板)
412:デフォルトの名無しさん
22/09/22 22:20:15.18 Gy6yFsGR.net
それとHTTP(S) ProxyなんてHTTPリクエストの入り口だけど、それを「フロントエンド」なんて言わないよね。
大体はミドルウェア扱いで、コンペ
413:ティションならサーバーサイドの処理結果や連続する同一リクエストなどを Proxyキャッシュから返すとか小細工するけどさ ほとんどの実際のサーバーサイドの入り口のプログラミングだって普通にファイヤーウォールの中にあるので そんな外で一体になるようなプログラミングは許されることは多くない エッジサーバー言い換えるとエッジコンピューティングは、CDNやIoTのような特殊な業務には求められるけど データーベースにつながってるようなシステムだと（工夫して非同期を使っても）結局データを取りに行って 戻ってこなくちゃならないし
414:デフォルトの名無しさん
22/09/22 23:24:58.92 XoRPEjFK.net
レールは続く】 Ruby on Rails Part21 【これからも
ｽﾚﾘﾝｸ(php板:103番)-104
Rails で世界最速！
表示速度が“異常な”Webサイト「dev.to」
これ、米国？ なのに瞬時に表示される！
不思議
415:デフォルトの名無しさん
22/09/22 23:25:28.59 Io0prChu.net
Rustおじさん狂っちゃった？
416:デフォルトの名無しさん
22/09/22 23:53:56.73 qLW9OXP3.net
ファイル配信がFPGAに置き換わってることを知らなかったのでは？
417:デフォルトの名無しさん
22/09/23 01:00:35.17 gD4It3Ab.net
異世界おじさん
418:デフォルトの名無しさん
22/09/23 05:31:20.24 exFn1ITS.net
>>399
ファイル配信がどのレイヤーのこと言ってるのか知らんけどフルFPGAの配信サーバーなんて見たことないけど？
419:デフォルトの名無しさん
22/09/23 10:09:07.92 RMldGM/M.net
データでわかるRustの開発者達 〜Rust Survey 2021の深堀
URLﾘﾝｸ(gihyo.jp)
420:デフォルトの名無しさん
22/09/23 22:37:31.64 ss6QZVCz.net
ホントにRust利用分野のトップがサーバーサイド／バックエンドなんだな
421:デフォルトの名無しさん
22/09/24 10:27:32.12 8u1cquuF.net
C 言語の代替を標榜して作られたんだから
そりゃそうなるわな
422:デフォルトの名無しさん
22/09/24 10:44:41.46 46kCizQt.net
お前らは、標榜したことを実現するためにあらゆる手段を使うべきだと刷り込まれている
だがそれは数学ではないし道徳的にも正しくない
423:デフォルトの名無しさん
22/09/24 13:05:16.42 trDL4TBK.net
おまえら次のスレでは別の言語が覇権！ってしてるんだもんなあ
なんていうか世の中からズレまくってるよ
424:デフォルトの名無しさん
22/09/24 15:01:08.03 baRfG8oL.net
次世代言語の話というより、格付けをしたいだけのキッズが混ざってるからな
425:デフォルトの名無しさん
22/09/24 15:07:26.56 oo/J7FFO.net
トーバルズ氏、Rust導入やM2搭載「MacBook Air」について語る
URLﾘﾝｸ(japan.zdnet.com)
Rustがまだカーネルに導入されていない理由の1つは、一部の開発者が、Linuxで動かすには非標準のRustの拡張がたくさん必要になることを懸念していることだ。
例えば、Rustで書かれたLinuxの新しいNVMeドライバーを動かすには、70以上の拡張が必要になる。
しかしTorvalds氏は、自分たちはすでに何十年も、標準のC言語にはないものを使い続けてきたと指摘した。
「私は以前から、この分野の標準はゴミだと大声で主張してきた。標準が間違っているので、私たちは標準を無視している。Rustについても同じことが言えるだろう」と同氏は言う。
少なくともTorvalds氏は、重要なのはむしろRustのコンパイラーの信頼性と安全性だと考えている。
今ある問題
426:の1つは、「GCC Rust」の信頼性と安定性が低いことだ。このため現実的には、今のところ、LinuxでRustを使用するには「Clang」を使うしかない。 しかしTorvalds氏は、「Clangは十分使える。Rustをマージすればおそらく有益だろうし、カーネルに害を与えることもないだろう」と語った。
427:デフォルトの名無しさん
22/09/24 15:22:13.06 znV/izy5.net
最近はClangが賢いしLLVM方式は多言語をサポートできて有利だな
技術力のない次世代言語はLLVMコードを吐かずにCコードを吐いて最適化の機会を失っている
428:デフォルトの名無しさん
22/09/24 15:50:34.59 46kCizQt.net
勝利条件が間違っているのでチャンスを与えても無視されているケースもあるけど
429:デフォルトの名無しさん
[ここ壊れてます] .net
>>409
Nimですね
430:デフォルトの名無しさん
22/09/24 22:56:21.99 eoiIUnmb.net
Rust普通にfor文回すだけでもコンパイルエラーになって草
なんだこの言語は
431:デフォルトの名無しさん
22/09/24 23:12:05.67 84FXrjPL.net
複数のCコンパイラ(gcc, g++, clang, vc, intel c++, tccなどなど)に対応するより、1つのほうが楽だからそうしてるだけで
技術力がない訳じゃないんだわ。アホ信者だろうからどうでもええけど
432:デフォルトの名無しさん
22/09/24 23:20:12.97 pfcr5AFZ.net
>>409
そのLLVMはC++で作られてるわけで
433:デフォルトの名無しさん
22/09/24 23:39:17.14 SwoMyRrN.net
ある言語などの処理系がどの言語で書かれているかは全く無関係
例えばPythonで書かれていても動作が遅くなるだけで問題なく動く
そしてLLVMの出現時期がたまたま既にC++が標準化され普及した直後だったからC++で作られただけの話
もっと以前ならCで書かれただろうし現在開始のプロジェクトならRustで書かれただろう
434:デフォルトの名無しさん
22/09/24 23:53:07.05 46kCizQt.net
Rustブームの次はLLVMを教えてくれるのか
乗るしかない知の高速道路に
435:デフォルトの名無しさん
22/09/25 00:19:45.91 Esy03jAc.net
LLVM相当をRustで実装とかもう誰かやってそう
436:デフォルトの名無しさん
22/09/25 01:46:08.85 5EJgs9fu.net
>>413
様々なコンパイラに対応するという目標からして間違っているよ
本来の目標は様々なアーキテクチャに対応することだね
その目標を達成するための様々な方法の一つとしてCに変換する方法があるけど
LLVMに変換する方法と比べてCに変換する方法は様々な点で劣ってしまうね
437:デフォルトの名無しさん
22/09/25 09:17:51.29 LGm5VRVM.net
gccとllvm、違いを述べてみよ
438:デフォルトの名無しさん
22/09/25 09:29:12.22 Rxhh3DJ9.net
GNUとApple。
439:デフォルトの名無しさん
22/09/25 09:39:28.60 1aDg8GuI.net
>>419
各プログラミング言語とも各アーキテクチャとも独立した中間コードにあたる命令セットと型システムを持つLLVMでは
各言語のコンパイラはその命令セットによるLLVM中間コードを吐くだけで
LLVMが一般的な最適化と各アーキテクチャに対する最適化を行なって最終コード生成をしてくれる
GCCは時代遅れのシステム設計なのでそのへんが上手く行っていない
440:デフォルトの名無しさん
[ここ壊れてます] .net
何事にも優劣を付けたがる人
441:デフォルトの名無しさん
[ここ壊れてます] .net
GCCのRTLも知らない知ったかなんて相手するなよ
442:デフォルトの名無しさん
[ここ壊れてます] .net
まぁgccも3くらいの頃はRTLがあるとはいえ結構密結合していて改造するのも大変だった記憶
4以降くらいで中間表現がちゃんとなって今はLLVMと変わらないんじゃないかな
どちらかというとライセンスの問題のほうが違いとしては大きいかもね
443:デフォルトの名無しさん
[ここ壊れてます] .net
RTLはあくまでもGCCによるGCCフロントのための内部の存在から脱しきれていない
LLVMのように外部の
444:独立した主体が中間コードを生成しても使える状況には程遠い
445:デフォルトの名無しさん
22/09/25 10:25:14.81 3FXwzWVL.net
パーツ化するのをrmsが反対してたのが
大きいんじゃないの？
446:デフォルトの名無しさん
22/09/25 10:27:11.96 PDKGWlWe.net
>>425
もしかして GCC = GNU C Compiler って思ってるおじいちゃんなのかな？w
447:デフォルトの名無しさん
22/09/25 10:28:34.89 Rxhh3DJ9.net
で、統一教会はなんて言ってるの？
448:デフォルトの名無しさん
22/09/25 10:36:05.47 hjORpT1Q.net
linuxはいつまでgccを使い続けるつもりなのか
449:デフォルトの名無しさん
22/09/25 10:41:19.90 7o/BwXuI.net
Cのheaderと型情報のないバイナリをパーツ化していたのに
一体化してどうすんの
450:デフォルトの名無しさん
22/09/25 10:42:40.37 0nYZB2Sd.net
GCCとLLVMって 各種ベンチマーク見ると
ほぼサイズも実行速度も同程度っていうのが現実
だからどっちでも いっしょしょ
451:デフォルトの名無しさん
22/09/25 10:49:07.78 Rxhh3DJ9.net
スレにサタンが紛れ込んでると思います。
452:デフォルトの名無しさん
22/09/25 11:03:01.03 g3b7BSZx.net
>>431
性能はほぼ一緒だね
しかしこのスレに一番関連ある関心事は新たな次世代言語が作られた時のコード生成のためにどちらが利用できるか利用しやすいかかな
現状だとほぼ間違いなくLLVMが選ばれると思う
453:デフォルトの名無しさん
22/09/25 11:08:43.08 7o/BwXuI.net
選ばれるとは何かが分からない
wasmを選んだ奴はllvmを却下したのか
454:デフォルトの名無しさん
22/09/25 11:17:57.28 g3b7BSZx.net
>>434
Wasmは多々あるアーキテクチャの一つ
LLVMコードからWasmコードが生成されるという関係
各言語コード→LLVMコード→Wasmコード(あるいはx64コードなど)
455:デフォルトの名無しさん
22/09/25 11:26:05.63 PDKGWlWe.net
>>433
後発なので色々改善されてるとは思うけどぶっちゃけ慣れのレベルじゃね？
456:デフォルトの名無しさん
22/09/25 11:29:22.28 7o/BwXuI.net
パーツ化を進めた結果が、llvmをwasmに変換する作業なのか
457:デフォルトの名無しさん
22/09/25 11:31:17.41 P75X35KX.net
”様々なコンパイラに対応するという目標からして間違っているよ 本来の目標は様々なアーキテクチャに対応すること”
また変な事言い出してきた。llvm13.0でllvm/ADT/Triple.hを確認すると59種のアーキテクチャが確認できて
手元のgccが79種、こいつは足し算もできないどころか、自分の文章に矛盾だらけなことに気づいていない.....
劣ってるのは、何でもかんでも引っ張り出してきて他言語を攻撃する品性のないあんたの頭であって、優れているのは
地道に言語実装を担当するコミッターであり、決してあんたではない。「〇〇を勉強してる俺スゲー！」ｗｗｗ
458:デフォルトの名無しさん
22/09/25 11:40:34.50 tfhvRRUB.net
俺スゲーっていうか
自分の力量も相手の力量も両方見えてないのが初心者の特徴
フワフワした断片的な知識で夢心地になれるのも初心者の特徴
459:デフォルトの名無しさん
22/09/25 11:43:12.78 GKeNFFx5.net
Cコードを生成してるNimはマイナー言語のまま終わりそうよ
460:デフォルトの名無しさん
22/09/25 11:52:46.22 UN+agVS4.net
>>437
後から慌ててパーツ化を進めたのはGCC
461:デフォルトの名無しさん
22/09/25 12:22:24.14 HLrQUK/+.net
このスレに出てくる言語だと
SwiftやRustやZigやKotlin(ネイティブ生成時)などみんな各コンパイラがバックエンドとしてLLVMを使っている
もちろんC系各言語はClangがLLVMバックエンド
462:デフォルトの名無しさん
22/09/25 13:25:51.48 7o/BwXuI.net
GCでも似たような話を聞いた
多々ある言語がみんなGCを使っているのに何故ARCなのかって
おそらく、多々あるアーキテクチャの一つにならない方が得をする可能性もあるからじゃないか
463:デフォルトの名無しさん
22/09/25 14:58:40.12 P75X35KX.net
gccのほうが変則的ながらサポートするアーキテクチャが多いのは歴史が長いからだろうけど、gcc
464: rustとか linusが言ってるように存在する（だがいまいち）んだから、攻撃性だけ高いバカは相手にしちゃいかんのな？ 公式じゃないとしても様々なコンパイラに対応はrustですら行っていて自分に返ってきた諸刃の剣になっとるわ 何が言いたいのか1つも分らんし、結局はマイナーだの、みんながLLVMだの。マジ気持ち悪い
465:デフォルトの名無しさん
22/09/25 15:24:54.20 czhuHWYf.net
nimはコンパイラを作らない方針よ
Cへのコンバータを代わりに用意していましゅ
466:デフォルトの名無しさん
22/09/25 17:11:04.17 Rxhh3DJ9.net
>>439
日本の技術は世界一。
467:デフォルトの名無しさん
22/09/25 17:28:42.91 /uxFL98k.net
次スレタイから
Nim out
Zig in
で
468:デフォルトの名無しさん
22/09/25 18:03:28.36 w52o4V7F.net
Carbonも入れよう
Go、Rust、Swift、Zig、Carbonはまつもとゆきひろ公認の次世代言語だからね
URLﾘﾝｸ(logmi.jp)
469:デフォルトの名無しさん
22/09/25 18:11:13.74 Rxhh3DJ9.net
D言語も入れるべきでは？
470:デフォルトの名無しさん
22/09/25 18:43:21.75 +OL/eqQP.net
当時Zigに注目してなかったが、過去スレのこれ↓今度は「競プロ的視点」でZigのところ再現してくれ
ちなみに某一名が >それは専用プログラムでない限りプログラミングでやってはいけない行為 >"caller hash"
と批判しているが、"Rust@github rust/optimized-customhashmap"でも行われている。
URLﾘﾝｸ(github.com)
ｽﾚﾘﾝｸ(tech板)
976デフォルトの名無しさん2022/08/05(金) 07:34:10.27ID:BZGh0CoX
Time in seconds for each data size: kjvbible.txt
x10 x100 x200 x400 Mem Comment
0.018 0.052 0.089 0.174 ***MB baseline/cat
0.036 0.089 0.147 0.260 ***MB baseline/rg foobar (ripgrep, no match)
0.032 0.091 0.159 0.290 ***MB baseline/ugrep foobar (no match)
0.058 0.457 0.889 1.789 1.1MB baseline/grep foobar (no match)
0.219 2.108 4.127 8.263 0.9MB baseline/wc -w (word count, total only)
0.154 1.271 2.551 5.079 2.0MB C (caller hash,stdin=binary-mode)
0.177 1.412 2.733 5.446 3.8MB Go (caller hash)
0.161 1.458 2.903 5.671 1.4MB C++ (caller hash,cin=binary-mode)
0.175 1.513 2.953 5.863 4.6MB Zig @github fixed
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
0.176 1.572 3.124 6.045 2.6MB Rust@github rust/optimized-customhashmap <------実は"caller hash"
0.180 1.597 3.219 6.267 3.1MB Rust@5ch res >>602
Ryzen9 5900X windows11
471:デフォルトの名無しさん
[ここ壊れてます] .net
そんなことより条件揃えないベンチは何も価値がない
どうでもいい話を今ごろ蒸し返すのは病気
472:デフォルトの名無しさん
[ここ壊れてます] .net
Nim下げしたいがためだけにgccよりllvmとか言ってたのか
くだらな
473:デフォルトの名無しさん
[ここ壊れてます] .net
Cコードを生成するNim
LLVMコードを生成するZig
どちらがまともか一目瞭然
474:デフォルトの名無しさん
22/09/25 19:15:44.04 PDKGWlWe.net
唯一確かなのは言語のスレで実装でマウント取ろうとする奴がまともでないことだな
475:デフォルトの名無しさん
22/09/25 19:22:43.96 toxRGZVn.net
ある言語で誰かにより書かれた特定のアプリやシステムやプログラムコードをもってその言語自体を叩く人がいつもいるね
区別がつかないのかも
476:デフォルトの名無しさん
22/09/25 19:27:32.77 o/MazDuA.net
そもそも言語を叩くって意味が分からん�
477:� いや、意味は分かるんだけど動機が分からんわ プログラミング言語に好きも嫌いもなくて必要なもんを使うだけ←わかる 嫌いな言語なんてない←わかる 嫌いな言語がある←わかる 嫌いな（？）言語を叩く←？？？
478:デフォルトの名無しさん
22/09/25 19:33:28.70 Rxhh3DJ9.net
>>450
次世代言語は遅いくせにメモリー食いすぎだな。
479:デフォルトの名無しさん
22/09/25 19:34:35.56 Rxhh3DJ9.net
>>456
5chでRustやRubyが叩かれるのは理由があるからな。
480:デフォルトの名無しさん
22/09/25 19:41:23.81 6wI0gbs/.net
RubyはガイジのせいだけどRustにもガイジがいるの？
481:デフォルトの名無しさん
22/09/25 19:45:35.90 OVW1TBF9.net
>>459
熱心なアンチをここでよく見かけるｗ
482:デフォルトの名無しさん
22/09/25 20:30:28.24 jQaUrv4h.net
実装で特別なことはしてないが「競プロ的視点」という事で:
Language x10 x100 x200 x400 Memory Comment
--------------------------------------------------------------
Zig 0.118 1.073 2.113 4.203 3.2MB (std.HashMap + "caller hash" by Context(std.hash.Fnv1a_64.hash))
Zig 0.162 1.493 2.970 5.935 4.6MB (std.StringHashMap)
zig version 0.10.0-dev.4166+cae76d829
CPU Zen3@boost max~4.75GHz
Faster than C になってる(Cはまだまだ最適化の余地があると思うが)
483:デフォルトの名無しさん
22/09/25 20:40:28.94 tSRJjxfh.net
バカだな
言語間で異なるアルゴリズムを使っていたら
それは言語の比較ではなくアルゴリズムの比較だ
484:デフォルトの名無しさん
22/09/25 20:45:11.70 Rxhh3DJ9.net
実際に速くても、RustよりZigのほうが速い証明にならんのか？
485:デフォルトの名無しさん
22/09/25 20:51:08.64 WuvdTVAA.net
ZigもRustもコードを合わせればほぼ同じLLVMコードを吐いてほぼ同じ結果になるやろな
無論Clang使用したCも
486:デフォルトの名無しさん
22/09/25 21:20:01.75 7o/BwXuI.net
叩かれる側に原因があるっていうのはアフォーダンス
物を売りつければ、買う側に原因があるという
ちょうど猫が入りそうな箱に猫を入れたら、箱に原因があるという
487:デフォルトの名無しさん
22/09/25 21:45:37.43 S7teK5ry.net
おーいつもやつ帰ってきたか
寂しかったぞ
三連休どこに消えてたんだ
家族サービスでもしてたか？
書き込み減って悲しかったぞ
488:デフォルトの名無しさん
22/09/25 23:10:00.88 LGm5VRVM.net
C言語へのトランスレート自体は悪くない。
でもマイナー言語でリソース足りないのに色んな言語へのトランスレートをやろうとするのは無理すぎ。
489:デフォルトの名無しさん
22/09/25 23:31:48.34 PDKGWlWe.net
>>467
> 色んな言語へのトランスレートをやろうとするのは無理すぎ。
そんな言語あるの？
490:デフォルトの名無しさん
22/09/26 12:30:23.28 YfpqeBHF.net
JVM 系言語が Kotlin Native, Scale.js, GraalVM あたりで JVM 以外に色気出すのは筋悪いと思うね。
そこに魅力を感じる層は結局自分が今習得しているツールに縛られた技術選定しかできない人々という意味でも、発展性がない。
491:デフォルトの名無しさん
22/09/26 14:29:10.13 8+SLfSDi.net
>>469
視野が狭い末端プログラマーらしい意見だね。
君は結局自分が今置かれた立場に縛られた物事の見方しかできない人という意味でも、発展性がない。
492:デフォルトの名無しさん
22/09/26 14:40:41.23 tGukFybk.net
>>453
nlvmというトランスレーターではないllvm IRを直接吐き出す実装があるんだわ。もちろん、公式じゃないし
こんな事する意味があまりないから全然流行ってないけど、上のほうで暴れてたLLVM=Rust信者だって
もともとはRustだってOCamlで書かれた最初のコンパイラを辞めて、LLVMのセルフホストになった。
そこにコンパイラ基盤がLLVMだから良いとか・優秀だという考えはない、単にコンパイルを速くしたかったか
開発リソースを集中させたかっただけ。現にgccrsはllvmだと宜しくない場合があるから作られてるわけで
言語へのトランスレートが無理なんじゃなく、作者は開発コスト問題から数多ある無数のCコンパイラへ対応は
辞めたがってるけど、それだってマイナーなTiny C/tccがC標準から少し逸脱してるから辞めたいだけ
493:デフォルトの名無しさん
22/09/26 14:41:03.61 heiSJ5NK.net
暇なんか
494:デフォルトの名無しさん
22/09/26 14:46:16.26 tGukFybk.net
暇なんや、ごめん。。。
495:デフォルトの名無しさん
22/09/26 14:51:59.22 6oNZz9Ue.net
>>469
根拠を示していないから、ただの誹謗中傷にしかなっていない。
煽るにしても、もうちょっとそれらしい主張にしたら？
例えば「JVM系の言語はだらしなくヒープを使うからネイティブにしても速くならない。そんなのをやるんだったら、安全性と速さを両立したRustを勉強したほうがいい」とか。
496:デフォルトの名無しさん
22/09/26 16:55:54.26 heiSJ5NK.net
ruby は ruby で実装されています
遅くなる罠
497:デフォルトの名無しさん
[ここ壊れてます] .net
>>471
LLVMなんてどこでも使っているのに
LLVMというだけでRust信者と思い込むのは浅はか
なんでもかんでもRustにもって来たがるのはアンチの悪い癖
498:デフォルトの名無しさん
[ここ壊れてます] .net
>>469
JVM言語の唯一のメリットであるポータブルな点は当時と比べて重要度を失っているんじゃないかな
もちろんポータブル自体は有利だけどJVMよりもっと様々な必要や要素を兼ね備えたWASMの出現が大きかったね
後発だから色んな改善がされているのは当たり前だけどWASM＞JVMであることは否定しようがないもんね
499:デフォルトの名無しさん
22/09/26 20:34:04.50 aq2MKDiL.net
URLﾘﾝｸ(github.com)
Language x10 x100 x200 x400 Memory Comment
--------------------------------------------------------------
Zig 0.118 1.073 2.113 4.203 3.2MB (std.HashMap + "caller hash" by Context(std.hash.Fnv1a_64.hash))
C(gcc) 0.136 1.146 2.271 4.531 2.0MB (optimized.c, binIO,jemalloc,O4,LTO) NEW
C(clang/LLVM) 0.137 1.147 2.280 4.544 2.0MB (optimized.c, binIO,jemalloc,O3,LTO) NEW
Go 0.177 1.412 2.733 5.446 3.8MB (caller hash)<--from過去スレ
Rust(LLVM) 0.154 1.425 2.838 5.674 2.6MB (optimized-customhashmap,O3,LTO,caller-hash) NEW
以下、caller-hashではない
Zig 0.162 1.493 2.970 5.935 4.6MB (std.StringHashMap)
Rust(LLVM) 0.214 1.725 3.396 6.715 3.5MB (optimized,fxhash,O3,LTO) NEW
zig version 0.10.0-dev.4166+cae76d829
gcc 12.2.0/clang 15.0.0
rustc 1.64.0 (a55dd71d5 2022-09-19)
CPU Zen3@boost max~4.75GHz
Go Ryzen9 5900X windows11 <-- Boost Clock. Up to 4.8GHz.?
Rust(optimized-customhashmap)はC(optimized.c)と「コードを合わせ」てあるはずだが、コンパイルオプション程度の「簡単」な工夫を試した限りではgcc/clangと「ほぼ同じ結果にはならなかった」
「コードを合わせたRust」がCと比べて「2~3割程度遅い」のは「そういう場合もあるよね」で驚きも失望もない
意外なのは過去スレGoがRustと同水準だ(起動時間0.03s程度以外むしろGoの方が速い)という事。(こちらで再現したわけではない)
500:デフォルトの名無しさん
22/09/26 21:18:14.74 kqzwQQxQ.net
またキチガイが粘着にデマを蒸し返してるのか
RustがC/C++と同等の速さで動くことは世界中で様々なケースで確認済み
今は次の段階へ進んでいて新たなシステム構築からRustへ置き換わって行ってる
501:デフォルトの名無しさん
22/09/26 21:28:58.87 C6vutbgO.net
Rustはコードがスパゲッティになっちゃうから
その分遅くなる可能性あるよね
スパゲッティにならなきゃＣと同等だよ
502:デフォルトの名無しさん
22/09/26 21:31:40.65 O0BeXmlV.net
>>479
さすがにそりゃ無理だろ。
503:デフォルトの名無しさん
22/09/26 21:46:52.90 9MQ9piMO.net
>>480
Rustで書くと素直な整理されたデータ構造に改善する方へ寄せられていくから
スパゲティにはならずむしろスパゲティ解消のメンテ
504:しやすい良いコードになってしまいますね
505:デフォルトの名無しさん
22/09/26 21:52:22.11 +dm3CjP+.net
保守性の悪いスパゲッティなコードを書く人がRustを嫌っているのはそこだな
Rustだといつもの汚い思い通りのコードが書けないからイライラするのだろう
506:デフォルトの名無しさん
22/09/26 22:14:45.96 /nP0aUDh.net
Rustスレで自己満クソコードをいっぱい貼った子がおってなｗ
あれたぶん自分ではきれいな非スパゲッティコードだと思ってるんやろな
507:デフォルトの名無しさん
22/09/26 22:20:48.84 beq6P1IL.net
>>484
最近Rustスレ見ているけどそんなの見たことないな
別の言語の話なのかな
508:デフォルトの名無しさん
22/09/26 22:36:11.87 jR+qoQ1m.net
汚コーダーこと複オジ必死ww
509:デフォルトの名無しさん
22/09/26 22:39:34.93 8PEh+vqG.net
Rustはある種のBDUFを強制するから良い場合もあれば良くない場合もある
510:デフォルトの名無しさん
22/09/26 22:52:31.71 pezTruwP.net
具体的にその汚いコードというのを見てみたい
もし本当にあるならば
511:デフォルトの名無しさん
22/09/26 23:05:18.27 /nP0aUDh.net
自分ではキレイと思ってるから自分では自信があったのかなｗ
スレ住民にクソコード貼るなって言われても意固地になってたよｗ
その流れを再放送するなら無意味だよね
聞く耳持たないだけだから
512:デフォルトの名無しさん
22/09/26 23:10:51.04 s+ZBVtyn.net
仕様をよっぽど気に入らない限りコードなんて見なければいい
仕様が憎ければコードまで汚く見える
513:デフォルトの名無しさん
22/09/26 23:19:28.91 pT4nta3W.net
スパゲティコード見せて
Rustで見かけたことないので興味ある
514:デフォルトの名無しさん
22/09/26 23:27:53.64 UCDuW+LB.net
>>489
「ママー、きょうこんなコードかいたんだよ、みてみてー」ってノリだったから汚いかどうかは眼中になかったんだろ
気持ち悪いおっさんが幼稚園児メンタルで汚コードを一日中貼り続けるからマジキモかったけどな
515:デフォルトの名無しさん
22/09/26 23:30:20.22 27oIc9Ns.net
>>491
・>>1から過去スレをたどっていくことができない情弱
・酷評されたコードを汚くないと再反駁するためのネタ振り
どっち？
516:デフォルトの名無しさん
22/09/26 23:32:17.55 /nP0aUDh.net
再放送になるだけだから相手しちゃダメよ
517:デフォルトの名無しさん
22/09/26 23:33:27.62 TfyFKTsU.net
スパゲッティな汚いコードが貼られているスレどこよ？
518:デフォルトの名無しさん
22/09/26 23:38:47.29 n/I9g/yq.net
昔はgotoだらけの制御が絡み合って個々に分解しにくいコードを指してスパゲティと呼んだものだが
今時そんなgotoだらけのコードはないだろうから、どんなコードを指してスパゲティと呼んだのか興味はある。
519:デフォルトの名無しさん
22/09/26 23:40:55.28 Lm6MVDpz.net
コードを示せない上にスレも示せないって、スパコードが実在しないんじゃね
520:デフォルトの名無しさん
22/09/26 23:42:48.94 s+ZBVtyn.net
きれい
a + (b + c) = (a + b) + c
汚い
(= (+ a (+ b c)) (+ (+ a b) c))
521:デフォルトの名無しさん
22/09/26 23:48:39.78 TKJcQCDW.net
Rustでスパゲッテイなコードは起きないだろうから
>>484がRustを叩きたくて嘘をついていて引くに引けなくなっただけだと思うよ
522:デフォルトの名無しさん
22/09/26 23:54:32.25 Jsp+UQ/m.net
最初から「Rustスレ」でって書いてあるじゃん
ディープコピーすら知らなかった複オジの黒歴史を見てこいよw
523:デフォルトの名無しさん
22/09/26 23:56:01.56 OQjD8tr1.net
>>500
本人だから相手しちゃダメ
また汚コードペタペタされるぞ
524:デフォルトの名無しさん
22/09/27 00:01:35.99 GvJUGqKn.net
Rustスレもいつも眺めているがスパゲティコードらしきものを見たことないな
そもそもRustでスパゲッティコードというものが想像つかん
525:デフォルトの名無しさん
22/09/27 00:16:44.35 8a7P63B1.net
急に必死じゃん
ウケる
526:デフォルトの名無しさん
22/09/27 00:29:16.23 N/hVnqtI.net
結局Rustアンチの人による妄想なの？
次世代言語でのスパゲッティ見てみたかった
527:デフォルトの名無しさん
22/09/27 06:55:28.90 IOhA+x8R.net
言語のアンチをしている時点で異常者だから
528:デフォルトの名無しさん
22/09/27 07:43:25.27 IZdkb4Kl.net
>>482
「改善する方向に誘導」は嘘。
マズそうなデータ構造で助言してくれるわけじゃない。
実際は「煮詰まってきたときにコンパイルが拒否する」が正解。Rustはにっちもさっちもいかなくなってから「これはダメ」と放り投げる。
529:デフォルトの名無しさん
22/09/27 09:16:32.53 rf9DOsrN.net
テスト駆動によれば、テストが通らない状態から始めるように誘導しなければ
改善へ誘導したと言えなくなる
530:デフォルトの名無しさん
22/09/27 09:41:06.42 cEY2BOsF.net
Rustが叩かれてるというよりは単に複オジが叩かれてるだけなんだがｗ
このへんの区別がつかない人と話になる？ｗ
531:デフォルトの名無しさん
22/09/27 11:19:43.94 UjKs3SUd.net
このスレはなぜJuliaの話題が無いのか
単純な計算やループだとRustのようにCと同等のネイティブコードで実行でき簡単に並列化・分散化してスケールする。
行列を標準で扱え、コンパイルも出来てスクリプト言語のように手軽にcliで実行できる。面倒な型は普通に型推論だが
逆行する推論を備え、それによってコンパイル言語でありえない動的さと、Lispのような真のマクロを備える
それともどこかにある最適な実装を、シコシコとオレ様実装してしまう泥臭く真の漢のシステムプログラマーばかりなのか
532:デフォルトの名無しさん
22/09/27 11:26:01.22 5Lv2ihqk.net
>>509
汎用言語じゃないから
533:デフォルトの名無しさん
22/09/27 11:38:54.13 XJRFtCjW.net
>>509
その単純な計算やループはたまにしか使わない
JuliaはGC言語なのにヒープメモリをできる限り少なくするプログラミングをプログラマーがしなければいけない
そのへんに気を使わずプログラムを作ると速さに大きな差が出る
つまりメモリ管理は気にせず言語に任せておけばいいという言語じゃない
なのにガベージコレクションが発生する
534:デフォルトの名無しさん
22/09/27 12:04:52.19 pQ5zmsRD.net
>>509
今時数値計算をCPUでやるおじさんは老害
535:デフォルトの名無しさん
[ここ壊れてます] .net
Juliaは多重ディスパッチでデータ型とアルゴリズム実装を自由に組み合わせられるみたいなのが売りの一つだと思うけど
ちゃんとテストされてない組み合わせだと簡単に計算結果を間違うという指摘が結構あって
数値計算向けの言語としては致命的なんではないかなぁと思っている
536:デフォルトの名無しさん
22/09/27 13:19:39.57 rf9DOsrN.net
カリー化の要領で単一ディスパッチに帰着するパターンの正式名称が致命的だった
537:デフォルトの名無しさん
22/09/27 15:29:16.37 bek5280g.net
>>511
本当に触ったことありますか？どんな言語だとしても、ループ内でのヒープメモリ割り当てなんて気を付けて書く。
それはRustだって同じ事、GCというかスコープを外れたらOSが回収するが、決してメモリーを気にしないような
プログラミングなんてしない、これはGoでもJavaでも同じ。これを気にしない人はカッコ付けて再帰呼び出しを
してみたりスタックさえ気にしない人が稀にいる
本当に言いたいことを最後に書く日本人の典型だと思うが、そ�
538:閧瓱CはGC系なので発生するでしょうね >>512 いまどきならCUDA.jlやAMDGPU.jlというものがある。だがRustだとかGoだとかもGPUを普通は使ったりしない。 前者は標準の高階関数で悦に入ってるのがその証拠であり、後者は多数のgoroutineで疑似パラレル処理を するわけだが稀にGPUを使うとしても特殊例に過ぎない >>513 そりゃテストされてない組み合わせなんてまともに動くほうが稀だとおもうけど。Rustでいえば少し昔のactixを async-stdで動かすようなもんだろう、動的呼び出しのコストを気にして、動的性がほとんどないRustやGoと 比べるのが違うんだろうと思うが、letだのvarだの書かないのは、型推測の究極系からいうとありだと思う。 パターンマッチングもあるし、ライバルはRustとかじゃなく、PythonのDeepleaning系やＲなんだろうと思うが
539:デフォルトの名無しさん
22/09/27 15:42:59.62 R6/41eV0.net
めっちゃw早口で言ってそうw
540:デフォルトの名無しさん
22/09/27 16:39:12.74 ZRU3zNgl.net
>>515
> どんな言語だとしても、ループ内でのヒープメモリ割り当てなんて気を付けて書く。
多くのGC言語では、そんなことを気にせずGC任せのプログラマーが多数派だと思います
> GCというかスコープを外れたらOSが回収するが、
ありえません
541:デフォルトの名無しさん
[ここ壊れてます] .net
Rustみたいなバリバリの実用土方向け言語と比べるのは間違い。
542:デフォルトの名無しさん
[ここ壊れてます] .net
>>515
必死で笑った
543:デフォルトの名無しさん
[ここ壊れてます] .net
>>515
本当まで読んだ
544:デフォルトの名無しさん
[ここ壊れてます] .net
>>518
え？ほとんど誰も使ってないんだけど
545:デフォルトの名無しさん
22/09/27 19:50:43.74 NlDwCy+I.net
>>518
Rustは管理部門がコーダーに押し付けたい言語。
社員監視用にマナー講師を雇うようなもんだ。
546:デフォルトの名無しさん
22/09/27 20:02:47.05 0rkJ8NRM.net
>>522
このまえはRustを趣味で使われる割合が多いと叩いていたのに叩く方針変更かね
Rustはプログラマーに愛されているプログラミング言語7年連続1位と記事が出ているけどどうするのかね
547:デフォルトの名無しさん
22/09/27 20:09:31.55 DiyGsTXL.net
>>515
各組み合わせごとに厳密にテストしないと組み合わせられないなら
「多重ディスパッチで簡単に組み合わせられます」とか言うなよってこと
そもそも静的型ならコンパイルエラーになるしPythonとかなら巨大なライブラリにみんなで乗っかる方式だから、組み合わせの問題が発生しやすいのはJulia固有の話
548:デフォルトの名無しさん
22/09/27 20:13:06.18 NlDwCy+I.net
>>523
今までも同じ主張しかしとらんよ。
これからは他人のために使うRustユーザーが増えていくから、愛され言語１位を維持するのは無理だろ。
PythonとかJavaの規模のなっても維持できているなら本物だな。
549:デフォルトの名無しさん
22/09/27 20:18:14.18 YwA5X+6D.net
Rustは他の言語よりコーティングしやすいしプログラマーにとっては嬉しい言語っす
550:デフォルトの名無しさん
22/09/27 20:49:24.20 R1T2sN7L.net
1から自分で好きなように書くならRustは気持ち良い言語なのは同意するけどね
Rustは個人の好みや癖が出やすい言語だから、他人のオナニーの後片付けは辛いぞ
Rubyしかり、創意工夫()の余地が大きくて楽しい()言語はレガシー化すると激しくプログラマに嫌われる傾向がある
551:デフォルトの名無しさん
22/09/27 21:06:03.50 fcAnqxP3.net
>>527
プログラミングしたことのない人には
RubyとRustは創意工夫の余地があって辛くて
他の言語には創意工夫の余地がないように見えているのか
そんなデタラメ書き散らす前にプログラミング経験積んで出直してこい
552:デフォルトの名無しさん
22/09/27 21:27:10.63 plkckm5B.net
Go追加>>478(>>450,461)
Language x10 x100 x200 x400 Memory Comment
--------------------------------------------------------------
Zig 0.118 1.073 2.113 4.203 3.2MB (std.HashMap, caller hash by Context(Fnv1a_64))
C(gcc) 0.136 1.146 2.271 4.531 2.0MB (optimized.c, binIO,jemalloc,O4,LTO)
C(clang/LLVM) 0.137 1.147 2.280 4.544 2.0MB (optimized.c, binIO,jemalloc,O3,LTO)
Go 0.152 1.233 2.428 4.832 3.9MB (caller hash,better loop) New
Go 0.164 1.346 2.654 5.279 3.8MB (caller hash)手元再現 New
Go 0.177 1.412 2.733 5.446 3.8MB (caller hash)<--参考値from過去スレ
Rust(LLVM) 0.154 1.425 2.838 5.674 2.6MB (optimized-customhashmap,O3,LTO,caller-hash)
以下、caller-hashではない
Go 0.085 0.366 0.693 1.319 61.9MB (parallel.go,reserve 65536/2)<--マルチスレッド New
Zig 0.162 1.493 2.970 5.935 4.6MB (std.StringHashMap)
Go 0.182 1.563 3.063 6.097 3.8MB (customhash.go,reserve 65536) New
Rust(LLVM) 0.214 1.725 3.396 6.715 3.5MB (optimized,fxhash,O3,LTO)
zig version 0.10.0-dev.4166+cae76d829
gcc 12.2.0/clang 15.0.0
go version go1.19.1
rustc 1.64.0 (a55dd71d5 2022-09-19)
CPU Zen3@boost max~4.75GHz
URLﾘﾝｸ(github.com)
予想以上にGoが速かったが、最近の成果かもしれない。
URLﾘﾝｸ(go.dev) (2 August 2022)
>Go 1.19 includes a wide variety of performance and implementation improvements
553:デフォルトの名無しさん
22/09/27 21:40:42.21 w/rzDiTn.net
アルゴリズムの比較と言語の比較の区別がつかない人が未だに無意味なことを続けてるな～
554:デフォルトの名無しさん
22/09/27 22:51:31.16 EQTYy8LW.net
>>522
なるほど
555:デフォルトの名無しさん
22/09/27 23:06:01.46 pQ5zmsRD.net
社畜タイムだな
556:デフォルトの名無しさん
22/09/27 23:25:50.78 b2qWmeFJ.net
>>522
そんなホワイト企業があるなら名前教えてくれよ
557:デフォルトの名無しさん
22/09/28 11:39:35.28 LY5LAbp2.net
くせぇ、くせぇ、泥だらけ漢だらけで土方臭え！forループじゃなくmap使えとか親方ァは細かすぎる・・・
何がワシだって「下積みの頃はC未定義動作で行間を読んだもんだ！」だ！未定義動作書くなよ！？基本だろうが！＃
何が「ここは大手の偉い人が書いたから変えらなかったんだよ！」だ！
Displayトレイトが滅多に表示しない方に使ってて頻繁に表示する方はいちいちdisp_xxxなんて呼ばないといけないんだ！
設計根本から間違ってるだろうが！
「Rustは気持ち良い言語、Rustは気持ちよく書ける」なんて2020年代前半に言われてたらしいが、もう憎しみしかない
お百度参りしても、この恨み晴れるとは思えない
オレこのデスマが終わったら、高給取りのAIのPython業界に転職するんだ・・・
558:デフォルトの名無しさん
22/09/28 12:04:48.31 aJVEzZZx.net
>>534
ことごとく勘違いしてるでしょ？
mapは単なる写像にすぎなくてループと対応するものではなくループの中の写像の文 let y = f(x); に対応するものです
未定義動作はunsafeを使わない限り発生しません
disp_xxxといったものは標準ライブラリにありません
以上から貴方はRustではなく異なる別のものを使っている可能性が高いです
559:デフォルトの名無しさん
22/09/28 13:39:09.80 qn6QKhcv.net
顔真っ赤で一行開け必死で笑ったｗｗｗキモッｗ
560:デフォルトの名無しさん
22/09/28 18:08:24.66 RGJlN0a6.net
rustは、haskellみたいにはならないと思う。
ロマンが足りない。オナニーしても気持ち良くない的な。
その点、juliaの方がロマン感じる。
561:デフォルトの名無しさん
22/09/28 18:19:46.86 TUTlK2Rr.net
rustは十分ロマンがあるよ
562:デフォルトの名無しさん
22/09/28 19:06:02.54 lioEJO8p.net
嫌いなのはわかるけど消去法でもRust一択だよ
まずスクリプト言語は速度と安全性がゴミなので論外
(書き捨てのスクリプトにのみ使うならアリ)
C/C++は論外
世界中のバグはこの言語から生まれている
JavaやC#もぬるぽ排除失敗
副作用まみれを助長する言語仕様
クソ重GCとJVM運用でオワコン
Goも結局ジ�
563:Fネリクス導入の失敗で標準ライブラリがジェネリクスなしの涙目に 安全性とは程遠い 言語仕様も一部よくわからない謎 さらにゴルーチンの書きにくさで並行処理の言語としても微妙 その他のモダン言語は結局本質的解決にはなってないから論外 よってRust一択
564:デフォルトの名無しさん
22/09/28 19:10:09.32 ToxcoP+T.net
>>539
Goはnil安全性すらないから前世紀の言語っぽい
565:デフォルトの名無しさん
22/09/28 19:15:39.85 6MwVPPZN.net
Goは色んな機能を削りすぎていて苦痛
ジェネリック導入で明るい未来を期待していたけどあんな使えない仕様になるとは
566:デフォルトの名無しさん
22/09/28 19:17:23.82 lioEJO8p.net
>>540
あーそれもあるか
err != nilには笑ったわ
なんかエディタのスニペットに登録してるから問題ないらしい
567:デフォルトの名無しさん
22/09/28 19:20:37.46 Jk2txA1W.net
正直NULL安全みたいな機能いるか？
Kotlinとかにもあるけど、結局NULL許容型も書けるし中途半端過ぎる
568:デフォルトの名無しさん
22/09/28 19:21:11.66 M8/EGStO.net
>>539
Rustは絶壁の学習曲線で多数の初学者が挫折し、エンスー以外使えないエンドコンテンツで終わるだろう。
せめてライブラリとかフレームワークを初心者向けに作り込むことができればまだ可能性はあるが、所有権とライフタイムがラフな使い方を拒否するからそういうことも困難。
まぁ、「３番目に学習する言語」くらいの位置になれれば万々歳だな。
569:デフォルトの名無しさん
22/09/28 19:25:13.91 lioEJO8p.net
>>543
関数型界隈以外ではその重要性に気がついてなかった
いわゆるシステムプログラミング言語でRustが唯一まともにNULL安全性を持って生まれた言語
570:デフォルトの名無しさん
22/09/28 19:30:16.66 lioEJO8p.net
>>544
初心者が挫折しがちというのは理解できるのだが
(俺自身C/C++のヘビーユーザーだったが最初はコンパイルを通すのに苦労した)
しかし一旦理解するとコンパイルエラーはほぼ起きないし
Rustの気持ちになって考えることができるようになる
本当にコンパイラの気持ちがわかる
571:デフォルトの名無しさん
22/09/28 19:40:17.57 M8/EGStO.net
>>543
Javaのヌルポは散々馬鹿にされていたからなぁ。
実際には、正常値としてのNullならnull objectの方が素性が良い。optionalみたいなNullが良いのは、異質なケースとして明示的に処理したい場合のみ。
572:デフォルトの名無しさん
22/09/28 19:43:30.85 M8/EGStO.net
>>546
その「一旦理解する」というのが絶壁だっつうの。