9(1): デフォルトの名無しさん [sage] 2024/05/28(火) 23:01:09.87 ID:r9uY5dzk(1) AAS
「Sudo for Windows」はRustで開発されている！
メモリ安全が重視される分野で採用が広がるRust言語
外部ﾘﾝｸ[html]:forest.watch.impress.co.jp
次期大型更新「Windows 11 バージョン 24H2」に
搭載されることが確定した「Sudo for Windows」が、
Rust言語で開発されていることがわかった。

224(1): デフォルトの名無しさん [sage] 2024/06/16(日) 19:08:46.55 ID:dwkxcYMW(22/22) AAS
>>223
つまり所有権も静的に解析できる？

395(2): デフォルトの名無しさん [sage] 2024/06/27(木) 10:21:46.91 ID:nawTLqWn(2/2) AAS
>>389
キャッシュに乗るという前提なら、
確保・解放が遅いだけでアクセス速度とかは変わらないってことでOK？

キャッシュに乗る確率とかもスタックとヒープでやっぱちがうんかな

515(1): デフォルトの名無しさん [] 2024/06/30(日) 20:38:10.26 ID:oQ6wZd+v(1) AAS
let a: [u32; 4] = [1, 2, 3, 4];
let s: &[u32] = &a[1..3];

a[5]; と書くとコンパイルエラーが発生しますが、
s[5]; と書くとコンパイルは通り実行時にエラーが発生します。

なぜ、 s[5]; が範囲外の領域へのアクセスであることをコンパイル時に見抜けないのでしょうか？

本を見ても、理由が書いてないです。
ただ、そうなるとしか書いてありません。

521(1): デフォルトの名無しさん [sage] 2024/06/30(日) 23:09:55.43 ID:MSv8cbxu(5/5) AAS
>>520
for_eachは値を返せない
関数は基本的に値やエラーを返す
イテレータ利用で値やエラーを返すためにはfor_eachではなくcollectやfoldなどを用いる

>>507のように表示するだけで値を返さない場合であっても
関数はエラーを返さなければならない

707(2): デフォルトの名無しさん [sage] 2024/07/10(水) 01:13:16.99 ID:1XduDtMr(1/4) AAS
>>688
>>679の言う「LSPが対象としている遺物における諸問題に悩まされずに済むように」するためには必要なんだよ。
LISKOVのA behavioral notion of subtyping でも「include exception」と言っているだろ。

まぁ、panicが例外にもなれないそびえ立つクソだからRustから排除すべき、と言うなら同意するが。