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/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秒