次世代言語29 TypeScript Swift Go Kotlin Rust Nim

■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん
垢版 |
2022/09/17(土) 19:05:49.83ID:6v3irpfN
スレタイ以外の言語もok

前スレ
次世代言語28 TypeScript Swift Go Kotlin Rust Nim
https://mevius.5ch.net/test/read.cgi/tech/1661739736/
2022/09/20(火) 17:43:45.86ID:iAVyJt7L
>>240 GAFAMwww cloudflareも入れてやれよ
でも真面目な話で>>237が現実解
2022/09/20(火) 17:52:21.48ID:BdrUKNGd
>>238
>Rust、俺も好きだよ
俺もRustが普通の時代(仮 遠い目)が来るなら拒まない

>>238
>Microsoftのやるやる詐欺にはいい加減懲りてるんだ
Rustの件は「莫大な軍事予算が下りる」くらいないと>>237で着地

「莫大な軍事予算」マダー?>US政府
2022/09/20(火) 18:15:18.68ID:hNRkPWlR
結局>>15の問題が様々なインフラに影響を及ぼしているので
新たなシステムから順にC/C++を捨ててRust採用て話なんやろな
2022/09/20(火) 18:41:50.37ID:nobtOBFX
みんなRustやろうな
マジでこれからはこの言語一択
2022/09/20(火) 18:46:34.44ID:EJtWH9jr
Rustおじさんはいくらで雇われてるんだろ…
2022/09/20(火) 18:50:03.34ID:Zzh/B1ch
>>239 >>246
牛歩ポーズでも1年半まえから(一部は)許可下りた訳だから

jetbrainsの数字(>>27)に期待だね

Rubyに追いついたかも
2022/09/20(火) 19:03:26.25ID:hGRs6IhL
>>218
Microsoftの人でもGC以外の言語が必要な場合はって感じなんだね。当たり前と言えば当たり前だけど。
2022/09/20(火) 19:09:47.83ID:Ww7jMmuH
>>249
興味があるなら時間見つけて動画リンク(時間指定 >>231)のさわりの部分だけでも見た方が良いよ
US政府要求に沿ってるだけ
2022/09/20(火) 19:31:12.43ID:eS+7DSUz
なるほど
Rustの時代になりそう
2022/09/20(火) 19:33:51.35ID:GEfCynSG
RustのUS裏事情かLinux6.1ニュースで気をよくしたのか他スレで暴れだしました
2022/09/20(火) 19:45:52.31ID:LF9hF4o6
>>217
レス番教えて ちょっと掘ってみるから
2022/09/20(火) 19:53:55.74ID:eNaVAtta
>>252
レス番教えて ちょっと掘ってみるから
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
後日「答え合わせ」しようや
256デフォルトの名無しさん
垢版 |
2022/09/20(火) 20:50:11.08ID:mWqgd8qD
このスレが盛り上がるのは平日の20-26時くらいなんだよね
きれいな社畜で笑っちゃう
僕はRustで1600万ほどもらってます
257デフォルトの名無しさん
垢版 |
2022/09/20(火) 20:51:12.22ID:z6cIhAGk
C++は8086でも動いてた。
258デフォルトの名無しさん
垢版 |
2022/09/20(火) 20:52:22.48ID:z6cIhAGk
>>256
お客様が大手企業だからってことは無いの?
2022/09/20(火) 20:53:09.18ID:1cXMflH4
この世界は二種類の人々に分かれている。
『言語・技術』に興味を持つ人々と、
『オジサン』に興味を持つ人々である。
2022/09/20(火) 20:56:16.61ID:2CDS3+Y1
>>211-212が言っていることに真実があるなら

複オジ は 職業マ

>>207は何か知ってるんじゃないの>>255について
2022/09/20(火) 21:06:20.07ID:zH3u0JIU
>>256が言っていることに真実があるなら

複オジ は 会社(零細スタートアップか何か)の社長(or COO)

>>207-210は連係プレーで職業マを否定

>>207は何か知ってるんじゃないの?
262デフォルトの名無しさん
垢版 |
2022/09/20(火) 21:16:55.14ID:z6cIhAGk
>>261
楽天の社長ってことは無いの?
2022/09/20(火) 21:34:39.28ID:DK3tUzu4
複オジの虚言癖を真に受けちゃうのも結構やばいぞ
至る所に嘘だと分かるヒントが散りばめられてるだろ
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だけでよろしい
2022/09/20(火) 21:52:13.29ID:kT9PmXd0
>>259
メカニズムに興味を持つ人とポリシーに興味を持つ人

デバッグが苦手な人は、人間の意図と関係ない現象に興味を持つのが苦手なんじゃないかと思う
2022/09/20(火) 21:53:13.10ID:PsJADa91
メカニズム以前の問題だから複オジは馬鹿にされとんのよw
2022/09/20(火) 21:57:15.72ID:Rkn9OZVq
長期的視点で見るならRustの最大のリスクは、クールでセクシーな新言語の出現だろうな
Scalaの悲劇を忘れてはならない
2022/09/20(火) 21:58:58.31ID:nobtOBFX
ScalaはJVM言語だったのが最大のミス
オラクル支配の言語なんか使えるわけない
2022/09/20(火) 21:59:34.75ID:n3SPYoKp
特定の言語に固執するのは技術力の低さの証
その状態が許されるのは人を動かす仕事ではなく人に動かされる仕事をしてる間だけ
270デフォルトの名無しさん
垢版 |
2022/09/20(火) 22:00:51.15ID:z6cIhAGk
クールでセクシーって進次郎のことか。
進次郎構文のプログラミング言語なんて誰が使うのさ。
統一教会が売りつけてきそう。
自民党だし。
2022/09/20(火) 22:01:30.25ID:Rkn9OZVq
ScalaはJVMワールド内でもKotlinに惨敗したでしょ
思慮が浅い、やり直し
2022/09/20(火) 22:12:26.72ID:5IFsSN7B
>>265
言語はメカニズムじゃない
言語設計者以外にとっては
2022/09/20(火) 22:14:40.82ID:PsJADa91
Scalaは関数型を積極的に取り込んだよね
よーく見ていくと詰めが甘いと言うか苦しいとこあるけど
部分適用させようとしてアンダースコア書かないといけないとことか
2022/09/20(火) 22:17:01.31ID:owULvK/K
Scalaはしばらく使ってたけどライブラリの破壊的変更が酷くてやめちゃった
半年ぶりにコンパイルすると全く通らない状態だったし
最近は落ち着いたらしいけど今なら他に選択肢もあるし戻ろうとは思わないなぁ
275デフォルトの名無しさん
垢版 |
2022/09/20(火) 22:17:49.95ID:z6cIhAGk
Rustも同じ道を歩いてる。
2022/09/20(火) 22:22:51.03ID:/Bvo4oH4
YouTube で有名な雑食系エンジニア・KENTA が、
Scala, PHP をオワコン認定した

それで、ScalaのTwitter、Laravel のZOZO が、やばくなった。
まともな開発者が集まらない

これでオワコンと言われた、Ruby on Rails がますます1強になっていく
277デフォルトの名無しさん
垢版 |
2022/09/20(火) 22:30:15.92ID:b8QKntNX
GCはステロイドみたいなもんだからな。
2022/09/20(火) 22:35:49.95ID:kT9PmXd0
大昔のゲームを今やってるおじさんは、ソフトが時代遅れになる恐怖を感じない
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
280デフォルトの名無しさん
垢版 |
2022/09/20(火) 23:05:51.81ID:9uDlQujI
ハードウェアのドライバなんて大半が待ち時間だから
2022/09/20(火) 23:13:34.53ID:omzXxvLB
色んな業界がRustへ移行しようとしてるんだな
ドライバはバグでセキュリティホールになりがちだったから今後C禁止Rust必須の方向へ進むかもしれない
2022/09/21(水) 02:58:42.44ID:4J6kzx02
>>279
覇権だな
もうRustを使わない理由がない
2022/09/21(水) 06:33:09.68ID:xV4qOd7Y
>>279
ディスク屋のWDまでRustかよ!
2022/09/21(水) 07:10:43.49ID:HysOxLo3
>>220-221
こっちで話出てからC言語スレの様子が変わった

ハノン ◆QZaw55cn4cと雰囲気の似ているスレに注目してる
2022/09/21(水) 07:29:10.09ID:0EddIk8Z
Flutter vs .NET MAUIで口の悪いC#erも注目してるが
昨晩>>261以降の怒涛の「>>255を受けての連係プレー?」の際も自前の動画作業をしていたようなので
こっちのRusteseとは一旦切り離してみる
2022/09/21(水) 08:38:26.88ID:mcBpWvgq
>>278
結構昔のゲームでもModが今だに更新されたり新しく出たりしていて、楽しいんだよね…
2022/09/21(水) 08:59:44.26ID:CR8smXkB
本日の朝の「ポエおじ」そろそろか
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
2022/09/21(水) 11:31:23.95ID:DwRyuGfA
RUSTの時代来たの?
2022/09/21(水) 11:32:50.41ID:mwfr5D2n
どの部分に使うんだろね
末端の部分だろうけど
2022/09/21(水) 11:33:31.29ID:ogbZwOza
律儀に有用記事をキッチリと上げてくれる人、それ要らないよ
292デフォルトの名無しさん
垢版 |
2022/09/21(水) 11:55:42.34ID:rE5Y/LNp
いよいよ 数学的証明のない Rustの安全性が 試される 時の試練はこれからだ
2022/09/21(水) 12:08:09.47ID:OSKoY9pR
数学的証明のある言語とかあるか?
2022/09/21(水) 12:20:32.20ID:f5S+A9Jm
>>293
純Lispとか。
2022/09/21(水) 12:21:59.19ID:p1umNBjJ
>>288
C++は欠点だらけだとして一切受け入れなかったLinux開発陣が
Rustは有用だとして正式に受け入れることが決まったのか
296デフォルトの名無しさん
垢版 |
2022/09/21(水) 12:34:04.87ID:FfiLiD3c
Rustは保証とか証明可能って軽率に言う
CSや数学勢、敵にまわし過ぎ
2022/09/21(水) 13:57:22.71ID:757dNGj4
>>296
色々条件つけての保証なり証明だろ
数学屋さんが扱うものとはレベルが違うぞ
2022/09/21(水) 14:16:01.83ID:iX0g6SGn
>>297
これだからRusteseは証明が何か、まるで分かって無い
2022/09/21(水) 14:26:18.31ID:757dNGj4
>>298
そんなフワフワしたレスしか返せないなら黙ってりゃ馬鹿がバレないのにw
300デフォルトの名無しさん
垢版 |
2022/09/21(水) 14:27:30.72ID:a4l0TSJn
>>299
そういえばRusteseって数学できないんだったな
2022/09/21(水) 14:32:23.54ID:irdQT16y
>>297
>色々条件つけての保証なり証明

お前、さっさとその「証明」論文(仮)持ってこい

それとも、また優良誤認詐欺かよ
2022/09/21(水) 14:43:01.70ID:DwRyuGfA
このスレは数学科卒しかおらんって聞いたけど
2022/09/21(水) 14:47:54.76ID:757dNGj4
>>300-301
どの機能についての話だよ
そこを明確にしないからフワフワした話だって言われるんだろw
2022/09/21(水) 14:48:48.78ID:foKpgHn9
>>297
>色々条件つけての保証なり証明

>>302
なら、お前がもってこい、存在するならな

それとも、またRusteseの優良誤認詐欺か
305デフォルトの名無しさん
垢版 |
2022/09/21(水) 15:06:43.90ID:7NXl3GM5
>>303
おいおい、お前が言い始めた「色々条件」だろーが

お前が想定した「条件」で良いのに、ひとつも「証明」が存在しなかったのか

またRusteseの優良誤認詐欺か
2022/09/21(水) 15:21:12.55ID:757dNGj4
>>304-305
まじでバカなのか?
個々の機能について条件付けて正しいことを証明してるんだぞ
別に世界の真理について証明してるわけじゃないのにアホすぎるだろw
307デフォルトの名無しさん
垢版 |
2022/09/21(水) 15:24:49.82ID:RSc7hR6Y
>>306
>証明してる
お前、さっさとその「証明」論文(仮)持ってこい

もしかして口だけ証明なのか?

またRusteseの優良誤認詐欺か
2022/09/21(水) 15:34:56.77ID:gi0V6ATe
Rust言語はコンピューターサイエンス分野で大量に論文が出ているんだなー

Rust論文一覧
https://rustc-dev-guide.rust-lang.org/appendix/bibliography.html#papers-about-rust
309デフォルトの名無しさん
垢版 |
2022/09/21(水) 15:38:57.72ID:juTH5GpO
>>306
>証明してる
お前、良かったな、どれがその「証明」論文かさっさと出せ(>>308)

もしかして口だけ証明なのか?

またRusteseの優良誤認詐欺か
2022/09/21(水) 15:43:09.97ID:757dNGj4
>>307
>>300に戻る
バカは何度説明してもバカなままなんだなw
311デフォルトの名無しさん
垢版 |
2022/09/21(水) 15:47:52.05ID:V0Zho+CF
>>306 >>310
>証明してる
お前、さっさとどれがその「証明」論文か出せ(>>308)

もしかして口だけ証明なのか?

またRusteseの優良誤認詐欺か
2022/09/21(水) 15:48:31.29ID:fqFyDdjF
>>308に示されたRust論文一覧をアンチ側が全て論破すべきターンとなりました
313デフォルトの名無しさん
垢版 |
2022/09/21(水) 15:49:43.53ID:H+WZNlq+
その通り

>>306 >>310
>証明してる
お前、さっさとどれがその「証明」論文か出せ(>>308)

もしかして口だけ証明なのか?

またRusteseの優良誤認詐欺か
314デフォルトの名無しさん
垢版 |
2022/09/21(水) 15:53:51.31ID:IXwJ1OKE
おいおい、まだかよ
「どれ」の「どこ」だよ

>>306 >>310
>証明してる
お前、さっさとどれがその「証明」論文か出せ(>>308)

もしかして口だけ証明なのか?

またRusteseの優良誤認詐欺か
2022/09/21(水) 16:00:56.63ID:ks+QjcI0
>>312
横からだけど、そりゃ無茶だろ。

数学的証明でない論文が大半じゃない?初っ端から実験的手法の論文みたいだし。

まずは数学的証明の論文を提示したほうがいいと思うわ。メモリ安全性に関する論文はRust公式も宣伝していなかったっけ?
2022/09/21(水) 16:06:16.21ID:4J6kzx02
>>289
来た
317デフォルトの名無しさん
垢版 |
2022/09/21(水) 16:09:33.76ID:pMmp4CCV
おいおい、まだかよ、Rustese数学できねー、なさけねー、早くしろ
「どれ」の「どこ」だよ

>>306 >>310
>証明してる
お前、さっさとどれがその「証明」論文か出せ(>>308)

もしかして口だけ証明なのか?

またRusteseの優良誤認詐欺か
2022/09/21(水) 16:14:45.06ID:757dNGj4
>>311,313-314,317
基地害か?
全部知りたいなら>>308が挙げてくれた論文見ればいいし、個別に聞きたいならなにが聞きたいのか示せよ
2022/09/21(水) 16:15:33.96ID:Fd0sP+eB
Rustのメモリ管理はAT&Tが作った言語Cycloneの方法をベースとして作られている
そしてその方法の論文がこれ
https://www.cs.umd.edu/projects/cyclone/papers/cyclone-regions.pdf
320デフォルトの名無しさん
垢版 |
2022/09/21(水) 16:16:50.88ID:A+S1HdS/
>>306 >>318
>証明してる
お前が、さっさと「どれ」の「どこ」がその「証明」論文か出せ(>>308)

もしかして口だけ証明なのか?

Rustese数学できねー、なさけねー、早くしろ
またRusteseの優良誤認詐欺か
321デフォルトの名無しさん
垢版 |
2022/09/21(水) 16:19:47.01ID:C10YiKi9
cycloneじゃなく、さっさとRustの「証明」だせ

>>306 >>318
>証明してる
お前が、さっさと「どれ」の「どこ」がその「証明」論文か出せ(>>308)

もしかして口だけ証明なのか?

Rustese数学できねー、なさけねー、早くしろ
またRusteseの優良誤認詐欺か
2022/09/21(水) 16:22:28.51ID:Fd0sP+eB
>>321
Rustは同じ方法に基づいているので
>>319の論文をベースにRustは作られている
323デフォルトの名無しさん
垢版 |
2022/09/21(水) 16:25:37.89ID:/N9xXXTO
「ベースとして作られ」
これが「証明」だと言ってるのか?
もしかして口だけ証明なのか?

>>306 >>318
>証明してる
お前が、さっさと「どれ」の「どこ」がその「証明」論文か出せ(>>308)

Rustese数学できねー、なさけねー、早くしろ
またRusteseの優良誤認詐欺か
324デフォルトの名無しさん
垢版 |
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の優良誤認詐欺か
2022/09/21(水) 16:44:54.24ID:Fd0sP+eB
>>323
しっかり>>319の論文で意味論も与えて証明している
論文中でのリージョンがRust におけるライフタイム
326デフォルトの名無しさん
垢版 |
2022/09/21(水) 16:46:00.23ID:i+mJr34M
さっそくRustの方が劣化コピーじゃねえか
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の優良誤認詐欺か
2022/09/21(水) 16:53:39.02ID:757dNGj4
基地害がIdコロコロさせながら連投かよw
サクッとNGWしとくわ
2022/09/21(水) 16:55:24.66ID:h5syVRZM
>>327
Cycloneのregion = Rustのlifetime だから
CycloneもRustもコンパイル時点でメモリ安全性を保証できることが>>319の論文により証明されている
330デフォルトの名無しさん
垢版 |
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の優良誤認詐欺か
2022/09/21(水) 17:02:54.47ID:F3ISOEIm
「ベース」にあった性質が「派生」で失われた
2022/09/21(水) 17:07:36.23ID:2LV6+DU5
「ベース」にあった性質が「派生」で失われた

「ベース」にあった他の性質が「派生」で保持されていると言う「保証」「証明」はない

「派生」で付け加えた性質には、「何の証明」も与えられていない

これが正しい論理的思考
2022/09/21(水) 17:18:47.61ID:h5syVRZM
キチガイが暴れているようだが
Cycloneのregion = Rustのlifetime なので
Rustはコンパイル時点でメモリ安全性を保証できることが>>319の論文により証明されている
334デフォルトの名無しさん
垢版 |
2022/09/21(水) 17:22:43.05ID:U65PnWYQ
>>332 まさにこれ

だからRustの「証明」を出せ、と言っているが、数学的論理的思考の出来ないRusteseが永遠にエコーチェンバーで陶酔してる

「Cyclone Core」には数学的証明が与えられた性質が存在している(>>319)

しかし

「Cyclone」にあった性質(*)が「Rust」で失われた
(*Rustは「メモリリークをコンパイル時に防ぐ」ことは出来ない)

「Cyclone」にあった他の性質が「Rust」で保持されていると言う「保証」「証明」はない

「Rust」で付け加えた性質には、「何の証明」も与えられていない

これが正しい論理的思考
2022/09/21(水) 17:35:38.40ID:iP+X8zZU
論文中のCycloneのregionとRustのlifetimeは同じことを意味しているから
>>319の論文の意味論そのままRustにも適用できますね
コンパイル時点でメモリ安全性を保証できることになります
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」で付け加えた性質には、「何の証明」も与えられていない

これが正しい論理的思考
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名 存在します。深夜から早朝、日中まで。
2022/09/21(水) 18:05:44.53ID:6SxND0cP
>>319の論文を見たけど、regionをそのままlifetimeと読み替えれば論文でのセマンティクスは成立してるね
したがって、Rustはコンパイル時点でメモリ安全性を保証できることを意味してる、で合ってるね
2022/09/21(水) 18:15:26.68ID:EmNmA81M
>>338 >Cを認めるのが「都合が悪い?」Rusteseが 4~5名 存在します。深夜から早朝、日中まで。

そして夕方〜夜間も。
2022/09/21(水) 19:04:12.59ID:XoOJdoO3
片や火消しにRustしか使えない蟹道楽
片や同じ内容で罵倒するばかりの文鳥
2022/09/21(水) 19:20:31.78ID:CnU+CdJ3
複オジ常駐スレは腐るの早いねー
2022/09/21(水) 19:49:07.40ID:ZClInrHS
「意味論」「セマンティクス」これ目立つ。しばらくwatchするか掘ってみるか
■ このスレッドは過去ログ倉庫に格納されています