Rust Part7

**デフォルトの名無しさん** · 2019/07/14(日) 23:31:47.54

Mozilla発のRust言語のスレ

公式
https://www.rust-lang.org/
https://blog.rust-lang.org/
https://github.com/rust-lang/rust

Web上の実行環境
https://play.rust-lang.org

前スレ
Rust Part6
http://mevius.5ch.net/test/read.cgi/tech/1532714678/

**デフォルトの名無しさん** · 2020/01/22(水) 20:24:51.49

rust,宗教化しとるな。

**デフォルトの名無しさん** · 2020/01/22(水) 20:34:35.15

>>965
メモリセーフなRustでは不可能な（あるいは可能だが困難な）ことがCなら出来るって意味？

**デフォルトの名無しさん** · 2020/01/23(木) 13:06:23.52

Cを完全に理解していてCで完全なコードが描けるならRust要らん
逆は無理

**デフォルトの名無しさん** · 2020/01/23(木) 13:10:54.97

Cで完全なコード書ける人いるのかという問題

**デフォルトの名無しさん** · 2020/01/23(木) 13:12:17.92

いるだろ

**デフォルトの名無しさん** · 2020/01/23(木) 14:25:07.96

何万行書いても一切ケアレスミスしない人とかもはや人間ではないのでは…

**デフォルトの名無しさん** · 2020/01/23(木) 14:58:11.16

人の命がかかってる以上、高々数万行でミスを犯すわけにはいかないだろ。

**デフォルトの名無しさん** · 2020/01/23(木) 15:25:12.24

そんなクリティカルなところにCなんて不安全な言語は使われない

**デフォルトの名無しさん** · 2020/01/23(木) 15:46:41.21

完全な仕様が書けるなら
その仕様を完全にテストすることも可能だろうし
その範囲内で完全だと言えるコードは書けるだろう

それは仕様で定義されてないからUBですねー、バグじゃないっすよー
あの時はそれで完全だと思ってたんすよねー(๑´ڡ`๑)w

**デフォルトの名無しさん** · 2020/01/23(木) 16:27:27.15

俺は完全な仕様が書ける。

**デフォルトの名無しさん** · 2020/01/23(木) 17:33:46.14

「人間の能力は有限であるし、ミスもする」と言う認識がない奴ほど危険
このタイプ日本人に結構居るんだよな

**デフォルトの名無しさん** · 2020/01/23(木) 21:06:17.64

>>975
じゃ試しに君が考える「完全な仕様」の仕様を定義してみて

**デフォルトの名無しさん** · 2020/01/23(木) 22:14:21.71

「俺は気を付けて書いてるから絶対ミスしない」なんて認識の人が書いたコードに命預けたくないなぁ。

**デフォルトの名無しさん** · 2020/01/23(木) 23:24:43.12

入力を受け付けず、処理をせず、出力をしない

**デフォルトの名無しさん** · 2020/01/23(木) 23:42:34.70

そこまで安全性気にするならGC使えや。
バカがrust使うよりもよっぽど安全だぞ。

**デフォルトの名無しさん** · 2020/01/23(木) 23:47:09.63

>>978
でも「俺は神様じゃないからミスはあるかも」なんて認識の人が書いたコードにも命預けたくはないな。

**デフォルトの名無しさん** · 2020/01/23(木) 23:55:44.60

>>979
一応突っ込んでおくけど
「完全な仕様とは何か」ってことを
仕様として定義してみてって話だぞ

**デフォルトの名無しさん** · 2020/01/24(金) 00:16:37.07

>>981
そんな認識の医者に命預けてるだろ
私失敗しないので、なんて無責任なこと言う医者はいない

**デフォルトの名無しさん** · 2020/01/24(金) 01:27:12.03

ゲーデルの不完全性定理により以下略

**デフォルトの名無しさん** · 2020/01/24(金) 01:38:54.34

「ミスしてるかも」と思うからテストするんじゃないの？
絶対ミスしないなら、書いた瞬間にテストなしでリリースできるはずなわけで。

**デフォルトの名無しさん** · 2020/01/24(金) 01:48:15.59

そんな心の弱い人に任せられないわ。
まず精神科受診してきて。

**デフォルトの名無しさん** · 2020/01/24(金) 07:59:29.01

「私は強い、必ず成功する。バグについて心配するのは誤りである」
「日本人はもともと繊細なのである。これだけ注意深さを持ちながら、バグに困るなどというのは、ありえないことだ」

**デフォルトの名無しさん** · 2020/01/24(金) 08:03:08.74

http://plv.mpi-sws.org/rustbelt/
みたいに、rustその物と標準ライブラリを論理的な正当性を確認しようとしているプロジェクトもあるよ。
また、coqで書いたものをrustに変換する
https://github.com/pirapira/coq2rust
というのももあった。

**デフォルトの名無しさん** · 2020/01/24(金) 08:03:15.00

じゃあ「俺は気を付けてテストしたからミスは残ってない」ならどうだろう

**デフォルトの名無しさん** · 2020/01/24(金) 08:06:37.28

テストではバグが無いことを証明できない

**デフォルトの名無しさん** · 2020/01/24(金) 09:24:09.09

形式証明って流行ってんのかね

**デフォルトの名無しさん** · 2020/01/24(金) 11:48:17.98

Rust part8
http://mevius.5ch.net/test/read.cgi/tech/1579834072/

**デフォルトの名無しさん** · 2020/01/24(金) 12:00:03.19

>>978
>>981
アポロが50年間月へ行くのを諦めてる(躊躇してる)のもそれが原因らしいな

**デフォルトの名無しさん** · 2020/01/24(金) 12:01:25.77

>>979
>>982
kneet最強ですね

**デフォルトの名無しさん** · 2020/01/24(金) 20:21:57.21

失敗しないと言い張る糞医者だったらセカンドオピニオンを薦める医者のが信用できるわ。

**デフォルトの名無しさん** · 2020/01/24(金) 20:47:01.10

>>992
サンキュウー

**デフォルトの名無しさん** · 2020/01/25(土) 09:23:43.44

埋め

**デフォルトの名無しさん** · 2020/01/25(土) 09:24:03.41

うめ

**デフォルトの名無しさん** · 2020/01/25(土) 09:24:14.79

ウメ

**デフォルトの名無しさん** · 2020/01/25(土) 09:24:30.39

ume

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 194日 9時間 52分 43秒