Rust Part7

レス数が1000を超えています。これ以上書き込みはできません。
2019/07/14(日) 23:31:47.54ID:PySyhRf9
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/
953デフォルトの名無しさん
垢版 |
2020/01/20(月) 22:55:48.60ID:lnEeuZyw
今見たらリポジトリ復活してた
2020/01/20(月) 23:27:00.65ID:HxwZGjH+
別の人が引き継ぐみたいだね
2020/01/20(月) 23:44:36.38ID:Y1i1RW21
MSはサポートしないの？
956デフォルトの名無しさん
垢版 |
2020/01/21(火) 11:08:07.76ID:tYXdVzB6
むしろMSがサポートするの嫌だろ
957デフォルトの名無しさん
垢版 |
2020/01/21(火) 12:35:10.79ID:USbDfMqQ
>>948
まさに使い捨てコーダーωωω
https://www.youtube.com/watch?v=7VH-N-dsq3Y
2020/01/21(火) 15:22:48.61ID:KlYj5Sls
>>950
社会的に見たらいずれにしろマイナス
2020/01/22(水) 04:33:49.88ID:/l43RMQj
>>955
そもそも前メンテナがMS社員だぞ
2020/01/22(水) 14:52:21.69ID:rj2HkyIb
>>959
メンテナがMS社員で
MS内部でもactix-webをproductionで使うプロジェクトが進んでた
そういう状況でunsafe叩きに嫌気が指してメンテナが降りたのに対して
MSはサポートに乗り出さないのだろうか？

と書けば理解できるかな？
961デフォルトの名無しさん
垢版 |
2020/01/22(水) 16:14:36.89ID:Q1SWDCUb
MS社員はろくなのいないよな
メンタル弱かったらOSSすんなよ
2020/01/22(水) 17:57:54.25ID:P151XVeS
一人がそうだからって全てそうと言える頭どうなってんだろうな
2020/01/22(水) 19:23:08.32ID:Zee9zwDz
Rust学べばCも学んだことになるだろうか
2020/01/22(水) 19:24:15.52ID:rFx4FWy6
天文学者と物理学者と数学者がスコットランドで休暇を過ごしていた。列車の窓から眺めていると、平原の真ん中に黒い羊がいるのが見えた。

天文学者：なんてこった！スコットランドの羊はみんな真っ黒なんだね。
物理学者：違う違う。せいぜい何匹かが黒いだけさ。
数学者：（天を仰ぎながらやれやれという調子で、抑揚を付けて）スコットランドには、少なくとも１つの平原が存在し、そこに１匹の羊が居て、さらにこっち側の片面が黒いということが分かるだけさ。
2020/01/22(水) 19:30:05.28ID:uoDMOHZt
>>963
いいえ
Cの真髄はメモリ破壊のデバッグにあります
2020/01/22(水) 20:24:51.49ID:OSofFadI
rust,宗教化しとるな。
2020/01/22(水) 20:34:35.15ID:Zee9zwDz
>>965
メモリセーフなRustでは不可能な（あるいは可能だが困難な）ことがCなら出来るって意味？
968デフォルトの名無しさん
垢版 |
2020/01/23(木) 13:06:23.52ID:VWfJLmDE
Cを完全に理解していてCで完全なコードが描けるならRust要らん
逆は無理
2020/01/23(木) 13:10:54.97ID:XbPKjga7
Cで完全なコード書ける人いるのかという問題
970デフォルトの名無しさん
垢版 |
2020/01/23(木) 13:12:17.92ID:qWVF2TJJ
いるだろ
2020/01/23(木) 14:25:07.96ID:Mmo4oq/r
何万行書いても一切ケアレスミスしない人とかもはや人間ではないのでは…
972デフォルトの名無しさん
垢版 |
2020/01/23(木) 14:58:11.16ID:77XEoAHk
人の命がかかってる以上、高々数万行でミスを犯すわけにはいかないだろ。
2020/01/23(木) 15:25:12.24ID:s8tAWRMy
そんなクリティカルなところにCなんて不安全な言語は使われない
2020/01/23(木) 15:46:41.21ID:9sgUs0f4
完全な仕様が書けるなら
その仕様を完全にテストすることも可能だろうし
その範囲内で完全だと言えるコードは書けるだろう

それは仕様で定義されてないからUBですねー、バグじゃないっすよー
あの時はそれで完全だと思ってたんすよねー(๑´ڡ`๑)w
975デフォルトの名無しさん
垢版 |
2020/01/23(木) 16:27:27.15ID:77XEoAHk
俺は完全な仕様が書ける。
2020/01/23(木) 17:33:46.14ID:BJTKYILD
「人間の能力は有限であるし、ミスもする」と言う認識がない奴ほど危険
このタイプ日本人に結構居るんだよな
2020/01/23(木) 21:06:17.64ID:9sgUs0f4
>>975
じゃ試しに君が考える「完全な仕様」の仕様を定義してみて
2020/01/23(木) 22:14:21.71ID:1UIl+AJY
「俺は気を付けて書いてるから絶対ミスしない」なんて認識の人が書いたコードに命預けたくないなぁ。
2020/01/23(木) 23:24:43.12ID:DK2TOstn
入力を受け付けず、処理をせず、出力をしない
2020/01/23(木) 23:42:34.70ID:cHzm9I9L
そこまで安全性気にするならGC使えや。
バカがrust使うよりもよっぽど安全だぞ。
2020/01/23(木) 23:47:09.63ID:nX/KPrtD
>>978
でも「俺は神様じゃないからミスはあるかも」なんて認識の人が書いたコードにも命預けたくはないな。
2020/01/23(木) 23:55:44.60ID:9sgUs0f4
>>979
一応突っ込んでおくけど
「完全な仕様とは何か」ってことを
仕様として定義してみてって話だぞ
983デフォルトの名無しさん
垢版 |
2020/01/24(金) 00:16:37.07ID:rwHFQKuH
>>981
そんな認識の医者に命預けてるだろ
私失敗しないので、なんて無責任なこと言う医者はいない
2020/01/24(金) 01:27:12.03ID:g1BGl0hu
ゲーデルの不完全性定理により以下略
2020/01/24(金) 01:38:54.34ID:+Rr3vO1D
「ミスしてるかも」と思うからテストするんじゃないの？
絶対ミスしないなら、書いた瞬間にテストなしでリリースできるはずなわけで。
986デフォルトの名無しさん
垢版 |
2020/01/24(金) 01:48:15.59ID:M35o3kEk
そんな心の弱い人に任せられないわ。
まず精神科受診してきて。
2020/01/24(金) 07:59:29.01ID:A/8ugPLP
「私は強い、必ず成功する。バグについて心配するのは誤りである」
「日本人はもともと繊細なのである。これだけ注意深さを持ちながら、バグに困るなどというのは、ありえないことだ」
2020/01/24(金) 08:03:08.74ID:HOssbx9V
http://plv.mpi-sws.org/rustbelt/
みたいに、rustその物と標準ライブラリを論理的な正当性を確認しようとしているプロジェクトもあるよ。
また、coqで書いたものをrustに変換する
https://github.com/pirapira/coq2rust
というのももあった。
2020/01/24(金) 08:03:15.00ID:e4qsn6ol
じゃあ「俺は気を付けてテストしたからミスは残ってない」ならどうだろう
990デフォルトの名無しさん
垢版 |
2020/01/24(金) 08:06:37.28ID:rwHFQKuH
テストではバグが無いことを証明できない
991デフォルトの名無しさん
垢版 |
2020/01/24(金) 09:24:09.09ID:NJOcoGsq
形式証明って流行ってんのかね
992デフォルトの名無しさん
垢版 |
2020/01/24(金) 11:48:17.98ID:9oO1hUHl
Rust part8
http://mevius.5ch.net/test/read.cgi/tech/1579834072/
993デフォルトの名無しさん
垢版 |
2020/01/24(金) 12:00:03.19ID:ytRnz1Ft
>>978
>>981
アポロが50年間月へ行くのを諦めてる(躊躇してる)のもそれが原因らしいな
994デフォルトの名無しさん
垢版 |
2020/01/24(金) 12:01:25.77ID:ytRnz1Ft
>>979
>>982
kneet最強ですね
2020/01/24(金) 20:21:57.21ID:f1L6KzBl
失敗しないと言い張る糞医者だったらセカンドオピニオンを薦める医者のが信用できるわ。
2020/01/24(金) 20:47:01.10ID:n3CLQrIG
>>992
サンキュウー
997デフォルトの名無しさん
垢版 |
2020/01/25(土) 09:23:43.44ID:yPlwm7j6
埋め
998デフォルトの名無しさん
垢版 |
2020/01/25(土) 09:24:03.41ID:yPlwm7j6
うめ
999デフォルトの名無しさん
垢版 |
2020/01/25(土) 09:24:14.79ID:yPlwm7j6
ウメ
1000デフォルトの名無しさん
垢版 |
2020/01/25(土) 09:24:30.39ID:yPlwm7j6
ume
10011001
垢版 |
Over 1000Thread
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 194日 9時間 52分 43秒
レス数が1000を超えています。これ以上書き込みはできません。
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況