24/05/27 06:41:26.82 T4AFD1f4.net
公式
URLﾘﾝｸ(www.rust-lang.org)
URLﾘﾝｸ(blog.rust-lang.org)
URLﾘﾝｸ(github.com)
公式ドキュメント
URLﾘﾝｸ(www.rust-lang.org)
Web上の実行環境
URLﾘﾝｸ(play.rust-lang.org)<)
※Rustを学ぶ際に犯しがちな12の過ち
URLﾘﾝｸ(dystroy.org)
※Rustのasyncについて知りたければ「async-book」は必読
URLﾘﾝｸ(rust-lang.github.io)
※次スレは原則>>980が立てること
前スレ
Rust part23
ｽﾚﾘﾝｸ(tech板)
2:デフォルトの名無しさん
24/05/27 06:42:29.23 T4AFD1f4.net
Rust The Book (日本語版)
URLﾘﾝｸ(doc.rust-jp.rs)
Rust edition guide (日本語版)
URLﾘﾝｸ(doc.rust-jp.rs)
Rust by example (日本語版)
URLﾘﾝｸ(doc.rust-jp.rs)
Rust cookbook (日本語版)
URLﾘﾝｸ(uma0317.github.io)
Rust API guideline (日本語版)
URLﾘﾝｸ(sinkuu.github.io)
Rust nomicon book (日本語版)
URLﾘﾝｸ(doc.rust-jp.rs)
Rust async book (日本語版)
URLﾘﾝｸ(async-book-ja.netlify.app)
Rust WASM book (日本語版)
URLﾘﾝｸ(moshg.github.io)
Rust embeded book (日本語版)
URLﾘﾝｸ(tomoyuki-nakabayashi.github.io)
Rust enbeded discovery (日本語版)
URLﾘﾝｸ(tomoyuki-nakabayashi.github.io)
Rust Design Patterns (日本語版)
URLﾘﾝｸ(qiita.com)
URLﾘﾝｸ(qiita.com)
Rust API guideline (日本語版)
URLﾘﾝｸ(sinkuu.github.io)
3:デフォルトの名無しさん
24/05/27 06:43:12.56 T4AFD1f4.net
Rust Reference Book
URLﾘﾝｸ(doc.rust-lang.org)
Rust Standard Library
URLﾘﾝｸ(doc.rust-lang.org)
Rust rustc Book
URLﾘﾝｸ(doc.rust-lang.org)
Rust rustdoc Book
URLﾘﾝｸ(doc.rust-lang.org)
Rust rustup Book
URLﾘﾝｸ(rust-lang.github.io)
4:/ Rust Cargo Book https://doc.rust-lang.org/cargo/ Rust unstable Book https://doc.rust-lang.org/nightly/unstable-book/ Rust macro Book https://danielkeep.github.io/tlborm/book/ Rust CLI (Command Line Interface) apps Book https://rust-cli.github.io/book/ Rust Future Book https://cfsamson.github.io/books-futures-explained/ Rust async-std Book https://book.async.rs/ Rust tokio Book https://tokio.rs/tokio/tutorial Rust serde Book https://serde.rs/
5:デフォルトの名無しさん
24/05/27 08:12:23.89 8cya6pTK.net
Cloudflare、HTTPプロキシ開発用RustフレームワークPingoraをオープンソース化
URLﾘﾝｸ(www.infoq.com)
6:デフォルトの名無しさん
24/05/27 19:41:54.75 SG55qLTi.net
>>1 乙
7:デフォルトの名無しさん
24/05/27 21:05:50.42 DNPKhjhD.net
なんで黙ってﾜｯﾁｮｲスレのリンク消したの？
8:デフォルトの名無しさん
24/05/27 21:10:59.53 uDjd5cKa.net
>>1乙ust
9:デフォルトの名無しさん
24/05/27 23:31:45.00 NihCR1ik.net
rust-lldって魔法？
10:デフォルトの名無しさん
24/05/28 23:01:09.87 r9uY5dzk.net
「Sudo for Windows」はRustで開発されている！
メモリ安全が重視される分野で採用が広がるRust言語
URLﾘﾝｸ(forest.watch.impress.co.jp)
次期大型更新「Windows 11 バージョン 24H2」に
搭載されることが確定した「Sudo for Windows」が、
Rust言語で開発されていることがわかった。
11:デフォルトの名無しさん
24/05/29 09:39:32.15 YfGaww9I.net
完全にRustは残る言語になってしまったね
12:デフォルトの名無しさん
24/05/29 11:05:17.42 frLAIx0l.net
言語の生き残るか否かもWindows次第かな
13:デフォルトの名無しさん
24/05/29 13:45:30.43 6x6vV3tF.net
この言語を支持してるやつは総じてデバッグ能力が低い
14:デフォルトの名無しさん
24/05/29 13:56:47.79 HitYRPv5.net
なるほどそれはもうやるしかないね
15:デフォルトの名無しさん
24/05/29 14:07:58.08 377og/WO.net
今更こんなのだけで一喜一憂するの？
ちなみにAzureCLIもRustだぞ
MacでHomebrewでインスコする時にRustのコンパイル始まって凄く時間掛かる
16:デフォルトの名無しさん
24/05/29 14:55:30.35 0Pyy6QQw.net
ʕ◔ϖ◔ʔ
17:デフォルトの名無しさん
24/05/29 16:53:17.15 bMu5OGl6.net
>>12
テスト走らせるんじゃあかんの？
18:デフォルトの名無しさん
24/05/29 17:06:12.76 643EHPjo.net
>>9
これ仕組み上、console APIやTUIは動作しない
(それと肝心なところのほとんどがunsafeなのは見なかったことに)
19:デフォルトの名無しさん
24/05/29 19:19:21.66 AbIsIlhD.net
そういや、sudoとかの引数のバッファオーバーフローとかって、std::env::args_os使っていれば安全なのかな？
20:デフォルトの名無しさん
24/05/29 22:46:32.28 b7HyT2Iv.net
unsafeはRust外のFFI/API境界でのやむを得ない出現か
unsafeを使うことで効率的かつ安全なパターンになる時のいすれかだが
後者のパターンは特定のプログラムから切り離してsafeなインターフェースを提供する汎用ライブラリに閉じ込めるのが好ましく
標準ライブラリはそのようにして出来ている
21:デフォルトの名無しさん
24/05/30 12:31:47.54 D8KcVhgB.net
つまりwindowsクレートはsafe interfaceの提供をサボってるということ？
22:デフォルトの名無しさん
24/05/30 12:33:13.48 VdmPCECN.net
Rustと外側との境界はunsafeにせざるを得ないのは当たり前なのに肝心なところはunsafeと言われてもなぁ。
レビューすべき箇所が局所化されるだけでも十分なメリットだろ。
23:デフォルトの名無しさん
24/05/30 14:46:49.26 YCUWE+u3.net
>>20
>>21
どちらも正しい
Rustとその外側の境界部分で必ずunsafeが生じるからそこを問題にすることはない
ただしその部分は安全なインタフェースを提供するモジュールかできればクレートとして分離するのが好ましい
24:デフォルトの名無しさん
24/05/30 16:38:16.78 YSwCBZpR.net
Rust製Webサーバーで一番使われてるフレームワークって何だろ
MySQLと親和性高いなら使ってみたい
25:デフォルトの名無しさん
24/05/30 18:56:43.74 d8P/nzpp.net
>>23
axumとsqlx
26:デフォルトの名無しさん
24/05/30 21:16:17.01 YSwCBZpR.net
>>24
ありがと、試してみよう
27:デフォルトの名無しさん
24/05/31 21:36:08.12 PEZeXgnU.net
コンパイル前にcargo sqlx prepareでDBサーバからデータの型を得ておくことで静的型チェックできる仕組みなんだね
28:デフォルトの名無しさん
24/06/01 10:39:11.44 8vnvDrFp.net
へー、便利そう。
だけどこういう仕組みってカラム追加時のDBのマイグレーション辺りが入ってくるととたんに難しくなるんだよなぁ。
29:デフォルトの名無しさん
24/06/01 22:15:15.67 hl1xX5EU.net
>>27
そういうDBテーブル構成変更するとどんなプログラミング言語でも何らかの対応が必要となるよ
Rustでsqlx利用ならばDB構成変更した時にcargo sqlx prepareで型をDBから入手し直せばコンパイル時に静的に型チェックされるから楽で安全だね
30:デフォルトの名無しさん
24/06/01 22:32:36.24 M7bbwRO6.net
DBの構成管理をどこで行うかという話
その辺の道具類は他言語に比べてRustはまだまだなので
DB側のツールで管理しておくという昔ながらのやり方が現状のベスト
31:デフォルトの名無しさん
24/06/01 22:35:04.27 25uf1xqx.net
スクラッチのPHPみたいにSQL直書きからのexecuteはナシ？
32:デフォルトの名無しさん
24/06/01 22:44:45.41 azEYwwHp.net
>>30
Rustのコード内にSQL直書き文字列を書ける
その上でデータベースとの静的な型チェックもされるのがsqlxのメリット
33: 警備員[Lv.6][新芽]
24/06/01 22:51:53.44 l8IWJadP.net
それで実行計画も取れるの？
34:デフォルトの名無しさん
24/06/01 23:58:30.16 K7NGQLE/.net
実行計画はDBのデータではないから型チェックは意味ないような
35:デフォルトの名無しさん
24/06/02 09:14:40.51 plnJaR5e.net
>>21
機械語に近い部分がunsafeなのは当たり前だけど
それを手書きしていることを納得させるのが難しいんだろう
一番自動化されてるフレームワークを使ってみたいんだろ
36:デフォルトの名無しさん
24/06/02 12:55:11.71 vGgRDkgp.net
接続相手の仕様が形式化されたデータとして存在すれば
Rust 上の関数との対応付けを自動化できることもあると思うけど
形式化されたデータは誰かが準備しないといけないことには変わりないからなぁ。
Windows では API の仕様記述を WinMD と呼ばれる形で標準化してるけど
それだって WinRT (ちょっと高級な API) が前提になっているのでそんなに万能ではない。
あらゆる仕様を記述できるほど自由度 (複雑さ) のあるフォーマットにしたら結局は
プログラムを書くのとそんなに変わらんようになるので自動化できる部分は自動化して
ややこしい場合は手書きするという割り切りしないと仕方ない。
37:デフォルトの名無しさん
24/06/02 23:32:50.95 JYjUVuWd.net
Unix系システムコールとの共通部分は
ファイルシステムなど標準ライブラリとして安全なインターフェイスを提供できてるね
Windows特有部分も同じようにMicrosoftがsafeなライブラリを公式に用意することが望ましいのかな
38:デフォルトの名無しさん
24/06/03 08:58:28.03 DC3aHaSn.net
>>35,36
なるほど。結構時間経ったと思うが厳しい。
Microsoftがsafeなライブラリを公式に用意するまで、
プロダクションでのRust採用は様子見するのが良さそうだ。
Linux特有の機能が必要な場合も同様に様子見するのが良さそうだ。
39:デフォルトの名無しさん
24/06/03 09:53:26.77 oYPTQzXH.net
>>37
Windows クレートはもうかなり充実してるよ。
メタデータからの自動生成なので網羅的だし、 safe でいけるメソッドは safe になってる。
unsafe なのは本質的に unsafe なのでどうしようもないし。
Readme に書いてある例が古い Win32 API を使うスタイルの書き方だから印象が悪いのかなぁ……。
40:デフォルトの名無しさん
24/06/03 12:15:09.36 xZhYxepu.net
>>37
LinuxでRustで困ってることないよ
様子見しなきゃいけないことがあるのならば具体的に挙げてみたら？
41:デフォルトの名無しさん
24/06/03 15:47:20.28 8wxJn/St.net
>>38
>本質的に unsafe
良いキーワード出た、深掘りしてくれ
これとか
github.com/tokio-rs/io-uring
io_uringが本質的にunsafeだとでも思ってるのかな？
42:デフォルトの名無しさん
24/06/03 16:27:42.41 PBVPy7rj.net
本質的にC++な機能といえば多重継承
多重継承は他の言語に移植できない
万一できたとしたらそれは自動生成ではなく手作業で工夫されたコードだろうね
43:デフォルトの名無しさん
24/06/03 17:17:59.54 /dTVE8NF.net
Win32APIを素で提供しようと思ったらunsafeなのは仕方ないので、もう一枚ハイレベルなラッパーかませてsafeにしてほしいところではある。
44:デフォルトの名無しさん
24/06/03 19:27:13.29 oYPTQzXH.net
だからモダンな WinRT に移行しようね！
45:デフォルトの名無しさん
24/06/03 20:11:34.31 /dTVE8NF.net
WinRTってWin32のAPI網羅できてるの？
モダンなAPIが古いのを機能的に網羅できてないから仕方なく使ってる気持ちなんだけど。
46:デフォルトの名無しさん
24/06/03 20:49:12.70 oYPTQzXH.net
WinRT は「おおよそ」には Win32 API の機能を網羅しているが
根本的なパラダイムが違っていて単純には置き換えられない場合はある。
最初から WinRT を前提として作っていれば Win32 API 抜きで行けることは多いよ。
ゼロではないところがイライラするかもしれんけど。
47:デフォルトの名無しさん
24/06/03 21:57:04.03 7I637fUw.net
>>41
クラス多重継承は問題多すぎなダメな機能なので多くの言語で禁止している
クラス継承そのものが問題を多く抱えているため各機能のインターフェースなどを実装するのが望ましい
Rustならば複数のトレイト境界を指定することでそれら複数のトレイト機能を実装した任意の型を対象に抽象的なプログラミングができる
48:デフォルトの名無しさん
24/06/04 07:49:08.27 YQQ4Gdo/.net
かきを最新AIに重箱の隅をつつく用意尋ねましょう
全ての電磁波は強い低周波も高周波も被爆する?
電磁かいが強い場所は20Hzと55Hzは磁気閃光これも被爆している.?
音波も強い場合は被爆する?
※自然界の化学科学の観測結果論文と人間の人工物で可能な化学と科学論文を読み込ませておく
是者と校舎を別々で回答する用意する
さらに制度を挙げるなら
グレーゾーンの論文をできるともいえるしできないともいえる用意認識させる
現在の科学が正しいのならなら電磁波攻撃はこのグレーゾーンの論文を使用しているので逃亡できている?
統合失調症電磁は音波なら周囲の者被爆している!?
寿命が短いのと免疫力低下起きて当然
49:デフォルトの名無しさん
24/06/04 20:02:17.33 JvLx0o4/.net
GPT4-Vの100分の1のサイズで同等の性能を誇るマルチモーダルモデル「Llama 3-V」が登場、トレーニング費用はたった8万円
2024年05月29日 14時00分
OpenAIがサム・アルトマンCEOを含む「安全・セキュリティ委員会」を設置、さらにGPT-4後継モデルのトレーニングを開始
2024年05月29日
「毒杯飲む直前どんな気持ちだった？」ソクラテスと対話できるAIを開発！
2024.06.04
※対象者【被害者】そっくりの返答が可能
たった数秒の音声データから音声合成が可能な「VoiceCraft」
2024年04月16日 07時00分
OpenAIがわずか15秒の音声からクローン音声を生成できるAIモデル「Voice Engine」をリリース
2024年04月01日
会話相手を数秒見つめて声を登録するだけでその人の声だけを聞くことができるAIヘッドホンシステムが開発される
2024年05月30日
※対象者の声を個別に録音
50:デフォルトの名無しさん
24/06/04 21:25:19.75 iVGm+TdX.net
std::ptr::addr_eqでdyn同士やdynと通常参照を比較してもいいんだよね
51:デフォルトの名無しさん
24/06/05 02:32:30.56 asdywUyB.net
比較の方法が複数あるとして
最も優秀な方法に依存するのではなく抽象に依存するのが定石だよな
52:デフォルトの名無しさん
24/06/05 13:57:39.45 nZd9x5hF.net
>>17
>肝心なところのほとんどがunsafe
当たり前やん
そもそも観なかったことにするための機能なんだし
53:デフォルトの名無しさん
24/06/05 14:16:34.14 VxlYmTlG.net
言語のパラダイムでどれだけ頑張っても言語の外はその規則に従ってくれないよ。
そこらへんの境界線でおおよそどこでも信頼できるインターフェイスは ABI だけ。
根本の部分が C の影響下にある状況のほうは変えようがない。
一応 unsafe rust という選択肢が登場した分だけだいぶんマシになってんだよ。
54:デフォルトの名無しさん
24/06/05 14:19:53.54 wo6YIDEn.net
>>38,52
>本質的に unsafe
本質的にunsafeの定義、早う
55:デフォルトの名無しさん
24/06/05 14:28:05.14 vQWinlMd.net
C/C++のコード全体が常にunsafeすなわち自動的な安全保障なしなのに対して
Rustはsafe部分のコードが自動的に安全保障されるという明確な違いがある
56:デフォルトの名無しさん
24/06/05 14:33:58.97 jddDZazx.net
>>38,54
定義するとは何かすら知らないレベルでRustやってるのかよw
57:デフォルトの名無しさん
24/06/05 15:41:52.55 NMAS1RiM.net
定義するとは何かも知らなくても書けるのがRustの良いところ
58:デフォルトの名無しさん
24/06/05 18:13:30.31 asdywUyB.net
なぜ定義なんだ
喩え話では駄目な理由を考えるとすぐ思いつくのは、喩え話は非○○的だから駄目なんだよね
59:デフォルトの名無しさん
24/06/05 19:11:15.28 ubKPmxXH.net
>>49
dynはアドレスとvtableの対なので使える
use std::fmt::Display;
let i = 12345;
let r = &i;
let d: &dyn Display = &i;
// assert!(eq(r, d)); // 型が不一致でコンパイルエラー
assert!(addr_eq(r, d)); // アドレスが一致
文字列strはアドレスと長さの対なのでこのように比較できる
use std::ptr::{addr_eq, eq};
let s1 = "abcdef";
let s2 = &s1[..3];
let s3 = &s1[3..];
assert!(!eq(s1, s2)); // 長さが異なるので不一致
assert!(addr_eq(s1, s2)); // アドレスが一致
assert!(!addr_eq(s1, s3)); // アドレスが不一致
文字列をバイト列に読み替えたときにも使える
let b1 = s1.as_bytes();
// assert!(eq(s1, b1)); // 型が不一致でコンパイルエラー
assert!(addr_eq(s1, b1)); // アドレスが一致
60:デフォルトの名無しさん
24/06/05 19:38:28.12 VxlYmTlG.net
>>53
safe にするのが不可能(少なくともそれ単体は)というシンプルな意味で使ってるつもりだが
61:デフォルトの名無しさん
24/06/06 22:14:32.57 Gs5l9pj8.net
fn 単純にこの比較も<T>(slice: &[T], index: usize) {
let p = &slice[index];
let q = &slice[index..];
// assert!(eq(p, q)); // 型不一致
assert!(addr_eq(p, q));
}
62:デフォルトの名無しさん
24/06/07 12:52:26.48 tQZH7Tnk.net
グーグル、資料のわからないところを最新AIに質問できる「NotebookLM」日本版公開
URLﾘﾝｸ(ascii.jp)
63:デフォルトの名無しさん
24/06/07 23:50:20.38 liF+4tB0.net
as *const ()でupcastして比較しているだけなのか
64:デフォルトの名無しさん
24/06/08 04:40:43.01 j2N7L69L.net
Option<String>型のxがある時に
x.as_ref()とするとOption<&String>が得られ
x.as_deref()とするとOption<&str>が得られることがわかりました
Option<&String>型のyがある時に
y.as_deref()としてもOption<&String>のままになりました
yからOption<&str>を得るにはどうすればいいのでしょうか？
65:デフォルトの名無しさん
24/06/08 09:07:24.88 Kcr3cAzI.net
let tmp = Some(y.unwrap().clone());
let hoge = tmp.as_deref();
66:デフォルトの名無しさん
24/06/08 09:09:50.82 Kcr3cAzI.net
cloneしたくなかったら
let hoge = Some(y.unwrap().as_str());
67:デフォルトの名無しさん
24/06/08 10:33:13.95 9nPXIyFb.net
unwrap()は基本的には使ってはいけない。
使ってもよい場合は論理的にNoneが絶対に来ないことが保証されてる場合で、
直前にNoneではないことをチェックしていて明白な場合と、
構造的にそこにNoneが来ないことをコメントで明記している場合のどちらか。
68:デフォルトの名無しさん
24/06/08 10:34:38.61 9nPXIyFb.net
もう一つは簡易プログラミングをする場合で、
そこにNoneが来た時に処理続行の意味がなく、
パニックという形でプログラムを終わらせても構わない場合。
これは本来はきちんとエラー処理対応するのが好ましい。
69:デフォルトの名無しさん
24/06/08 10:39:31.95 9nPXIyFb.net
ドキュメントのサンプルでは、
エラー処理は邪魔なので簡易的にunwrарが多用されているが、
それをそのまま用いるのがマズい理由は上述のため。
70:デフォルトの名無しさん
24/06/08 10:45:50.57 TRqvICLK.net
「毒杯飲む直前どんな気持ちだった？」ソクラテスと対話できるAIを開発！
2024.06.04
リコーと理研、技術の実用化の“兆し”を察知するアルゴリズムを開発
2024/06/05
グーグル、資料のわからないところを最新AIに質問できる「NotebookLM」日本版公開
2024年06月06日
71:デフォルトの名無しさん
24/06/08 11:07:47.98 Kcr3cAzI.net
>構造的にそこにNoneが来ないことをコメントで明記している場合
これはexpectのことを言ってるのかな？
panic!することには変わりないが
72: 警備員[Lv.1][新芽]
24/06/08 11:13:56.61 wxBkz9QQ.net
truckに手をだす勇者はいないのか？
URLﾘﾝｸ(github.com)
73:デフォルトの名無しさん
24/06/08 11:35:42.10 91vCCt9S.net
>>63
y.map(|s| s.as_str())
or
y.map(String::as_str)
74:デフォルトの名無しさん
24/06/08 11:44:51.45 91vCCt9S.net
>>70
単にunwrapでpanicさせるんじゃなくて
unwrap_orやunwrap_or_elseなどを使ってfallback valueを返す
>構造的にそこにNoneが来ないことをコメントで明記している場合
個人的に↑これには賛同しかねる
コードが脆弱になるから
75:デフォルトの名無しさん
24/06/08 12:33:54.09 JruRF9Uj.net
構造的にNoneでないことを期待しているロジックならチェックしたところでどうせリカバリできないんだし
単にパニックでいいと思うけどな
76:デフォルトの名無しさん
24/06/08 12:53:40.15 dp0B2cJQ.net
事前条件・事後条件に反するときは panic するのが推奨されてなかったっけ？
要するにそういうことが一度でも起きたらバグが含まれているプログラムということだから修正するという前提がついてる。
あらゆるルートを想定するのも無意味だし、想定しないルートに入ったまま続けてもろくなもんじゃないので変なところがあったら止まったほうがいい。
ライブラリとして提供するなら expect にするに越したことは無いが
ただの panic でもスタックトレースは出せるし、
発見するのが自分 (またはチーム内などの身内) で修正するのも自分なら多少は雑でもよかろ。
77:デフォルトの名無しさん
24/06/08 13:02:44.03 m8p9RP7E.net
>>68
サンプルでrust unwrар好きだなと思っていたんだが、そんな理由で多用だったのか
78:デフォルトの名無しさん
24/06/08 13:06:19.28 nAguSD5l.net
パニックさせるということはNoneかどうかをチェックしているということ
そしてパニック用のコードもそこに含まれるということ
そのため高速化がシビアなケースではunwrap_unchecked()が使われている
unsafeなので確実な監視対象となる点でむしろ好ましいケースもありうる
とはいえ特殊な場合を除き非推奨です
79:デフォルトの名無しさん
24/06/08 14:06:17.67 dp0B2cJQ.net
ロジック的に None でありえないことをコンパイラが見抜ける状況でなら最適化で余計なチェックが消えることもあるし、分岐予測で速度的ペナルティはどうでもよくなることもある。
チェックするにしたって単発ではナノ秒単位の処理なので速度的に足を引っ張ることはまずない。
動画処理とか機械学習とかいった計算量が大きいものならチューニングが必要になることはあるかもね。
80:デフォルトの名無しさん
24/06/09 00:14:30.88 FH5YvHUC.net
例えばここにある`self.front.as_mut().unwrap()`や`front.next_kv().ok().unwrap()`のunwrapの使い方は妥当？
URLﾘﾝｸ(github.com)
81:デフォルトの名無しさん
24/06/09 00:37:45.34 84HY0iaQ.net
>>79
if self.is_empty() {
None
} else {
以降にあるから内部構造ロジックにより問題なし
82:デフォルトの名無しさん
24/06/09 00:50:28.83 84HY0iaQ.net
でもmatch self.front.as_mut() {
Some(x) => で書けるならunwrap無い方がいい
83:デフォルトの名無しさん
24/06/09 01:03:57.65 84HY0iaQ.net
例えば>>65ならば
match y {
Some(s) => s.as_str(),
None => None,
}
そのNone => Noneの時はmapに簡略できる
y.map(|s| s.as_str())
それをメソッド記法でなくフルに書くと
y.map(|s| String::as_str(s))
ここで|s| f(s)はfと簡略できるためこうなる
y.map(String::as_str)
84:デフォルトの名無しさん
24/06/09 08:02:48.25 GyoPGP3N.net
全ての波【電磁波】で下記の症状が起きる
理由は電磁波が強いために起こるか電磁波が通過すれば磁気が生じて鉄分が振動して間接的に鼓膜などが振動する
マイクロ波聴覚効果を用いた音声伝送に関する検討
2018/03/05
URLﾘﾝｸ(www.bookpark.ne.jp)
マイクロ波聴覚効果 Wikipedia
URLﾘﾝｸ(ja.wikipedia.org)
>>マイクロ波を照射された被験者は、クリック音やブザーのようなうなり音が聞こえる
早大、物質中の創発磁気モノポールに起こる集団振動現象を理論的に発見
2024/06/04
URLﾘﾝｸ(news.mynavi.jp)
理研、電子ビームの電子回折をアト秒で制御できる技術を開発
2024/06/06
URLﾘﾝｸ(news.mynavi.jp)
※電磁波も振動させれると記載あり
最低でも下記ノ電磁波の威力が必要なら行っている者全員補足されている
GPSの電波は超微弱
URLﾘﾝｸ(gigazine.net)
［２２］米国特許５８６８１００号
【ＧＰＳ位置情報を使用した動物コントロール・システム】
一例ですが年々受信機の感度は向上している
東工大、磁束集中器を用いない高感度「ダイヤモンド量子センサ」を開発
2024/06/07
URLﾘﾝｸ(news.mynavi.jp)
電磁波音波攻撃をされている部位ごとにホルモンや異常物質などの観測
パーキンソン病の原因物質、脳内の可視化に成功
2024年6月6日 0時00分
URLﾘﾝｸ(www.asahi.com)
85:デフォルトの名無しさん
24/06/09 22:41:10.47 YI6R90yo.net
今はOptionにas_slice()があるんだな
Some(x)なら[x]でNoneなら[]のスライス
アドレスは同じで長さが1か0なのか
86:デフォルトの名無しさん
24/06/10 07:48:45.58 QAB9rEB/.net
AIの性能が上がれば世界情勢が見えてくる
にゅーーすで話していることもそれらしきことを話すようになる
まづボイス・トォ・スカルが存在している場合としていない場合を問う
そのあとに人間の行動をどのように行動するかを問う
交友関係全てわかる範囲で入力しておく
社会っ情勢を知るにはさらにどういった役職等も調べておく
自分が使用しているボイス・トォ・スカルを本物か偽物化も割り出せる
87:デフォルトの名無しさん
24/06/10 12:58:47.18 GcV83QCC.net
>>80
本当に内部ロジック上問題がないのかを確認するために見る必要のある範囲が広すぎるのが問題
>>81
if self.is_empty()を生かしたままという意味なら
不変条件を満たしてないコードが埋もれるのが問題
if self.is_empty()を無くすという意味なら
コードで表現したい意図から乖離するのが問題
88:デフォルトの名無しさん
24/06/10 13:47:20.88 QAB9rEB/.net
不眠症にカップ麺やスナック菓子などの「超加工食品」が関係しているという研究結果
URLﾘﾝｸ(gigazine.net)
インターネットの都市伝説「The Backrooms」の起源となった画像の正体はどうやって判明したのか？
URLﾘﾝｸ(gigazine.net)
GoogleのGeminiとMicrosoftのCopilotが過去のアメリカの大統領選挙を含めた世界中の選挙の結果を正常に返していないことが判明
URLﾘﾝｸ(gigazine.net)
89:デフォルトの名無しさん
24/06/10 20:09:22.20 QAB9rEB/.net
ボイス・トォ・スカル
電磁波音波攻撃が判明する
人間は電磁界を発生させている
※被害者の身体に痕跡あり
パーキンソン病の原因物質、脳内の可視化に成功
2024年6月6日 0時00分
東工大、磁束集中器を用いない高感度「ダイヤモンド量子センサ」を開発
2024/06/07
名市大、頭蓋内全体の脳脊髄液の動態をマクロ的に観測する手法の開発に成功
2024/06/07
早大、物質中の創発磁気モノポールに起こる集団振動現象を理論的に発見
2024/06/04
理研、電子ビームの電子回折をアト秒で制御できる技術を開発
2024/06/06
分子研など、金ナノ粒子が円偏光の左右選択性を70倍に高めることを発見
2024/06/06
弾性乱流と古典的なニュートン乱流との共通点を発見―弾性乱流を記述する数学的理論の開発に寄与 OISTら
2024-5-29
京大、テラヘルツ波の照射で超伝導体の臨界電流を制御できることを実証
2024/05/28
産総研など、1000個以上の量子ビットを制御可能な超伝導回路の原理実証に成功
2024/06/05
名大など、水素原子の約1/20の超高精度で収差補正できるX線顕微鏡を開発
2024/05/09
90:デフォルトの名無しさん
24/06/10 20:09:43.09 QAB9rEB/.net
細胞の内部を鮮明に観察できる蛍光顕微鏡技術を開発 阪大など
2024/05/07
OIST、有機電気化学トランジスタのON時に生じるタイムラグの原因を解明
2024/05/07
並行世界でタイムリープを繰り返す!?効率的な新しいシミュレーション技術
2024.05.22
東大、電子回折パターンの減少とエントロピー増加の対応を実証
2024/06/03
理研など、「スキルミオンひも」の観察とその詳細な融解過程の記録に成功
2024/05/23 19:29
東大など、金属3Dプリント中の2D画像から3D多孔質構造を予測する手法を開発
2024/06/03
91:デフォルトの名無しさん
24/06/10 23:46:59.09 gkT1iazs.net
>>84
スライスだから&[x][..]だね
92:デフォルトの名無しさん
24/06/11 05:30:39.25 7n9sgmId.net
男性の精子の減少、携帯電話の使用と関係か 最新研究
2023/11/02
URLﾘﾝｸ(www.cnn.co.jp)
放射線と被曝
URLﾘﾝｸ(www.kan-etsu-hp.ne.jp)
>>エネルギーが極端に大きくなると X 線やガンマ線と呼ばれる放射線の一種になります。
※電磁波音波攻撃被爆している?
MrIは強力な磁場を利用しているので被爆しない
冷凍した人間の脳組織を解凍した後も正常に機能する技術開発
2024.05.12
URLﾘﾝｸ(karapaia.com)
1立方ミリメートルの脳の断片をハーバード大学とGoogleの研究者がナノメートル単位で3Dマッピングすることに成功
2024年05月10日
URLﾘﾝｸ(gigazine.net)
幼児期の脳活動から18歳時点でのIQを予測できるという研究結果
2023/09/09
URLﾘﾝｸ(gigazine.net)
パーキンソン病の原因物質、脳内の可視化に成功
2024年6月6日 0時00分
URLﾘﾝｸ(www.asahi.com)
東工大、磁束集中器を用いない高感度「ダイヤモンド量子センサ」を開発
2024/06/07
URLﾘﾝｸ(news.mynavi.jp)
93:デフォルトの名無しさん
24/06/11 05:31:04.86 7n9sgmId.net
日常的な蓋内全体の脳脊髄液の動態をマクロ的に観測する手法の開発に成功
2024/06/07
URLﾘﾝｸ(news.mynavi.jp)
細胞の内部を鮮明に観察できる蛍光顕微鏡技術を開発 阪大など
2024/05/07
URLﾘﾝｸ(news.mynavi.jp)
脳が鮮明に見える！世界最強の磁束密度で脳をスキャンするMRI「イズールト」
2024.04.05
URLﾘﾝｸ(nazology.net)
※5分で全身スキャン完了するのかな
94:デフォルトの名無しさん
24/06/11 06:55:26.94 3zjiFVVb.net
電磁波兵器の特許情報/Google検索で下記が判明
電磁波過敏症 低周波騒音被害 の症状が出現
設立 1998年 テクノロジー犯罪の撲滅
HURLﾘﾝｸ(media.toriaez.jp)
P77-身体・運動機能が遠隔から操作される P78-五感が遠隔から操作される
ギャングストーキングと電磁攻撃 - 広島修道大学学術リポジトリ
URLﾘﾝｸ(shudo-u.repo.nii.ac.jp)
下記を頭部などで再現
人間の「第六感」 磁気を感じる能力発見
2019/03/19
URLﾘﾝｸ(www.sankei.com)
髪の毛ほど薄いのに音を75％カット！MIT開発の「革新的防音カーテン」
2024.05.13
URLﾘﾝｸ(nazology.net)
言葉に出さずとも内なる声を解読する、脳の読み取り装置が解発される
2024.05.20
URLﾘﾝｸ(karapaia.com)
95:デフォルトの名無しさん
24/06/11 22:42:05.37 r1NSY/4p.net
>>90
配列でもベクタでも[..]を付ければスライスへ変換されるわけか
96:デフォルトの名無しさん
24/06/11 23:50:24.15 3zjiFVVb.net
【AI】IQ100超えを達成したAIモデルのClaude 3は「いい性格」を持つようにトレーニングされている [すらいむ★]
ｽﾚﾘﾝｸ(scienceplus板)
97:デフォルトの名無しさん
24/06/12 00:41:51.20 wUm4+4hy.net
ゼロから学ぶＲｕｓｔ システムプログラミングの基礎から線形型システムまで (ＫＳ情報科学専門書)
Kindleで本日のみ￥500
98:デフォルトの名無しさん
24/06/12 13:31:07.00 6YNIMY/v.net
Rustの作者と対話をしなくてもRust上級者になれるのは
作者の心を正確に読めるからではなく
あまり正確ではない当てずっぽうと試行錯誤が嫌いではないからだと思う
99:デフォルトの名無しさん
24/06/12 17:47:51.37 D5Lyqx4l.net
はじまた
URLﾘﾝｸ(www.youtube.com)
100:デフォルトの名無しさん
24/06/12 21:31:56.44 t2XH+QPZ.net
>>94
どちらも
101:std::slice::SliceIndexによるものだが その前にVecはstd::ops::Derefでsliceに変換されるのに対して 配列はstd::marker::Unsizeが実装されていて std::ops::CoerceUnsizedでsliceに変換される点が異なる
102:デフォルトの名無しさん
24/06/13 02:53:52.72 PAaiBuyr.net
人間に匹敵する知能を持った汎用人工知能を開発した研究者に総額100万ドルの賞金を授与するコンテスト「ARC Prize」が開催
103:デフォルトの名無しさん
24/06/13 08:11:01.44 xJ4qiDeD.net
zlib-rsの0.2.0きたね
URLﾘﾝｸ(github.com)
104:デフォルトの名無しさん
24/06/13 08:58:47.14 gxf+efas.net
>>99
Vecはヒープに依存し、かつスタックに移動するのが不可能
「サイズ」を定義できないデータは（スタックに）移動できない
個人の感想です
が、これが「知能」だと思うよ
105:デフォルトの名無しさん
24/06/13 11:16:55.93 fHN6F3J2.net
>>95
IQ=2x偏差値
106:デフォルトの名無しさん
24/06/13 19:02:11.26 aZe1IsBk.net
URLﾘﾝｸ(i.imgur.com)
もうすぐ終了です
107:デフォルトの名無しさん
24/06/13 19:06:39.65 LjZDtVfU.net
>>101
元のzlibとの速度差はどれくらい？
108:デフォルトの名無しさん
24/06/13 19:19:21.58 bPri26wi.net
>>104
ガンガンポイント増えるな
109:デフォルトの名無しさん
24/06/13 19:53:32.56 jsa1Mw5+.net
zlib-rsはzlibと比較してまだ圧倒的に足りてないからパフォーマンス評価のしようがない
URLﾘﾝｸ(github.com)
110:デフォルトの名無しさん
24/06/13 21:05:44.12 V9qdE8Kb.net
>>107
先は長いね
111:デフォルトの名無しさん
24/06/13 21:29:59.05 /G8REiwP.net
RustはC/C++に置き換わるのか？
112:
24/06/13 21:36:14.88 1OdwwcYl.net
無理無理かたつむり
113:デフォルトの名無しさん
24/06/13 21:37:00.52 gxf+efas.net
計画も陰謀もないんだよ
114:デフォルトの名無しさん
24/06/13 21:59:02.47 5nBUoDRv.net
>>104
めっちゃ面白そう
115:デフォルトの名無しさん
24/06/13 22:16:54.37 jsa1Mw5+.net
>>109
時間さえあれば
116:デフォルトの名無しさん
24/06/13 23:52:05.18 zLnkTNXF.net
>>109
C/C++がRustに置き換わっていってる
117:デフォルトの名無しさん
24/06/14 08:05:53.63 5fkgUscQ.net
>>109
その前にSafe Rust相当のsafe c++とか出るんじゃない？
標準化できるかわからんが。
118:
24/06/14 08:11:27.55 n78hEtXN.net
C++はUTF-8の扱いを何とかして欲しいね。
119:デフォルトの名無しさん
24/06/14 08:28:16.67 Rk5MFfRB.net
>>115
C++をいくら強化してもそれは不可能だと皆がわかった
既存C++資産メンテ用限定としてはCarbonがある
それ以外は全てがRustへの移行に向かっている
120:デフォルトの名無しさん
24/06/14 08:44:54.37 5fkgUscQ.net
>>117
別のサブセットを作るだけだよ。
unsafe rustに対するsafe rustみたいなもの。
121:デフォルトの名無しさん
24/06/14 08:53:45.79 Rk5MFfRB.net
>>118
それは無理だとわかったので誰も進めていない
122:デフォルトの名無しさん
24/06/14 08:54:29.15 /xTQkr0X.net
C++やってればそれが不可能なことくらいわかると思うんだけどな
123:デフォルトの名無しさん
24/06/14 08:56:27.95 ZAmC1x49.net
聖地に向かっている者だけが地政学を信じている
124:デフォルトの名無しさん
24/06/14 09:19:59.81 g3k7S7zc.net
>>109
現在進行形だけどC/C++が絶滅するわけじゃなさそう
125:デフォルトの名無しさん
24/06/14 10:01:07.05 lj8dYX/x.net
>>115
C++のロードマップを見てくると良いよ
126:デフォルトの名無しさん
24/06/14 11:03:03.69 GO4uoc83.net
今考えられてるアノテーションではmaybe safer C++になるだけで根本的にsafe�
127:ﾅはない 既存資産を活用するという最大のメリットを捨てて非互換新言語を作れば可能だけどRustがある現状で誰もそんな事に投資しないから実現不可能
128:デフォルトの名無しさん
24/06/14 11:28:58.36 O+avA7Kj.net
>>117
carbonとか完全に忘れてたわ。あれ絶対c++やRustより先に無くなるやろ
129:デフォルトの名無しさん
24/06/14 17:00:20.45 wrlhIGAu.net
URLﾘﾝｸ(imgur.com)
使い分けは
こんなイメージ
130:デフォルトの名無しさん
24/06/14 17:29:32.96 97A5EwfU.net
C++を安全にしようとすると標準ライブラリの各インターフェースから全て作り直しとなり
標準でないライブラリも同様なので既存のコード資産は使えず全面書き直しとなってしまう
それだけでは済まなくて互換性のない言語仕様も取り入れないといけない
なんとか手間暇かけてそこまで頑張って安全なC++ができあがっても何の意味もメリットも無くなってることに誰もが気付いた
131:デフォルトの名無しさん
24/06/14 17:31:19.78 stz6yx5w.net
色使いが目にunsafeすぎる
132:デフォルトの名無しさん
24/06/14 18:01:13.88 PWCt6Qaf.net
zlib-rsで移植のほぼ完了したdeflateを見ればよくわかるけどすごくメモリ安全だぞ
現実を見ろ
133:デフォルトの名無しさん
24/06/14 18:18:31.44 49Oug44p.net
>>109
ゲーム分野のC/C++は置き換わらない
134:デフォルトの名無しさん
24/06/14 18:24:39.72 lj8dYX/x.net
ゲームなんざ脆弱性があろうが最悪クラッシュさせりゃいいからな😁
まともなゲームエンジンフレームワークのないRustを使う意味がない
それよかクラッシュしたら人死の出るようなところのRust化が優先
135:デフォルトの名無しさん
24/06/14 19:04:14.04 1kqNSQLr.net
ネットワーク対戦ゲームだと細工したパケット送ると
バッファーオーバーフローで云々とよくある
脆弱性になるじゃん
136:デフォルトの名無しさん
24/06/14 19:13:14.40 65JFUBxW.net
>>132
そんなつまらない欠陥じゃなくてC++ではなくRust選ぶ利点になりえる脆弱性を言ってよ
137:デフォルトの名無しさん
24/06/14 20:42:46.16 ZAmC1x49.net
今すぐ物を作るのは損
10年後20年後に作れば得
これがインフレだが
本当はどちらか一つだけ選ぶのは損で両方選ぶのが得だと思わないか
138:デフォルトの名無しさん
24/06/14 21:29:25.97 1kqNSQLr.net
>>133
あなたがつまらんかどうかが評価軸じゃないので
139:デフォルトの名無しさん
24/06/14 22:51:10.89 SfJORH/f.net
>>134
>今すぐ物を作るのは損
>10年後20年後に作れば得
>これがインフレだが
違う
前提が間違ってるので議論が成り立たない
140:デフォルトの名無しさん
24/06/14 23:07:33.93 B5keN8zV.net
C++書くのダルイんよ
Rustのゲームエンジン来るの待ってる
141:デフォルトの名無しさん
24/06/14 23:46:55.69 49Oug44p.net
ゲームはまずdirectxやopenglとかがrustで書き直されないことには何も始まらんと思うわ
142:デフォルトの名無しさん
24/06/15 00:13:27.25 W+2t+gug.net
この板はプログラムを作らない人のための板ですね
143:デフォルトの名無しさん
24/06/15 00:24:57.03 mfm3bm5o.net
作ると断言するが、時の指定まではしていない
144:デフォルトの名無しさん
24/06/15 04:55:57.02 ao0/TxVC.net
>>138
WebGPUの参照実装であるwgpuを知らんのか。
ライブラリ使う側のIFはだいぶsafeだよ。
まぁ、バックエンドは結局、valkanやOpenGLになるけど。
145:デフォルトの名無しさん
24/06/15 06:54:41.07 FwUehUa7.net
>>138
それらは書き直されてもunsafeばっかになって意味ないだろ
146:デフォルトの名無しさん
24/06/15 07:07:04.66 jiIbIudV.net
OSのシステムコールだって生ポインタを渡したりunsafeな
147:仕様だけど Rustはsafeなインターフェースのライブラリとして提供して安全に使われているよ
148:デフォルトの名無しさん
24/06/15 08:12:25.38 h+pAIb35.net
AIに組み込まれた検閲による命令拒否を打ち消してあらゆる種類の質問に応答できるようにする「アブリテレーション」とは？
2024年06月14日
※自分の身近な人の嘘や陥れようかが話されたことと実際の動き【動画撮影含む】っを解析すれば判明
スポーツで動的シミレーションなどをする不正をしているや審判の判定がおかしいも判明
日常生活の動きも同時に併用されればボイス・トォ・スカルを使用しているかが判明
スマフォにAIが搭載されるので容易に判定
120フレームと8ｋ【人間の網膜の解像度と同じ】あればかなり制度が上がる
相手の望まない手助けは数週間持続する高いストレスを与える！
2024.06.13
↕サイコパスはどう考えるのかな
使えない人」を排斥するとき周りの人の心は痛みにくいと判明
2021.05.22 SAT
ネット上で問題発言をする人は、暗い性格特性「ダーク・トライアド」かもしれない
2021.04.02 FRI
ナルシストは他の人よりも早くCEOの地位にたどり着く
2021.02.09 TUE
つい被害者を責めてしまう「公正世界仮説」とは何なのか？
2019.07.22 MON
「無能」でもOK？ 社会的地位の高い人ほど信頼されやすい理由とは
2019.06.02 SUN
149:デフォルトの名無しさん
24/06/15 08:12:46.55 h+pAIb35.net
「問題を指摘する人」に問題があると思い込む心理バイアス「自発的特性転移」が陰謀論を生んでいるという主張
2024年05
悪いニュースを伝えた人は理不尽に嫌われてしまうことが明らかに
2019.05.17
「恋人がサイコパス」だった時の見分け方とは
2018.12.09 SUN
ロンドン市民の娯楽だった？！近代イギリスの公開処刑
2023/12/17
スラップ訴訟
>>ある程度の発言力や社会的影響力のある、社会的に優位といえる立場の者が、特に発言力や影響力を持たない相対的弱者を相手取り訴訟を起こすこと。
巨大IT企業から「法的措置をちらつかせる停止通告書」を受け取った場合の対処方法とは？
2024年02月01日 08時00分
150:デフォルトの名無しさん
24/06/15 10:23:21.15 sguIT4c6.net
サイバーエージェント、画像認識できる75億パラメーターの日本語LLM公開 商用利用OK
サイバーエージェントは6月13日、日本語大規模言語モデル（LLM）に画像認識機能を追加した大規模視覚言語モデル（VLM）「llava-calm2-siglip」を公開した。
「ChatGPT」画像を見ながら人間みたいに話せる新機能、今後数週間でリリースと予告
OpenAIは6月14日、同社の公式Instagramアカウントを通じ、ChatGPT（GPT-4o）に音声と映像を同時に理解する機能を追加し、今後数週間以内にリリースすると発表した。
画像生成AI「Stable Diffusion 3 Medium」公開 プロンプトの理解力が上がり、リアルな画像が生成可能に
Stability.aiは6月12日、同社が開発する画像生成AI「Stable Diffusion 3」シリーズの最新モデル「Stable Diffusion 3 Medium」を発表、無償の非商用ライセンスおよびクリエイターライセンスの下で利用可能だ。
サイバーエージェント、画像認識できる75億パラメーターの日本語LLM公開 商用利用OK
サイバーエージェントは6月13日、日本語大規模言語モデル（LLM）に画像認識機能を追加した大規模視覚言語モデル（VLM）「llava-calm2-siglip」を公開した。
「ChatGPT」画像を見ながら人間みたいに話せる新機能、今後数週間でリリースと予告
OpenAIは6月14日、同社の公式Instagramアカウントを通じ、ChatGPT（GPT-4o）に音声と映像を同時に理解する機能を追加し、今後数週間以内にリリースすると発表した。
画像生成AI「Stable Diffusion 3 Medium」公開 プロンプトの理解力が上がり、リアルな画像が生成可能に
Stability.aiは6月12日、同社が開発する画像生成AI「Stable Diffusion 3」シリーズの最新モデル「Stable Diffusion 3 Medium」を発表、無償の非商用ライセンスおよびクリエイターライセンスの下で利用可能だ。
151:デフォルトの名無しさん
24/06/15 11:03:47.63 8Y+G0brA.net
>>143
それなら既存のRustラッパーでよくね？
152:デフォルトの名無しさん
24/06/15 12:50:26.14 lxZB8+rK.net
根っこの技術がc/c++製でガワだけrustで、それでc++を置き換えたと言えるのか？
153:デフォルトの名無しさん
24/06/15 12:55:07.64 pv+Dr0CG.net
>>148
置き換える意味があるかないかの問題でしょ
ほぼシステムコールなグラフィックAPIのRust実装の有意義性はあるのか
154:デフォルトの名無しさん
24/06/15 13:06:53.11 I+z8iAZu.net
>>148
根っこを捨ててpure Rust で再構築したとして
それは置き換えたんじゃなくて
別のものを似せて造り治しただけじゃないのか
155:デフォルトの名無しさん
24/06/15 13:08:57.41 I+z8iAZu.net
>>149
完全に pure Rust の OS があったとして
その上で動くアプリケーションは全て Rust で描かないといけない世界が良いのか
Rust OS の上でも C/C++ で開発したい(API は C 相当)のかで意見が変わる
156:デフォルトの名無しさん
24/06/15 13:33:19.67 mfm3bm5o.net
完全に純粋に一人で打席に立つことは
そいつの年収やそのカネの所有権を定義するのに必要みたいな感じでしょ
157:デフォルトの名無しさん
24/06/15 15:03:07.44 jiIbIudV.net
勘違いしてる人が多いようだけど
Rustの目的は全てをRustで書くことではなく安全にすることなんだよ
だからOSシステムコール呼び出しもRust(と最小限の各アーキテクチャ毎のレジスタ積み等)で頑張るのではなくCで書かれたlibcを用いている
つまりRustのunsafe部分を最小限にするとともに、unsafeだが枯れて安全なlibcを活用している
158:デフォルトの名無しさん
24/06/15 15:11:35.25 W+2t+gug.net
勘違いしてんのはここでまともなRustの話ができると思ってるお前だよ
159:デフォルトの名無しさん
24/06/15 15:51:53.03 uRWofhsS.net
概論でいいんならこれ貼るよ
オブジェクト指向を学ばなかった話
URLﾘﾝｸ(qiita.com)
160:デフォルトの名無しさん
24/06/15 15:54:39.14 I+z8iAZu.net
自分は pure Rust に全然拘っていないし
むしろ unsafe 大好きだが
pure Rust に拘ってる人や
unsafe 絶対無くせって言ってる人も居るのを知ってる
後者は基地外
161:デフォルトの名無しさん
24/06/15 16:13:09.69 uRWofhsS.net
use std::io::{self, BufRead, BufReader};
const FULL_BITS: u32 = (1 << 26) - 1;
fn main() {
let mut shortest: Option<String> = None;
for line in BufReader::new(io::stdin()).lines() {
let line = line.unwrap();
let mut bits = 0;
for b in line.as_bytes() {
let index = match b {
b'A'..=b'Z' => b - b'A',
b'a'..=b'z' => b - b'a',
_ => continue,
};
bits |= 1 << index;
}
if bits != FULL_BITS {
continue;
}
if let Some(ref shortest) = shortest {
if shortest.len() < line.len() {
continue;
}
}
shortest = Some(line);
}
if let Some(shortest) = shortest {
println!("{shortest}");
} else {
eprintln!("ERROR: no matched lines");
}
}
162:デフォルトの名無しさん
24/06/15 17:55:06.95 uRWofhsS.net
ソースコードのコピペで止まるスレ
163:デフォルトの名無しさん
24/06/15 20:29:16.21 x7/eMzge.net
ソースコード貼るなんて暴力ですよ！
164:デフォルトの名無しさん
24/06/15 21:06:34.26 uRWofhsS.net
コピペしただけなんだけどね
ｽﾚﾘﾝｸ(tech板:6番)
165:デフォルトの名無しさん
24/06/15 21:09:34.98 jiIbIudV.net
>>156
unsafeは好き嫌いというよりも
最下層のCPUとメモリもしくは境界のFFIで必須な存在とみるべきではないかな
ただしそこだけにunsafeを閉じ込めて一般プログラマーはsafeなインタフェイスのみを使う
166:デフォルトの名無しさん
24/06/15 21:10:47.55 uRWofhsS.net
一行のコードも書かずに形而上学みたいにプログラミングを学ぶ贅沢はいいね
167:デフォルトの名無しさん
24/06/15 21:54:03.45 uRWofhsS.net
Rust「で」作るんじゃなくてRust「を」作る秘密が知りたいんだよね
すべてのソースコードがコンパイル時に手元にあったとして、メモリの使途を解析してしまえるなんて普通は思わないからね
この点を「たまたま思いついた天才がいた」で済ませたくない
168:デフォルトの名無しさん
24/06/15 22:10:08.33 uRWofhsS.net
Copy型とそうでない型。よろしい
Copy型の自動変数みたいにそうでない型もスコープを抜けると解放。それはよろしい
しかしそんなものは遥か実用に遠い
169:デフォルトの名無しさん
24/06/15 22:29:19.17 uRWofhsS.net
いったい何がきっかけでメモリの使途を把握してしまえるかもと思ったか
それが分かるまでごくごくゆっくりとしか勉強しないよ
170:デフォルトの名無しさん
24/06/15 22:33:28.01 mfm3bm5o.net
ヒープを一切使わないパラダイムは昔に戻っただけ
スタックの安全性だけを考えてヒープはライブラリに任せる
171:デフォルトの名無しさん
24/06/15 22:46:06.16 uRWofhsS.net
全部スタックでやってるって本当の話なの？
172:デフォルトの名無しさん
24/06/15 22:51:02.34 uRWofhsS.net
allocaとかとっくにあったよ？
173:デフォルトの名無しさん
24/06/15 23:22:17.89 uRWofhsS.net
逆のものを想像してんだけどな
スタックでなくヒープにあっても同じなのがRustじゃないの？
174:デフォルトの名無しさん
24/06/15 23:47:36.34 mfm3bm5o.net
参照の寿命が尽きても参照元のデストラクタは呼ばれない
だから参照元がヒープにあろうがなかろうが参照の寿命はスタックに基づいて決めてしまえば良い
175:デフォルトの名無しさん
24/06/16 00:42:56.54 DhqUa2Zy.net
>>170
「参照元」は誤用か
参照先と言うべきだったか
176:デフォルトの名無しさん
24/06/16 00:50:00.04 +a7ueRP7.net
>>169
スタック上への参照とヒープ上への参照をRustでは区別しない
ライフタイムさえ満たしていればどこを指していても区別なく参照を扱う
そのため、従来行われてきた「安全にヒープ上でに領域を確保してヒープ上への参照を返す」をしなくても
ライフタイムさえ満たしていればスタック上への参照を安全に渡したり返したり自由にできるようになった
そのため、従来はヒープ上に確保していていたケースがRustではスタック上に置くことができるようになり、その点でも高速化に寄与している
177:デフォルトの名無しさん
24/06/16 01:00:26.12 d8h4GcS0.net
複オジのレスはいつも通り8割は嘘だな
178:デフォルトの名無しさん
24/06/16 01:15:13.88 dwkxcYMW.net
>>172
別にC言語だってallocaの返したポインタとmallocの返したポインタを区別しないけど
179:デフォルトの名無しさん
24/06/16 01:25:03.80 J8bJz9x+.net
誰が解放するか責任もなく解放忘れや多重解放を生むＣ言語は論外だろ
解放されたスタックフレームやヒープエリアを指し続けているポインタが残ったりな
180:デフォルトの名無しさん
24/06/16 01:32:46.10 dwkxcYMW.net
C言語と違って区別しないわけじゃないし、C言語と違って高速ってわけでもない
181:デフォルトの名無しさん
24/06/16 01:39:48.74 dwkxcYMW.net
C言語同様に区別しないし、C言語同様に高速なんでしょう
182:デフォルトの名無しさん
24/06/16 01:45:22.24 sswa3N72.net
そろそろ自己隔離しとけザコども
結局C++とRustってどっちが良いの？ 9traits
ｽﾚﾘﾝｸ(tech板)
183:デフォルトの名無しさん
24/06/16 03:32:45.56 dwkxcYMW.net
へえ、コピーじゃなくて移動をデフォにしちゃうのか
184:デフォルトの名無しさん
24/06/16 04:03:11.69 WxpyLfm8.net
>>174
mallocで得たポインタとallocaで得たポインタは明確に区別しなければならない
mallocで得たポインタのみfreeの対象としなければならない
この区別�
185:ﾍCプログラマーの責務でありミスると破綻する
186:デフォルトの名無しさん
24/06/16 04:10:20.19 dwkxcYMW.net
>>180
コンパイラが区別してくれるわけじゃないからそう書いた
今はRustコンパイラの秘密を探ってるんだし
187:デフォルトの名無しさん
24/06/16 04:28:58.35 QdGU/f8s.net
Rustはヒープで確保したメモリ領域も完全自動で安全にメモリ解放されるからプログラマーの負担がなくていいよね
ヒープへの参照とスタックへの参照に区別がないだけでなく
それらをたとえ混ぜて関数間で渡したり返したりたらい回しにしても安全で
もし安全でない使い方をした時はライフタイムが切れてコンパイルエラーになるから自由と安全が両立されてるね
188:
24/06/16 04:37:34.79 qe+k+ZN3.net
解放されたスタックフレームが残って、どうやって呼び出し元に帰るつもりなんだろう。😱
189:デフォルトの名無しさん
24/06/16 04:43:29.58 dwkxcYMW.net
メモリはコピーじゃなくて（所有権の）移動がデフォ
所有者がスコープを抜けるとメモリは解放
所有者に別の値が代入された際もメモリは解放
代入元は所有権が移ると未初期化の扱いになる
これだけでもかなり面白いね
190:デフォルトの名無しさん
24/06/16 04:50:45.28 /uiI2ckT.net
>>183
C/C++/Rustすべて関数が呼び出し元に戻るときにスタックフレームは自動解放されます
もしその破棄されたスタックフレーム上を指すポインタ(参照)がどこかに残っていた場合、
C/C++ではそのポインタ使用でそこをアクセスしてしまい気づかないバグや穴となるでしょう
Rustではコンパイル時点でライフタイムエラーとなるため問題が起きないです
191:デフォルトの名無しさん
24/06/16 05:46:32.57 Jxkkspwa.net
正体不明のボイス・トォ・スカル
マイクロ波聴覚効果の機能より
神の声兵器は機器の場所が割れているので
ハッキング下と奪取後に器機を複製できた音を宣言していた
電磁波音波なのでむやみに器機に仕掛けると誰かが攻撃しているとすぐに設置したものは察知するが
その監視網をかいくぐるということは一発で危機をジャックしたことになる
そして機器の性能は年々よくなるので自分に行って見分けがつかないくらいになると器機使用者が幻覚を見ていると錯覚し始める
192:デフォルトの名無しさん
24/06/16 06:03:13.93 dwkxcYMW.net
メモリはそれ自体は無論のこと、それを指すポインタもひとつしかないわけだ
193:デフォルトの名無しさん
24/06/16 07:56:02.10 dwkxcYMW.net
この発想は正直なかったわ
ひとつのメモリをあちこちから参照すればするほど高効率みたいな思い込みがあるからね
194:デフォルトの名無しさん
24/06/16 10:08:57.93 R4/urzCg.net
>>167
>全部stack
そういう描き方をすればそうなるってだけで
そういう描き方ならCでも出来る
195:デフォルトの名無しさん
24/06/16 10:11:02.64 R4/urzCg.net
>>169-171
CにBoxを導入すれば解決
196:デフォルトの名無しさん
24/06/16 10:13:30.02 R4/urzCg.net
>>173
ほんそれ
197:デフォルトの名無しさん
24/06/16 10:32:48.33 dwkxcYMW.net
で、配列の要素だったり構造体のメンバだったりは「移動済み」にできない？
198:デフォルトの名無しさん
24/06/16 10:36:59.18 dwkxcYMW.net
とにかく&をつければアドレスを借用できて、その生存規則違反はコンパイラがはじく、と
199:デフォルトの名無しさん
24/06/16 10:41:20.79 irw16nD2.net
新参に教えといてあげると
172, 175, 180, 182あたりはすべて複製おじさん(通称 複オジ)という同一人物だよ
知ったかぶりで出鱈目ばかり書いて全く反省しないという
悪い意味で有名な人ので騙されないように注意してね
200:デフォルトの名無しさん
24/06/16 10:51:27.98 DhqUa2Zy.net
1日10行推敲するより1日1万行書いた方が数値化に貢献しやすいからしょうがない
201:デフォルトの名無しさん
24/06/16 11:21:38.24 dwkxcYMW.net
ボローチェッカーは作るのも使うのも難しそう
よくこんなこと可能だと思ったもんだ
202:デフォルトの名無しさん
24/06/16 11:48:19.48 dwkxcYMW.net
Rustの中ではつまらないというか泥臭い部分だね
203:デフォルトの名無しさん
24/06/16 12:06:57.33 0Wwb3VFz.net
>>196
ライフタイムについてまじめに知りたいなら（ある程度Rustには慣れた前提として）NLLのRFCを読むのをおすすめしたい
URLﾘﾝｸ(rust-lang.github.io)
そろそろこれよりいい資料は出ないもんかね……というかReferenceに明記してもらえんかね
なんか1.79でも地味にルールが拡張されたようだし
204:デフォルトの名無しさん
24/06/16 12:23:11.10 dwkxcYMW.net
ええっと、メモリの所有者が
・スコープを抜けること
・別の値が代入されること
・別の変数に所有権を移動させること
はもともと検出できる前提なのだよね
ボローチェッカーと言ってもその３つの組み合わせに毛が生えた程度なのかどうか
205:デフォルトの名無しさん
24/06/16 12:27:02.82 EH7/X6SF.net
>>198
全ての言語仕様を「仕様書」としてまとめる提案は出ているんだけど何年も動きがないんだよね……
206:デフォルトの名無しさん
24/06/16 12:30:31.60 M/AsARsj.net
>>174
allocaで得たポインタfreeしてそうなコメントだな
207:デフォルトの名無しさん
24/06/16 12:32:49.98 EH7/X6SF.net
>>199
メモリとかアドレスとか言ってる時点で正確な理解から遠いと思う。
変数はメモリではないし、参照はアドレスではない。
処理系の実装としてはそのように対応するという想定はあるだろうけど機械語レベルの事情と言語のルールはレイヤが違う。
208:デフォルトの名無しさん
24/06/16 12:33:46.16 dwkxcYMW.net
>>201
機械語知ってるからそんな心配はない
209:デフォルトの名無しさん
24/06/16 12:36:26.13 dwkxcYMW.net
>>202
そうだね。Rustは高級アセンブラってわけではまったくないね。勘違いしてた
210:デフォルトの名無しさん
24/06/16 12:42:20.38 dwkxcYMW.net
代入だったり関数呼び出しの引数だったりはコピーじゃなくて移動がキホンって時点で機械語ともC言語とも違う
211:デフォルトの名無しさん
24/06/16 12:51:16.07 G6A3UH2o.net
>>205
代入と考えるよりもパターンマッチングと考えるといいかな
＝や引数などで複雑なパターンを書いてもマッチングしてくれるよ
それがたまたま1対1の時が昔からの代入に相当してマッチングして移動
212:デフォルトの名無しさん
24/06/16 13:26:09.91 Crm/SwBu.net
あえて機械語レベルでも考えるとするなら概念的には移動でも (最適化を別にすれば) ビットパターンはコピーしている。
所有権を失った変数にはアクセスできないように静的に制限されるから所有権が移動したように見える。
借用は (借用が存在している間は) 移動を許さない権利として捉えることができる。
213:デフォルトの名無しさん
24/06/16 13:35:38.29 wnp+0tyF.net
>>200
現状だとここを見ておくのがいいかも
URLﾘﾝｸ(public-docs.ferrocene.dev)
ISO 26262の認定通すために書かれたものだからかなりちゃんとしている
214:デフォルトの名無しさん
24/06/16 15:11:48.05 xaMJYqDm.net
>>208
C/C++はISO認定だからな
一方、Rust連中はほんぽん仕様変える(変えたい)から、そんなISOレベルの仕様書書く意味がないって感じじゃないのか
215:デフォルトの名無しさん
24/06/16 15:51:37.66 Crm/SwBu.net
>>209
C++ だって三年ごとに更新する制度になってるし、その間の議論でも仕様の文面をどう変えるかという形式をとる。
頻繁に変えるつもりがあるならなおさら今どうなってるのかの全体像を把握できる仕組みがないと困る。
216:デフォルトの名無しさん
24/06/16 15:52:59.06 sKPbV2Nu.net
RubyもISOになったことあるし
217:デフォルトの名無しさん
24/06/16 15:57:39.35 sswa3N72.net
15.4:16 ??? (this should describe the order of borrowing and when the borrow is returned)
わろた
218:デフォルトの名無しさん
24/06/16 16:23:56.88 dwkxcYMW.net
NLLというくらいだからもともとLL
219:デフォルトの名無しさん
24/06/16 16:49:41.43 dwkxcYMW.net
まあ一応（ボローチェッカーというものが）可能そう
220:デフォルトの名無しさん
24/06/16 17:20:46.77 dwkxcYMW.net
コンパイラはプログラム中の全ての参照型に対してライフタイムを割り当てる、と
221:デフォルトの名無しさん
24/06/16 17:45:29.17 WRdAUcGE.net
言語にISO標準を求めるのって相当なお爺ちゃんでしょ
もうそういう時代じゃないですよ
222:デフォルトの名無しさん
24/06/16 17:52:05.41 fzWVLbYH.net
>>215
所有者がどのスタックフレーム(の中のどのブロックスコープ)にいるかだけの話だよな
そこより先なら参照は生きて
そこより元なら参照も死ぬ
もちろんそんな神の絶対的な視点を実行前のコンパイル時点で静的に持つことはできない
しかし各関数内での出入り(引数がinで返り値がout)は静的にわかるから
相対的な視点で有効か無効かわかることになると
223:デフォルトの名無しさん
24/06/16 17:55:19.72 Crm/SwBu.net
>>216
ISO 規格が必要なんて話はしてないだろ。
仕様書が要るって話をしてるんだぞ。
224:デフォルトの名無しさん
24/06/16 18:05:26.18 0Wwb3VFz.net
複製おじさんと遊ぼうスレ
225:デフォルトの名無しさん
24/06/16 18:43:24.33 hxwMVp5d.net
>>218
>仕様書が要るって話をしてるんだぞ。
別に全然要らないぞ
逆になんで要るんだ？
226:デフォルトの名無しさん
24/06/16 18:44:48.95 dwkxcYMW.net
ひとつしかない所有者がスコープを抜ける、もしくは所有者に別の値が代入されると、そこから先にはメモリはもうない
227:デフォルトの名無しさん
24/06/16 18:57:47.09 dwkxcYMW.net
なんとなく、所有者はスタックの根元の方に、参照はスタックの枝葉の方にいそうなイメージ
228:デフォルトの名無しさん
24/06/16 19:01:15.44 4AvHozuz.net
>>221
有効な参照(借用)が存在したまま移動や破棄は起きない
これは静的に判定されコンパイルエラーとなる
229:デフォルトの名無しさん
24/06/16 19:08:46.55 dwkxcYMW.net
>>223
つまり所有権も静的に解析できる？
230:デフォルトの名無しさん
24/06/16 19:26:50.69 0Wwb3VFz.net
ここは結局こんな感じなのでID:dwkxcYMWは本当のことが知りたいならrust-lang-jpのZulipにでも行くといい
URLﾘﾝｸ(rust-lang-jp.zulipchat.com)
231:デフォルトの名無しさん
24/06/16 21:12:46.18 Crm/SwBu.net
>>220
じゃあ言語の仕様をどうやって把握すんの？
何が出来ていれば Rust のコンパイラを実装できましたって言えるの？
232:デフォルトの名無しさん
24/06/16 21:13:16.76 Crm/SwBu.net
>>224
できるというか、それが Rust のキモやで。
233:デフォルトの名無しさん
24/06/16 22:06:19.67 DhqUa2Zy.net
ゴールポストを固定することが正しいという考えが衰退したんだよな
正しさを疑うことが常識になったから
234:デフォルトの名無しさん
24/06/16 22:29:00.55 Crm/SwBu.net
>>228
ゴールを設定したいという話じゃなくて「今」どうなっているか見えないと疑うべきものすら存在できないって話なんだよ。
235:デフォルトの名無しさん
24/06/16 22:37:41.81 ICtaqBL/.net
>>226
>じゃあ言語の仕様をどうやって把握すんの？
言語の仕様はリファレンスで把握しろよ
>Rust のコンパイラを実装できましたって言えるの？
言える必要性が全くないやろ
どうしても言いたければ公式が用意してるコンパイラと標準ライブラリのテストを全部通したらいいんじゃね？
236:デフォルトの名無しさん
24/06/16 23:02:11.93 Crm/SwBu.net
>>230
端的に言うと現状のリファレンスマニュアルで Rust の仕様の全てを読み取ることは出来ない。
そのことは >>198 あたりからの話題の流れ。
リファレンスマニュアルは仕様を書くものじゃないし。
237:デフォルトの名無しさん
24/06/17 06:58:24.07 Yz55GwEO.net
【マイクロ波センサー】長距離でも壁があっても動きを検出！
↓2010年ごろには完成
高齢化社会を支える“見守りシステム”の開発に成功-カギを握った半導体ソリューションとは
↓2026年ごろにさらに性能工場
旭化成、ミリ波・マイクロ波帯の空洞共振器による微小金属検査システムを開発
男女関係なく陰部を撮影
一度でも盗撮されていれば正確な色合いの・・・
初期型は赤外線センサー【自動ドアのセンサなど】
子どもが言語を獲得していくのと同じようにAIモデルに学習させることに成功
AIを使って「赤外線カメラ画像のフルカラー化」に成功！
世界中で横行
238:デフォルトの名無しさん
24/06/17 16:27:54.49 prlYSpwu.net
役に立たないどんぐり
239:デフォルトの名無しさん
24/06/17 21:23:17.19 McDpAz4n.net
卒業式でみんなで思い出を言うやつみたいだな
卒業生 「そして役に立たないどんぐり！」
卒業生一同 「どんぐり～」
240:デフォルトの名無しさん
24/06/17 21:51:46.63 McDpAz4n.net
卒業生A 「高速で動作しながら保たれる高いメモリ安全性」
卒業生一同 「安全性！」
241:デフォルトの名無しさん
24/06/17 22:06:12.81 JE6O5Al9.net
米ホワイトハウス「ソフトウェアはメモリ安全でなければならない」との声明を発表：「C」「C++」よりも「Rust」などの言語を推奨
URLﾘﾝｸ(atmarkit.itmedia.co.jp)
242:デフォルトの名無しさん
24/06/18 00:33:44.73 Vx2LO8pn.net
卒業生 「みんなで借りた所有権」
卒業生一同 「所有権！」
243:デフォルトの名無しさん
24/06/18 02:26:00.95 V90mUrMq.net
AIにC++とRustのコードを比較してもらった
URLﾘﾝｸ(nshinchan01.hateblo.jp)
244:デフォルトの名無しさん
24/06/18 08:51:41.62 Ee6IUiqA.net
見えない仕様書より見えているコロンブスを殴る
殴る
245:デフォルトの名無しさん
24/06/18 09:12:34.89 z6V+MJXC.net
>>238
sum()自体は使わないとしてこうかな
fn foo(input: impl IntoIterator<Item = i32>) -> i32 {
input
.into_iter()
.filter(|x| x % 2 == 0)
.map(|x| x * 2)
.fold(0, |sum, x| sum + x)
}
fn main() {
let numbers = vec![1, 2, 3, 4, 5];
assert_eq!(foo(numbers), 12);
}
246:デフォルトの名無しさん
24/06/18 12:23:59.59 /B9kzKJY.net
Rustの仕様と実装の分離ができてないと、公式の実装が唯一になるから困る分野があるんだろうね。
Cとかコンパイラいっぱいあるじゃん。
Rustぐらい複雑で成長途上の言語で仕様を文書化して実装を交換可能にするなんて事実上無理っぽいけど、10年後ぐらいには問題でてくるのかもね。
247:デフォルトの名無しさん
24/06/18 12:31:26.48 28rDJLEQ.net
>>241
現在のRustの仕様は実用的なプログラミングをする上で十分なレベルとなっているけど
さらに便利にするための追加仕様がTODOリストに積まれていてそれらが少しずつ解決されて追加されていってる状況ですね
まだ当面しばらくは現状体制のまま成長させていくのが望ましいと思います
248:デフォルトの名無しさん
24/06/18 13:47:06.59 4eNa7Q9X.net
実装が仕様でもいいけど、その場合はその実装のコアの部分を明確にした方がいいかもね
249:デフォルトの名無しさん
24/06/18 13:51:40.72 LAg3uLnk.net
GPT-4oがAIベンチマークのARC-AGIで50％のスコアに到達、これまでの最高記録である34％を大幅に更新
2024年06月18日
※さらに最適化すれば７０%以上も可能な模様
スマホに搭載可能な小型透視チップが開発される
2024年06月18日
250:デフォルトの名無しさん
24/06/18 16:50:36.49 Q5+2E571.net
>>241
Cの標準化の更新なんて10年とかだろうが。
251:デフォルトの名無しさん
24/06/18 18:04:47.12 dU1vPCRC.net
>>241
>Cとかコンパイラいっぱいあるじゃん。
それは各チップでそれぞれ別のCコンパイラが必要なのと
クローズドソースでプロプライエタリのコンパイラを有償で販売できる環境があるからだよ
Rustだと各チップで必要になるのはLLVM対応であってRustのコンパイラではないし
リスクをとってまでプロプライエタリなコンパイラをわざわざ作るメリットもほぼない
それにコンパイラが乱立しないというのは今のところはエコシステム的にはメリットしかない
252:デフォルトの名無しさん
24/06/18 19:09:22.28 gzLiS43Q.net
gccが頑張ってるくらい？
253:デフォルトの名無しさん
24/06/18 19:12:43.09 1V33WRQR.net
団体がすべての主導権を握ってるならある日急にガラッと変えても誰も文句を言えない
実装が仕様です
C++や他の言語で規格がって言ってるのはコンパイラだけの問題じゃなくてコード利用してる側の都合でもある
254:デフォルトの名無しさん
24/06/18 19:12:43.05 mK8t8Wj0.net
Rust Foundation自身がrfc3355をmergeして仕様策定やります宣言してるのに
今更そんなこと言ってもね
255:デフォルトの名無しさん
24/06/18 19:36:21.60 mK8t8Wj0.net
そもそも、仕様を必要とするのはコンパイラだけじゃない
URLﾘﾝｸ(blog.rust-lang.org)
少なくとも、公式がrustc依存のRLSを捨ててrust-analyzerへの乗り換えを宣言した時点から
「rustc実装が仕様」状態から脱却しなくてはならないという意識はRust Foundation内にもずっとあったと考えるべきだろう
256:デフォルトの名無しさん
24/06/18 23:19:40.06 AiI9Z/GF.net
Rustのコンパイラを作るために理解すべき仕様と
Rustを使うために理解すべき仕様を
仕様という言葉で一括りにするから話がおかしくなる
257:デフォルトの名無しさん
24/06/19 01:01:46.69 Xt21vW+E.net
>>248
>C++や他の言語で規格がって言ってるのはコンパイラだけの問題じゃなくてコード利用してる側の都合でもある
コードを利用してる側の都合というのは複数の実装が存在するけど
リファレンス実装やデファクトスタンダードが存在しないから規格がないと困るからでしょ
今も規格が生きてる言語というとC, C++, COBOL, Ada, Fortran, JavaScript, C#くらい
C#を除くと各ベンダーがクローズドソースでプロプライエタリなコンパイラを作ってた時代からの言語
C#はOSS/マルチプラットフォーム化されて必要性はもうなくなってる
258:デフォルトの名無しさん
24/06/19 01:08:50.95 8OfzU/dS.net
Javaも、本家SunとGnuとあったな。今は知らんが
259:デフォルトの名無しさん
24/06/19 04:09:25.16 Z3xOIU7u.net
ボイス・トォ・スカル
スポーツで試用しているとそっく露呈
選手の動きを撮影してそれを2倍.4倍...スロー再生すれば明確に使用しているを見つけられる
通常の者でも動けなくとも音と動作は見えているのでそれをシミレーション【通常の者主軸】にあてはめて動作をみればよい
それにプラスΑでそれが可能な回数を数学を用いて算出【科Ⓚ立論や物理的法則の確率論】すれば明らかにおかしいが判明
人間の筋肉量などを基本にの運動能力を設定しておくこと
さらに公共の場で日常生活のⓀ感の鋭さを調べれば本人がその能力があるかがわかる
知力の方は根気よく罠にかけるように会話をしていけば露呈する
260:デフォルトの名無しさん
24/06/19 07:18:12.06 Z3xOIU7u.net
レーザーで「トリウム原子核」を励起することに成功、原子核時計などの革新的技術への道が開かれる
2024年04月30日
量子もつれの伝達速度の限界を解明することに成功！
2024/04/02
世界初！「量子もつれ」の画像撮影に成功
2019/07/15
量子テレポーテーションとワーム・ホールの移動速度判明
地球上に幽霊も神も観測可能なのになぜ観測不能?
量子テレポーテーション中は量子のもつれがないので双方観測不能
など考えましょう
261:デフォルトの名無しさん
24/06/19 10:09:36.86 Ml7xOhwE.net
ここもう、ちゃんと教えてくれる上級者を追い出し終えてしまったと思う
初心者が自分以下の初心者にマウント取るだけのスレになってしまった
最後まで我慢して付き合ってくれた上級者まで汚い言葉で追い出して。
そんなんだからいつまでも下手なんだろうし、しょうがないか
262:デフォルトの名無しさん
24/06/19 11:17:34.73 1p8aP5/l.net
上級者がいるとマウント取られてうざいから追い出し得だろ😅
263:デフォルトの名無しさん
24/06/19 17:53:51.50 LFDUaW3g.net
質問です
イテレータから"名前1", "データ1", "名前2", "データ2", ...と渡ってくるのですが
これを(名前, データ)のイテレータに変換する方法、または、そのように扱える方法ありますか？
264:デフォルトの名無しさん
24/06/19 18:29:49.29 sNVXKo+0.net
擬態初心者
265:デフォルトの名無しさん
24/06/19 18:44:02.73 ZD2dEKbK.net
>>248
気に入らないなら、フォークすれば良いじゃん
266:デフォルトの名無しさん
24/06/19 18:46:24.24 n3c3jE4n.net
パンがなければ？
267:デフォルトの名無しさん
24/06/19 19:22:09.94 KTqBdjza.net
>>256
書き込み規制が頻繁過ぎて信頼できないプラットホームだからだよ。
そもそも使えないことがあるのは内容がどうこう以前に論外。
268:デフォルトの名無しさん
24/06/19 21:18:42.18 djSYTMJZ.net
このスレに上級者はいらねえ
真面目な質問をしたい時はissueか公式フォーラムかredditに行く
ここにはマウントを取って気持ちよくなるために来ているんだ
上級者は去れ
269:デフォルトの名無しさん
24/06/19 21:32:54.13 DBUer5Kw.net
>>258
1. itertoolsのtuples
2. nextを直接&指定回数呼び出すイテレータアダプターを書く
3. scan + filter_map
270:デフォルトの名無しさん
24/06/19 23:58:52.30 sOHW1UBs.net
>>258
奇数個が来た時のエラー処理を考えると
Result<(名前, データ), 残り>を返すイテレーターが適切
>>264
tuples()は奇数個エラーに気付けないのが惜しい
271:デフォルトの名無しさん
24/06/20 00:27:34.04 AP0fcOd2.net
>>265
奇数個はエラーってのはタプルの要素数2個の場合限定なので
もう少し一般化して使える方法がいいと思うよ
itertoolsはchunksとか他にも使えるやつがあるから用途に応じて使い分けてね
272:デフォルトの名無しさん
24/06/20 00:30:45.20 GE8fSxUT.net
chunksは使いにくくタプルにするのも面倒だな
273:デフォルトの名無しさん
24/06/20 00:49:36.16 1qQq2QC1.net
複おじに餌を与えないでください
274:デフォルトの名無しさん
24/06/20 02:27:54.12 s4SRXQdp.net
いつの間にかHaskellがC#より速くなってた…。
URLﾘﾝｸ(nshinchan01.hateblo.jp)
HaskellとC#だけでなく、Rust/Pythonともベンチマーク比較してますのでどうぞ( ^^) _旦~~
（コードも掲載してるので、速度だけでなくコードの比較にもなってます）
275:デフォルトの名無しさん
24/06/20 08:11:10.55 EWbar4Kg.net
HaskellあればRustいらねーじゃん
276:デフォルトの名無しさん
24/06/20 08:16:50.61 cxaQEnhn.net
print!("");
この"!"いらんやろ
なぜ付けた
277:デフォルトの名無しさん
24/06/20 08:54:48.96 r+KYpvqW.net
Haskellはもっと高速に動作するようにしてくれ
278:デフォルトの名無しさん
24/06/20 09:08:01.19 868QLl9r.net
>>271
!はマクロ
Rustは関数のオーバーロードがない
Rustは可変長引数もない
これらの弱点をマクロでおぎなっているんだよ
279:デフォルトの名無しさん
24/06/20 09:25:21.08 r+KYpvqW.net
Rustはマクロをカジュアルに使いすぎ
280:デフォルトの名無しさん
24/06/20 10:13:19.20 gE9bPm4O.net
正体不明ぼいす・とぉ・すかる【非接触型ムーンショット一式】
AIも発展してきて論文全て読み込ませて作成可能のAI返答なので実在している
世界中の建前
器機所持者と機器秘所持者と機器非所持者ぼいす・とぉ・すかる＝非接触型ムーンショットそんな物無い!
かくなる上は統合失調症だ!
煩いので統合失調症を薬や自殺したことにしてカルテに!
さらに最近は作成しやすいので脇が甘いチームを見つけ次第コロナや感染症で死亡したことにします!
世界中の本音は現実は無慈悲
内臓疾患やバイオテロでの殺害!
統合失調症寿命を平均25年短く殺害!
非器機所持者に
世界で初めて固体電池を採用しパワー・安全性・耐久性・バッテリー寿命が超絶高まった最大出力4000Wのポータブル電源「YOSHINO B2000 SST」は家電を複数余裕で動かせてUPSとしても使用可能
2023年12月28日
※最上位は最大出力 6000w
これを最低4機?被害者に向けて配置して合計24000wの電磁波を集中できる配置にしていると犯人は宣言
ウナギの放電」は近くの生物の遺伝子を組換えていた!?
2023/12/11
281:デフォルトの名無しさん
24/06/20 12:40:54.14 eIGp2b4r.net
>>274
コンパイル時に展開して検証されるんだから、好ましくね？
実行時に解釈されて挙動が変わるJavaのアノテーションやRubyみたいなのよりよほど好ましいと思うが。
282:デフォルトの名無しさん
24/06/20 12:47:30.50 s4SRXQdp.net
>>272
速いHaskellをお求めならIdris2が正格評価なHaskellという位置づけです。
無限リストを失うので、代わりにStreamとか色々概念が増えてるようですが。
（私は無限リスト含め、少ない概念でプログラミング出来るHaskellに惚れているので、速さはあまり気にしない）
一応、HaskellもTemplate HaskellでC++みたくコンパイル時実行して、ガシガシ定数に出来るのは定数にすれば速さも期待できますが。
>>270
HaskellはC#と同じくGCあるので、組み込みとかタイミングが命の金融系や車載系は向きませぬ…。
283:デフォルトの名無しさん
24/06/20 12:50:51.75 r+KYpvqW.net
>>276
Rubyと比べて好ましいってのはなんの擁護にもなってないんだよな
むしろRubyと比較されうるというディスだろこれ
284:デフォルトの名無しさん
24/06/20 17:05:35.72 F8Q2DGBi.net
>>276
同意します
285:デフォルトの名無しさん
24/06/20 17:45:56.15 sFnTxIc/.net
Rustのマクロは全言語の中でも優秀だからね
手続きマクロの強力さと利便性は他では代えがたい
宣言マクロももちろん衛生的(健全)で汚染がない
286:デフォルトの名無しさん
24/06/20 17:48:12.64 Yb1hkWJo.net
>>278
言語と言語の持つ機能を分離して評価できない方だったか。
287:デフォルトの名無しさん
24/06/20 17:59:47.84 /aYWwCEV.net
>>281
いやRubyなんかどう分離してどこを切り取ってもRustと比較すること自体がRustへのディスだから
288:デフォルトの名無しさん
24/06/20 18:45:58.46 zOlAS9GZ.net
使い分けのできないバカしかいないのかな？
289:デフォルトの名無しさん
24/06/20 19:23:04.79 XVLgMtD/.net
>>280
Lisp
290: 警備員[Lv.20]
24/06/20 19:39:03.89 qDF/54rU.net
>>280
forth
291:デフォルトの名無しさん
24/06/20 19:39:05.96 sFnTxIc/.net
>>284
Lispは衛生マクロではないため失格
292:デフォルトの名無しさん
24/06/20 20:00:53.20 9lgCTTyf.net
>>280
Scheme
293:デフォルトの名無しさん
24/06/20 20:05:57.11 YFatQNUq.net
Rustの手続き型マクロは構文木を自由自在に扱えるし、宣言型マクロは汚染がなく健全だから、Rustより上の言語は存在しないと思うよ
294:デフォルトの名無しさん
24/06/20 22:08:57.89 0f6ktMCR.net
paiza.ioでクレートを追加する方法を教えてください
URLﾘﾝｸ(i.imgur.com)
295:デフォルトの名無しさん
24/06/20 22:19:44.74 XVLgMtD/.net
Scheme の仕様 R6RS では識別子に文脈情報がくっついているモデルの手続き的マクロが導入されて伝統的マクロと衛生的マクロの統合がされた。
Rust のマクロが複数種類ある状況と、構文木とトークン列を行き来するモデルは(有用で強力だが)整理されてない不恰好さを感じるところはあるよ。
296:デフォルトの名無しさん
24/06/20 22:21:58.65 p8EeWSs1.net
手続きマクロは別クレートが必要なのが面倒だし
いろいろと改善の余地はあると思う
297:デフォルトの名無しさん
24/06/20 22:53:46.34 L3G38ey0.net
>>267
>タプルにするのも面倒だな
chunkをtuples()すればいいだけだよ
面倒？
298:デフォルトの名無しさん
24/06/20 22:59:31.43 L3G38ey0.net
>>265
>Result<(名前, データ), 残り>を返すイテレーターが適切
残りを扱いたい場合はイテレータが返す要素の一部として残りを表現するよりも
chunks_exactのようにイテレータを消費して終わった後に別途残りを取得できる形にしたほうが親切だよ
299:デフォルトの名無しさん
24/06/21 01:29:07.25 4fJ/I6Gh.net
>>289
無理
ソースコピペでうまく行くケースもある
300:デフォルトの名無しさん
24/06/21 05:51:59.15 KnPUDwDa.net
>>289
rust playgroundを使った方が良いと思われる
301:デフォルトの名無しさん
24/06/21 06:59:01.53 6/+cQ+0X.net
>>289
そこでダメならideoneがあるじゃないか！
302:デフォルトの名無しさん
24/06/21 09:59:00.28 M8EEKVG+.net
rust playground はチョットマシなだけで
五十歩百歩目くそ鼻くそ
303:デフォルトの名無しさん
24/06/21 11:42:29.74 M8EEKVG+.net
>>289
巣に還れ
ｽﾚﾘﾝｸ(tech板)
304:デフォルトの名無しさん
305:ge
乱数はこれを実装してみた https://ja.wikipedia.org/wiki/%E7%B7%9A%E5%BD%A2%E5%90%88%E5%90%8C%E6%B3%95 https://paiza.io/projects/q52q5NA88lQ0hnM2xsTOTA
306:デフォルトの名無しさん
24/06/21 14:07:02.11 M8EEKVG+.net
久々に観掛けた static おじさん
307:デフォルトの名無しさん
24/06/21 14:19:00.2
308:0 ID:TK0ahnJz.net
309:デフォルトの名無しさん
24/06/21 17:07:40.60 wIxdZD1d.net
staticやめてみた
URLﾘﾝｸ(paiza.io)
310:デフォルトの名無しさん
24/06/21 22:48:19.44 zGyXPRVd.net
>>292
tuples()は余っても余らなくてもNoneを返して終わってしまうため今回の場合はあかんね
>>293
chunks_exact()はイテレータには使えない
スライスは長さがわかっているから対応できるけど
311:デフォルトの名無しさん
24/06/22 11:51:50.83 7Ziu80uC.net
すまんが、ClippyのAI版みたいなのってあるの？
Youtubeを見ていたら、「ClippyはAIのを除けば一番よく指導してくれる」旨を言ってる人がいてさ
AIの似たようなツールがあるって直接言ってるわけじゃないんだけど、なんか気になる表現をしてたんだ
あるんだったら使ってみたいな
312:デフォルトの名無しさん
24/06/22 14:30:20.31 boWDxemH.net
深い意味は無いので気にしすぎです
313:デフォルトの名無しさん
24/06/22 15:07:04.48 GlPOaJ+f.net
加熱するLLM開発競争に冷や水、オープンモデルの組み合わせだけでGPT-4o越えの事実
URLﾘﾝｸ(wirelesswire.jp)
314:デフォルトの名無しさん
24/06/22 21:58:27.39 9CBpYiTc.net
>>304
それはRustに限らずプログラミング全般において「ChatGPTなどのAIに質問をすれば良い回答をしてくれる。そのようなAI系を除けばRustのClippyは良い仕事をしてくれる」という話だろう
「ClippyのAI版」という具体的なツールがあるわけでなく、もっと一般的な意味でのAIという文脈かと思う
315:デフォルトの名無しさん
24/06/22 22:33:47.59 dw6Bjmix.net
>>304
Clippyは知らないが、自分のAIの使い方だとPythonでサンプルコードを書いて、Javaなりに変換するようにAIに投げる。
意図と違ったらその都度、こう直してって書いて微調整していく。って感じ。
Rustとかは雑誌の入門記事しか読んでないのに、関数型プログラミングバリバリのコードが出てきた。
（とはいえ元からPythonを意識した文法だったので、ほぼそのまんま）
fn main() {
for file_name in std::env::args().skip(1) {
println!("{}", file_name);
if let Ok(lines) = std::fs::read_to_string(&file_name) {
for (i, line) in lines.lines().enumerate() {
println!("{:>2}:{}", i + 1, line);
}
}
}
}
316:デフォルトの名無しさん
24/06/22 23:41:03.46 jxx0duBQ.net
関数型というとfor文使うのではなくこんなイメージ
fn main() {
std::env::args().skip(1).for_each(|file_name| {
println!("{}", file_name);
std::fs::read_to_string(&file_name).map(|lines| {
lines.lines().enumerate().for_each(|(i, line)| {
println!("{:>2}:{}", i + 1, line);
})
})
})
}
317:デフォルトの名無しさん
24/06/23 01:55:08.61 iAmtDmVE.net
そうなんだけど、C#でやったらForEach使うためにやたらToListを経由させられて逆に読みにくくなった。
これはHaskellも無理に高階関数やモナド演算子(>>/>>=)ばかりじゃなくて、適度にリスト内包表記やdo記法も合わせた方が読み易いのと同じだと思う。
318:デフォルトの名無しさん
24/06/23 02:43:59.44 FDfmyhMX.net
>>308 が関数型プログラミング *バリバリ* 何て書くからだろ。
俺も 308 のどこがバリバリ？と思ったわ。
関数型バリバリが読みやすいかどうかは別の話よ。
319:デフォルトの名無しさん
24/06/23 04:04:02.58 iAmtDmVE.net
AIは現段階ではネットから拾ってくるだけだしね。
「もっと短くしてください。」を繰り返すと同じコードしか吐かない。
無理なら無理って答えろよっていう…。
それにしてもRustのfor_eachメソッドはindex行けるのか。羨ましい。
C#はSelectはindex使えるけどForEachは使えない。
逆にSelectはWriteLine使えないけどForEachは使えるという…。
（Forメソッド？が欲しい）
Rustはその辺、最初から関数型プログラミングを意識してるからfor_eachメソッド使ってもそこまで読み難くなってないな。
320:デフォルトの名無しさん
24/06/23 04:08:15.53 iAmtDmVE.net
あ、＞AIは現段階ではネットから拾ってくるだけだしね。 っていうのは
for文を全く使わないようなコードは、Web上の（ユーザーの）評価も低いのでAIの評価基準でも選択されないって意味ね。
321:デフォルトの名無しさん
24/06/23 09:12:12.96 2+8typ11.net
>>308
clippyは公式のコード改善ツールだよ
コンパイラはエラーと警告だけ出すけど、clippyはそれ以上のヒントをくれる
例えば「コンテナ中に条件を満たす要素があるかどうか」をチェックするために items.iter().find(条件).is_some() のようなコードを書いたら、それに対し items.iter().any(条件) というシンプルな書き方を提案してくれる
こういう関数や構文の置き換えを含む提案をしてくれるツールで、これがコンパイラと同じ標準機能として備わってる (追加インストール不要) のが便利
322:デフォルトの名無しさん
24/06/23 09:41:40.50 iAmtDmVE.net
いい勉強になった。ありがとう。
323:デフォルトの名無しさん
24/06/23 10:21:20.16 ndMGRV9p.net
>>312
for_eachの機能でindexにアクセスしてるんじゃなくて
enumerateで(index, value)の形に変換してそれをfor_eachしてるだけだぞ
標準でenumerate相当のメソッドが用意されてないだけで
ForEachでindexを扱うときはC#でも似たようなやり方になる
324:デフォルトの名無しさん
24/06/23 16:42:06.61 +hC7ZOW/.net
正体不明ボイス・トォ・スカル
正体不明ぶれいん・ましん・いんたーふぇいす
対になっているのか?
周囲も被害者の思考を聞いているのならわかるように
被害者の声【思考】は初めの6か月間は聞えてなかった
６か月過ぎたころから被害者の思考が被害者自身で聞こえるようになった
被害者に話しかけている加害者側の正体不明ブレインマシンインターフェイスはどこにあるのだろうか?
被害者側の思考が漏れているのなら周囲の者は電磁波で夜も眠らされていなかったことや昼間横やりを入れているのは周知の事実
これから考えて被害者の思考のみが持てていると電磁波攻撃をしている者は被害者が嫌いこの条件がそろえば被害者に対して罵声を浴びせる被害者周囲者が出現する
被害者を見る限りそのような罵声を浴びせる者が出現しないということは
正体不明ボイス・トォ・スカルをしている者の思考はどこに漏れているのでしょうか?
また周囲の者も正体不明ボイス・トォ・スカル側についたものはどこに思考が漏れているのでしょうか?
等いろいろなパターンを考えましょう
ボイス・トォ・スカルで話していたホワイトリストとブラックリストこれが重要な意味を持っていると思われる
現実的に騒がなければ被害者には何も起きていない・・・各加害者が?一番聞かれると困る者に聞かせているというのも意味深です