Masanori Ogino 𓀁 reblogged at 6 years ago
裾 [email protected]
ここでの想定は「確かにライブラリはあるが全部廃墟だった」です。廃墟になるのは（出来る限り）止めるべき
Masanori Ogino 𓀁 [email protected]
kawaiiを探して摂取して寝るぞ、kawaiiを探して摂取して寝るぞ、dependency hellとsustainabilityとmaintainershipはkawaiiじゃないからkawaiiを探して摂取して寝るぞ
Masanori Ogino 𓀁 reblogged at 6 years ago
Masanori Ogino 𓀁 reblogged at 6 years ago
らりお・ザ・何らかの🈗然㊌ソムリエ [email protected]
Tracking issue for RFC 1892, "Deprecate uninitialized in favor of a new MaybeUninit type" · Issue #53491 · rust-lang/rust
https://github.com/rust-lang/rust/issues/53491
std::mem::uninitialized::<bool>() が UB で世界が衝撃を受けた回です
Masanori Ogino 𓀁 [email protected]
https://mstdn.maud.io/@omasanori/103666709474129176 にリンクがある記事を読んでくれ〜頼む〜（n度目）
Masanori Ogino 𓀁 [email protected]
使っていたライブラリがいつの間にか廃墟になっていた :very_sad: を繰り返す人がもしいたら、ライブラリ作者は魔法の箱ではなくこれから共にコミュニティをやっていく（かもしれない）人間と捉えることから始めると :hanamaru:
Masanori Ogino 𓀁 [email protected]
ライブラリがコミュニティによって安定して保守されるかどうかは利用者がライブラリを共に保守する一員になろうとするか、それとも単に便利なコードが出てくる魔法の箱と扱うかに影響されるし、最初の作者が意欲のある利用者から信頼できる人を見定めて責任を持つ側に迎え入れるかどうかにも影響される
Masanori Ogino 𓀁 reblogged at 6 years ago
裾 [email protected]
unsafeにすべきでは無いからといって、保守されているかかなり怪しい外部crateを使ったりパフォーマンスが大幅に落ちるくらいなら十分なコメントとテストを用意した上で必要最低限なunsafeを書けば良いのではと言う趣旨です。
Masanori Ogino 𓀁 reblogged at 6 years ago
らりお・ザ・何らかの🈗然㊌ソムリエ lo48576
端的に言えば、不可避な unsafe を集約したうえで人の目を集めろという意見になるのかな。典型的には std とかだけど
Masanori Ogino 𓀁 reblogged at 6 years ago
らりお・ザ・何らかの🈗然㊌ソムリエ lo48576
それでも誰かが unsafe を書かないといけないことは多いけど、そういう本質的に unsafe である必要のある処理は単体のライブラリとして小さくまとめられたうえで多くの人の目で確認されてほしいし、各々のライブラリが本質的に unsafe である必要のない処理を unsafe にしたりするのはどうなのと思う
Masanori Ogino 𓀁 [email protected]
『プログラミングClojure』にマクロについて書くな、まだ書くな、必要なところに限って書け、という最適化の法則のパロディがあって、Rustのunsafeもそういうものだと思っています
Masanori Ogino 𓀁 [email protected]
unsafeの外から見たときにそのunsafeが安全性を破っていないかを自動的に検査できないからunsafeと呼ばれるわけで、そこで人間が失敗すると運が良ければいつかunsoundをタイトルに含むバグレポートが飛んでくるが運が悪いと静かに壊れたままになる
Masanori Ogino 𓀁 [email protected]
unsafeが問題というよりはunsafeの外から見たときに満たすべき事前条件・事後条件・不変条件を破って全体がunsoundになるのが問題と考えています
Masanori Ogino 𓀁 reblogged at 6 years ago
Masanori Ogino 𓀁 reblogged at 6 years ago
Masanori Ogino 𓀁 reblogged at 6 years ago
裾 namachan10777
unsafeを0にする派閥見るけどunsafe使いまくっていいと思うんですよね。本当にどうでもいい処理までプログラマが注意を払うのが馬鹿らしいという話であって、クリティカルな領域は人間が安全性保障すればいいと思う
Masanori Ogino 𓀁 [email protected]
私も確信はなくて、せいぜい検査器が制約を若干緩く仮定して検査し終えるまでの過程が変わるかもしれない程度で、検査に成功するか失敗するかがそこで変わる例が念頭にあったわけではないです。ごめんなさい
Masanori Ogino 𓀁 reblogged at 6 years ago
sksat sksat
あと後者の反論よく分かっていません（検査アルゴリズム上異なる気がするのは分かるがそれでどう問題が起こるのかよくわからず