スレタイ以外の言語もok
前スレ
次世代言語28 TypeScript Swift Go Kotlin Rust Nim
https://mevius.5ch.net/test/read.cgi/tech/1661739736/
探検
次世代言語29 TypeScript Swift Go Kotlin Rust Nim
■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん
2022/09/17(土) 19:05:49.83ID:6v3irpfN243デフォルトの名無しさん
2022/09/20(火) 17:43:45.86ID:iAVyJt7L244デフォルトの名無しさん
2022/09/20(火) 17:52:21.48ID:BdrUKNGd245デフォルトの名無しさん
2022/09/20(火) 18:15:18.68ID:hNRkPWlR 結局>>15の問題が様々なインフラに影響を及ぼしているので
新たなシステムから順にC/C++を捨ててRust採用て話なんやろな
新たなシステムから順にC/C++を捨ててRust採用て話なんやろな
246デフォルトの名無しさん
2022/09/20(火) 18:41:50.37ID:nobtOBFX みんなRustやろうな
マジでこれからはこの言語一択
マジでこれからはこの言語一択
247デフォルトの名無しさん
2022/09/20(火) 18:46:34.44ID:EJtWH9jr Rustおじさんはいくらで雇われてるんだろ…
248デフォルトの名無しさん
2022/09/20(火) 18:50:03.34ID:Zzh/B1ch249デフォルトの名無しさん
2022/09/20(火) 19:03:26.25ID:hGRs6IhL >>218
Microsoftの人でもGC以外の言語が必要な場合はって感じなんだね。当たり前と言えば当たり前だけど。
Microsoftの人でもGC以外の言語が必要な場合はって感じなんだね。当たり前と言えば当たり前だけど。
250デフォルトの名無しさん
2022/09/20(火) 19:09:47.83ID:Ww7jMmuH251デフォルトの名無しさん
2022/09/20(火) 19:31:12.43ID:eS+7DSUz なるほど
Rustの時代になりそう
Rustの時代になりそう
252デフォルトの名無しさん
2022/09/20(火) 19:33:51.35ID:GEfCynSG RustのUS裏事情かLinux6.1ニュースで気をよくしたのか他スレで暴れだしました
253デフォルトの名無しさん
2022/09/20(火) 19:45:52.31ID:LF9hF4o6 >>217
レス番教えて ちょっと掘ってみるから
レス番教えて ちょっと掘ってみるから
254デフォルトの名無しさん
2022/09/20(火) 19:53:55.74ID:eNaVAtta >>252
レス番教えて ちょっと掘ってみるから
レス番教えて ちょっと掘ってみるから
255デフォルトの名無しさん
2022/09/20(火) 20:30:32.65ID:poUTUsCs こんなの見つた
Rust part16
https://mevius.5ch.net/test/read.cgi/tech/1656285423/738
https://mevius.5ch.net/test/read.cgi/tech/1656285423/743
>「実装させない方法があるかどうか」
>Rust の初心者として様々な言語機能を理解したいという立場で疑問に思った部分を抜き出し
これ自分の学習用とは思えない
この人も、Rustの「全訳」に挑んでいるのかも
なんにしても、それぞれの言語の「公式以外」から「全訳」(全解説)と称するものが今後出てきたら要注意
>>202
後日「答え合わせ」しようや
Rust part16
https://mevius.5ch.net/test/read.cgi/tech/1656285423/738
https://mevius.5ch.net/test/read.cgi/tech/1656285423/743
>「実装させない方法があるかどうか」
>Rust の初心者として様々な言語機能を理解したいという立場で疑問に思った部分を抜き出し
これ自分の学習用とは思えない
この人も、Rustの「全訳」に挑んでいるのかも
なんにしても、それぞれの言語の「公式以外」から「全訳」(全解説)と称するものが今後出てきたら要注意
>>202
後日「答え合わせ」しようや
256デフォルトの名無しさん
2022/09/20(火) 20:50:11.08ID:mWqgd8qD このスレが盛り上がるのは平日の20-26時くらいなんだよね
きれいな社畜で笑っちゃう
僕はRustで1600万ほどもらってます
きれいな社畜で笑っちゃう
僕はRustで1600万ほどもらってます
257デフォルトの名無しさん
2022/09/20(火) 20:51:12.22ID:z6cIhAGk C++は8086でも動いてた。
258デフォルトの名無しさん
2022/09/20(火) 20:52:22.48ID:z6cIhAGk >>256
お客様が大手企業だからってことは無いの?
お客様が大手企業だからってことは無いの?
259デフォルトの名無しさん
2022/09/20(火) 20:53:09.18ID:1cXMflH4 この世界は二種類の人々に分かれている。
『言語・技術』に興味を持つ人々と、
『オジサン』に興味を持つ人々である。
『言語・技術』に興味を持つ人々と、
『オジサン』に興味を持つ人々である。
260デフォルトの名無しさん
2022/09/20(火) 20:56:16.61ID:2CDS3+Y1261デフォルトの名無しさん
2022/09/20(火) 21:06:20.07ID:zH3u0JIU262デフォルトの名無しさん
2022/09/20(火) 21:16:55.14ID:z6cIhAGk >>261
楽天の社長ってことは無いの?
楽天の社長ってことは無いの?
263デフォルトの名無しさん
2022/09/20(火) 21:34:39.28ID:DK3tUzu4 複オジの虚言癖を真に受けちゃうのも結構やばいぞ
至る所に嘘だと分かるヒントが散りばめられてるだろ
至る所に嘘だと分かるヒントが散りばめられてるだろ
264デフォルトの名無しさん
2022/09/20(火) 21:35:49.35ID:nobtOBFX 長期視点で見ると以下の通り
python
→今からやるのは機械学習の人たちだけオッケー
Go
→Rustで良い
C/C++
→Rustで良い
TypeScript
→wasm-bindgenがdomなどをサポートしてるのでいらない
Zig
→生ポインタとかメモリアロケーションとかCに先祖返りしてるRustで良い
Carbon
→C++どうでも良い場合はRustで良い
よって長期視点で見るとRustだけでよろしい
python
→今からやるのは機械学習の人たちだけオッケー
Go
→Rustで良い
C/C++
→Rustで良い
TypeScript
→wasm-bindgenがdomなどをサポートしてるのでいらない
Zig
→生ポインタとかメモリアロケーションとかCに先祖返りしてるRustで良い
Carbon
→C++どうでも良い場合はRustで良い
よって長期視点で見るとRustだけでよろしい
265デフォルトの名無しさん
2022/09/20(火) 21:52:13.29ID:kT9PmXd0266デフォルトの名無しさん
2022/09/20(火) 21:53:13.10ID:PsJADa91 メカニズム以前の問題だから複オジは馬鹿にされとんのよw
267デフォルトの名無しさん
2022/09/20(火) 21:57:15.72ID:Rkn9OZVq 長期的視点で見るならRustの最大のリスクは、クールでセクシーな新言語の出現だろうな
Scalaの悲劇を忘れてはならない
Scalaの悲劇を忘れてはならない
268デフォルトの名無しさん
2022/09/20(火) 21:58:58.31ID:nobtOBFX ScalaはJVM言語だったのが最大のミス
オラクル支配の言語なんか使えるわけない
オラクル支配の言語なんか使えるわけない
269デフォルトの名無しさん
2022/09/20(火) 21:59:34.75ID:n3SPYoKp 特定の言語に固執するのは技術力の低さの証
その状態が許されるのは人を動かす仕事ではなく人に動かされる仕事をしてる間だけ
その状態が許されるのは人を動かす仕事ではなく人に動かされる仕事をしてる間だけ
270デフォルトの名無しさん
2022/09/20(火) 22:00:51.15ID:z6cIhAGk クールでセクシーって進次郎のことか。
進次郎構文のプログラミング言語なんて誰が使うのさ。
統一教会が売りつけてきそう。
自民党だし。
進次郎構文のプログラミング言語なんて誰が使うのさ。
統一教会が売りつけてきそう。
自民党だし。
271デフォルトの名無しさん
2022/09/20(火) 22:01:30.25ID:Rkn9OZVq ScalaはJVMワールド内でもKotlinに惨敗したでしょ
思慮が浅い、やり直し
思慮が浅い、やり直し
272デフォルトの名無しさん
2022/09/20(火) 22:12:26.72ID:5IFsSN7B273デフォルトの名無しさん
2022/09/20(火) 22:14:40.82ID:PsJADa91 Scalaは関数型を積極的に取り込んだよね
よーく見ていくと詰めが甘いと言うか苦しいとこあるけど
部分適用させようとしてアンダースコア書かないといけないとことか
よーく見ていくと詰めが甘いと言うか苦しいとこあるけど
部分適用させようとしてアンダースコア書かないといけないとことか
274デフォルトの名無しさん
2022/09/20(火) 22:17:01.31ID:owULvK/K Scalaはしばらく使ってたけどライブラリの破壊的変更が酷くてやめちゃった
半年ぶりにコンパイルすると全く通らない状態だったし
最近は落ち着いたらしいけど今なら他に選択肢もあるし戻ろうとは思わないなぁ
半年ぶりにコンパイルすると全く通らない状態だったし
最近は落ち着いたらしいけど今なら他に選択肢もあるし戻ろうとは思わないなぁ
275デフォルトの名無しさん
2022/09/20(火) 22:17:49.95ID:z6cIhAGk Rustも同じ道を歩いてる。
276デフォルトの名無しさん
2022/09/20(火) 22:22:51.03ID:/Bvo4oH4 YouTube で有名な雑食系エンジニア・KENTA が、
Scala, PHP をオワコン認定した
それで、ScalaのTwitter、Laravel のZOZO が、やばくなった。
まともな開発者が集まらない
これでオワコンと言われた、Ruby on Rails がますます1強になっていく
Scala, PHP をオワコン認定した
それで、ScalaのTwitter、Laravel のZOZO が、やばくなった。
まともな開発者が集まらない
これでオワコンと言われた、Ruby on Rails がますます1強になっていく
277デフォルトの名無しさん
2022/09/20(火) 22:30:15.92ID:b8QKntNX GCはステロイドみたいなもんだからな。
278デフォルトの名無しさん
2022/09/20(火) 22:35:49.95ID:kT9PmXd0 大昔のゲームを今やってるおじさんは、ソフトが時代遅れになる恐怖を感じない
279デフォルトの名無しさん
2022/09/20(火) 22:47:08.80ID:mv1uMavq LinuxのNVMeドライバのRust版がC版と同等の性能を出したとな
Western DigitalによるRust版実装がパフォーマンス測定でC版と同じ速度が出てる
Rust Linux Drivers Capable Of Achieving Performance Comparable To C Code
https://www.phoronix.com/news/LPC-2022-Rust-Linux
Western DigitalによるRust版実装がパフォーマンス測定でC版と同じ速度が出てる
Rust Linux Drivers Capable Of Achieving Performance Comparable To C Code
https://www.phoronix.com/news/LPC-2022-Rust-Linux
280デフォルトの名無しさん
2022/09/20(火) 23:05:51.81ID:9uDlQujI ハードウェアのドライバなんて大半が待ち時間だから
281デフォルトの名無しさん
2022/09/20(火) 23:13:34.53ID:omzXxvLB 色んな業界がRustへ移行しようとしてるんだな
ドライバはバグでセキュリティホールになりがちだったから今後C禁止Rust必須の方向へ進むかもしれない
ドライバはバグでセキュリティホールになりがちだったから今後C禁止Rust必須の方向へ進むかもしれない
282デフォルトの名無しさん
2022/09/21(水) 02:58:42.44ID:4J6kzx02283デフォルトの名無しさん
2022/09/21(水) 06:33:09.68ID:xV4qOd7Y >>279
ディスク屋のWDまでRustかよ!
ディスク屋のWDまでRustかよ!
284デフォルトの名無しさん
2022/09/21(水) 07:10:43.49ID:HysOxLo3285デフォルトの名無しさん
2022/09/21(水) 07:29:10.09ID:0EddIk8Z286デフォルトの名無しさん
2022/09/21(水) 08:38:26.88ID:mcBpWvgq >>278
結構昔のゲームでもModが今だに更新されたり新しく出たりしていて、楽しいんだよね…
結構昔のゲームでもModが今だに更新されたり新しく出たりしていて、楽しいんだよね…
287デフォルトの名無しさん
2022/09/21(水) 08:59:44.26ID:CR8smXkB 本日の朝の「ポエおじ」そろそろか
288デフォルトの名無しさん
2022/09/21(水) 11:26:36.18ID:CWNBM10n 「Linux」、バージョン6.1でRustを導入へ--トーバルス氏が明言
https://japan.zdnet.com/article/35193491/
LinuxにRustを導入するかどうかという議論は終わりを迎えた。Rustの実装は既に始まっている。Linuxの父であるLinus Torvalds氏は電子メールによる筆者との対話の中で「何かおかしなことが発生しない限り、それ(Rust)は6.1で導入される」と述べた。
https://japan.zdnet.com/storage/2022/09/20/fbead5b1eeb6ff33e598cce49a17eb26/linustorvaldstedyoutubeb.jpg
https://japan.zdnet.com/article/35193491/
LinuxにRustを導入するかどうかという議論は終わりを迎えた。Rustの実装は既に始まっている。Linuxの父であるLinus Torvalds氏は電子メールによる筆者との対話の中で「何かおかしなことが発生しない限り、それ(Rust)は6.1で導入される」と述べた。
https://japan.zdnet.com/storage/2022/09/20/fbead5b1eeb6ff33e598cce49a17eb26/linustorvaldstedyoutubeb.jpg
289デフォルトの名無しさん
2022/09/21(水) 11:31:23.95ID:DwRyuGfA RUSTの時代来たの?
290デフォルトの名無しさん
2022/09/21(水) 11:32:50.41ID:mwfr5D2n どの部分に使うんだろね
末端の部分だろうけど
末端の部分だろうけど
291デフォルトの名無しさん
2022/09/21(水) 11:33:31.29ID:ogbZwOza 律儀に有用記事をキッチリと上げてくれる人、それ要らないよ
292デフォルトの名無しさん
2022/09/21(水) 11:55:42.34ID:rE5Y/LNp いよいよ 数学的証明のない Rustの安全性が 試される 時の試練はこれからだ
293デフォルトの名無しさん
2022/09/21(水) 12:08:09.47ID:OSKoY9pR 数学的証明のある言語とかあるか?
294デフォルトの名無しさん
2022/09/21(水) 12:20:32.20ID:f5S+A9Jm >>293
純Lispとか。
純Lispとか。
295デフォルトの名無しさん
2022/09/21(水) 12:21:59.19ID:p1umNBjJ296デフォルトの名無しさん
2022/09/21(水) 12:34:04.87ID:FfiLiD3c Rustは保証とか証明可能って軽率に言う
CSや数学勢、敵にまわし過ぎ
CSや数学勢、敵にまわし過ぎ
297デフォルトの名無しさん
2022/09/21(水) 13:57:22.71ID:757dNGj4298デフォルトの名無しさん
2022/09/21(水) 14:16:01.83ID:iX0g6SGn >>297
これだからRusteseは証明が何か、まるで分かって無い
これだからRusteseは証明が何か、まるで分かって無い
299デフォルトの名無しさん
2022/09/21(水) 14:26:18.31ID:757dNGj4 >>298
そんなフワフワしたレスしか返せないなら黙ってりゃ馬鹿がバレないのにw
そんなフワフワしたレスしか返せないなら黙ってりゃ馬鹿がバレないのにw
300デフォルトの名無しさん
2022/09/21(水) 14:27:30.72ID:a4l0TSJn >>299
そういえばRusteseって数学できないんだったな
そういえばRusteseって数学できないんだったな
301デフォルトの名無しさん
2022/09/21(水) 14:32:23.54ID:irdQT16y302デフォルトの名無しさん
2022/09/21(水) 14:43:01.70ID:DwRyuGfA このスレは数学科卒しかおらんって聞いたけど
303デフォルトの名無しさん
2022/09/21(水) 14:47:54.76ID:757dNGj4304デフォルトの名無しさん
2022/09/21(水) 14:48:48.78ID:foKpgHn9305デフォルトの名無しさん
2022/09/21(水) 15:06:43.90ID:7NXl3GM5306デフォルトの名無しさん
2022/09/21(水) 15:21:12.55ID:757dNGj4307デフォルトの名無しさん
2022/09/21(水) 15:24:49.82ID:RSc7hR6Y308デフォルトの名無しさん
2022/09/21(水) 15:34:56.77ID:gi0V6ATe Rust言語はコンピューターサイエンス分野で大量に論文が出ているんだなー
Rust論文一覧
https://rustc-dev-guide.rust-lang.org/appendix/bibliography.html#papers-about-rust
Rust論文一覧
https://rustc-dev-guide.rust-lang.org/appendix/bibliography.html#papers-about-rust
309デフォルトの名無しさん
2022/09/21(水) 15:38:57.72ID:juTH5GpO310デフォルトの名無しさん
2022/09/21(水) 15:43:09.97ID:757dNGj4311デフォルトの名無しさん
2022/09/21(水) 15:47:52.05ID:V0Zho+CF312デフォルトの名無しさん
2022/09/21(水) 15:48:31.29ID:fqFyDdjF >>308に示されたRust論文一覧をアンチ側が全て論破すべきターンとなりました
313デフォルトの名無しさん
2022/09/21(水) 15:49:43.53ID:H+WZNlq+314デフォルトの名無しさん
2022/09/21(水) 15:53:51.31ID:IXwJ1OKE315デフォルトの名無しさん
2022/09/21(水) 16:00:56.63ID:ks+QjcI0 >>312
横からだけど、そりゃ無茶だろ。
数学的証明でない論文が大半じゃない?初っ端から実験的手法の論文みたいだし。
まずは数学的証明の論文を提示したほうがいいと思うわ。メモリ安全性に関する論文はRust公式も宣伝していなかったっけ?
横からだけど、そりゃ無茶だろ。
数学的証明でない論文が大半じゃない?初っ端から実験的手法の論文みたいだし。
まずは数学的証明の論文を提示したほうがいいと思うわ。メモリ安全性に関する論文はRust公式も宣伝していなかったっけ?
316デフォルトの名無しさん
2022/09/21(水) 16:06:16.21ID:4J6kzx02 >>289
来た
来た
317デフォルトの名無しさん
2022/09/21(水) 16:09:33.76ID:pMmp4CCV318デフォルトの名無しさん
2022/09/21(水) 16:14:45.06ID:757dNGj4319デフォルトの名無しさん
2022/09/21(水) 16:15:33.96ID:Fd0sP+eB Rustのメモリ管理はAT&Tが作った言語Cycloneの方法をベースとして作られている
そしてその方法の論文がこれ
https://www.cs.umd.edu/projects/cyclone/papers/cyclone-regions.pdf
そしてその方法の論文がこれ
https://www.cs.umd.edu/projects/cyclone/papers/cyclone-regions.pdf
320デフォルトの名無しさん
2022/09/21(水) 16:16:50.88ID:A+S1HdS/321デフォルトの名無しさん
2022/09/21(水) 16:19:47.01ID:C10YiKi9322デフォルトの名無しさん
2022/09/21(水) 16:22:28.51ID:Fd0sP+eB323デフォルトの名無しさん
2022/09/21(水) 16:25:37.89ID:/N9xXXTO324デフォルトの名無しさん
2022/09/21(水) 16:42:42.82ID:UIALNmqD 「ベースとして作られ」
これが「証明」だと言ってるのか?
さっそくRustの方が劣化コピーじゃねえか
https://blog.waft.me/2017/09/24/region-based-03/
>Dangling pointerのデリファレンス、「メモリリークをコンパイル時に防ぐ」仕組みとしてリージョンを導入した
>>306 >>318
>証明してる
お前が、さっさと「どれ」の「どこ」がその「証明」論文か出せ(>>308)
Rustese数学できねー、なさけねー、早くしろ
またRusteseの優良誤認詐欺か
これが「証明」だと言ってるのか?
さっそくRustの方が劣化コピーじゃねえか
https://blog.waft.me/2017/09/24/region-based-03/
>Dangling pointerのデリファレンス、「メモリリークをコンパイル時に防ぐ」仕組みとしてリージョンを導入した
>>306 >>318
>証明してる
お前が、さっさと「どれ」の「どこ」がその「証明」論文か出せ(>>308)
Rustese数学できねー、なさけねー、早くしろ
またRusteseの優良誤認詐欺か
325デフォルトの名無しさん
2022/09/21(水) 16:44:54.24ID:Fd0sP+eB326デフォルトの名無しさん
2022/09/21(水) 16:46:00.23ID:i+mJr34M さっそくRustの方が劣化コピーじゃねえか
Rustは「メモリリークをコンパイル時に防ぐ」は出来ない
https://blog.waft.me/2017/09/24/region-based-03/
>Dangling pointerのデリファレンス、「メモリリークをコンパイル時に防ぐ」仕組みとしてリージョンを導入した
Rustは「メモリリークをコンパイル時に防ぐ」は出来ない
https://blog.waft.me/2017/09/24/region-based-03/
>Dangling pointerのデリファレンス、「メモリリークをコンパイル時に防ぐ」仕組みとしてリージョンを導入した
327デフォルトの名無しさん
2022/09/21(水) 16:51:39.94ID:UY6DP7+P 「基づく」とか「ベース」は「証明」じゃねえ
>>325「論文中でのリージョンがRust におけるライフタイム」
って、さっそくRustの方が劣化コピーじゃねえか
https://blog.waft.me/2017/09/24/region-based-03/
>Dangling pointerのデリファレンス、「メモリリークをコンパイル時に防ぐ」仕組みとしてリージョンを導入した
*Rustは「メモリリークをコンパイル時に防ぐ」ことは出来ない
>>306 >>318
>証明してる
お前が、さっさと「どれ」の「どこ」がその「証明」論文か出せ(>>308)
Rustese数学できねー、なさけねー、早くしろ
またRusteseの優良誤認詐欺か
>>325「論文中でのリージョンがRust におけるライフタイム」
って、さっそくRustの方が劣化コピーじゃねえか
https://blog.waft.me/2017/09/24/region-based-03/
>Dangling pointerのデリファレンス、「メモリリークをコンパイル時に防ぐ」仕組みとしてリージョンを導入した
*Rustは「メモリリークをコンパイル時に防ぐ」ことは出来ない
>>306 >>318
>証明してる
お前が、さっさと「どれ」の「どこ」がその「証明」論文か出せ(>>308)
Rustese数学できねー、なさけねー、早くしろ
またRusteseの優良誤認詐欺か
328デフォルトの名無しさん
2022/09/21(水) 16:53:39.02ID:757dNGj4 基地害がIdコロコロさせながら連投かよw
サクッとNGWしとくわ
サクッとNGWしとくわ
329デフォルトの名無しさん
2022/09/21(水) 16:55:24.66ID:h5syVRZM330デフォルトの名無しさん
2022/09/21(水) 17:01:18.27ID:U6NlYu0S >>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の優良誤認詐欺か
「証明」ではない「反例」
>>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の優良誤認詐欺か
331デフォルトの名無しさん
2022/09/21(水) 17:02:54.47ID:F3ISOEIm 「ベース」にあった性質が「派生」で失われた
332デフォルトの名無しさん
2022/09/21(水) 17:07:36.23ID:2LV6+DU5 「ベース」にあった性質が「派生」で失われた
「ベース」にあった他の性質が「派生」で保持されていると言う「保証」「証明」はない
「派生」で付け加えた性質には、「何の証明」も与えられていない
これが正しい論理的思考
「ベース」にあった他の性質が「派生」で保持されていると言う「保証」「証明」はない
「派生」で付け加えた性質には、「何の証明」も与えられていない
これが正しい論理的思考
333デフォルトの名無しさん
2022/09/21(水) 17:18:47.61ID:h5syVRZM334デフォルトの名無しさん
2022/09/21(水) 17:22:43.05ID:U65PnWYQ335デフォルトの名無しさん
2022/09/21(水) 17:35:38.40ID:iP+X8zZU 論文中のCycloneのregionとRustのlifetimeは同じことを意味しているから
>>319の論文の意味論そのままRustにも適用できますね
コンパイル時点でメモリ安全性を保証できることになります
>>319の論文の意味論そのままRustにも適用できますね
コンパイル時点でメモリ安全性を保証できることになります
336デフォルトの名無しさん
2022/09/21(水) 17:39:57.84ID:DwRyuGfA うるせえよ短くまとめろハゲ
337デフォルトの名無しさん
2022/09/21(水) 17:43:24.43ID:NcsmvTEN 「Cyclone Core」には数学的証明が与えられた性質が存在している(>>319)
しかし
@「Cyclone」にあった性質(*)が「Rust」で失われた(*Rustは「メモリリークをコンパイル時に防ぐ」ことは出来ない)
A「Cyclone」にあった他の性質が「Rust」で保持されていると言う「保証」「証明」はない
B「Rust」で付け加えた性質には、「何の証明」も与えられていない
これが正しい論理的思考
しかし
@「Cyclone」にあった性質(*)が「Rust」で失われた(*Rustは「メモリリークをコンパイル時に防ぐ」ことは出来ない)
A「Cyclone」にあった他の性質が「Rust」で保持されていると言う「保証」「証明」はない
B「Rust」で付け加えた性質には、「何の証明」も与えられていない
これが正しい論理的思考
338デフォルトの名無しさん
2022/09/21(水) 18:00:00.52ID:H3dYipCM 「Cyclone Core」には数学的証明が与えられた性質が存在している(>>319)
しかし
@「Cyclone」にあった性質(*)が実際に「Rust」で失われた(*Rustは「メモリリークをコンパイル時に防ぐ」ことは出来ない)
A「Cyclone」にあった他の性質が「Rust」で保持されていると言う「保証」「証明」はない
B「Rust」で付け加えた性質には、「何の証明」も与えられていない
C「Rust」の「コンパイル時点でメモリ安全性」(仮 + *)は「証明」されていない
これが正しい論理的思考
Cを認めるのが「都合が悪い」Rusteseが 4~5名 存在します。深夜から早朝、日中まで。
しかし
@「Cyclone」にあった性質(*)が実際に「Rust」で失われた(*Rustは「メモリリークをコンパイル時に防ぐ」ことは出来ない)
A「Cyclone」にあった他の性質が「Rust」で保持されていると言う「保証」「証明」はない
B「Rust」で付け加えた性質には、「何の証明」も与えられていない
C「Rust」の「コンパイル時点でメモリ安全性」(仮 + *)は「証明」されていない
これが正しい論理的思考
Cを認めるのが「都合が悪い」Rusteseが 4~5名 存在します。深夜から早朝、日中まで。
339デフォルトの名無しさん
2022/09/21(水) 18:05:44.53ID:6SxND0cP >>319の論文を見たけど、regionをそのままlifetimeと読み替えれば論文でのセマンティクスは成立してるね
したがって、Rustはコンパイル時点でメモリ安全性を保証できることを意味してる、で合ってるね
したがって、Rustはコンパイル時点でメモリ安全性を保証できることを意味してる、で合ってるね
340デフォルトの名無しさん
2022/09/21(水) 18:15:26.68ID:EmNmA81M341デフォルトの名無しさん
2022/09/21(水) 19:04:12.59ID:XoOJdoO3 片や火消しにRustしか使えない蟹道楽
片や同じ内容で罵倒するばかりの文鳥
片や同じ内容で罵倒するばかりの文鳥
342デフォルトの名無しさん
2022/09/21(水) 19:20:31.78ID:CnU+CdJ3 複オジ常駐スレは腐るの早いねー
343デフォルトの名無しさん
2022/09/21(水) 19:49:07.40ID:ZClInrHS 「意味論」「セマンティクス」これ目立つ。しばらくwatchするか掘ってみるか
■ このスレッドは過去ログ倉庫に格納されています
