2ちゃんねる スマホ用 ■掲示板に戻る■ 全部 1- 最新50    

■ このスレッドは過去ログ倉庫に格納されています

Rust Part7

1 :デフォルトの名無しさん:2019/07/14(日) 23:31:47.54 ID:PySyhRf9.net
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:50:52 ID:lnEeuZyw.net
actix-webの件はどうなるんかな
Rustが原因なわけじゃないけど、コミュニティの問題として見られるだろうし、使ってる側としては気が重い

954 :デフォルトの名無しさん:2020/01/20(月) 22:55:48.60 ID:lnEeuZyw.net
今見たらリポジトリ復活してた

955 :デフォルトの名無しさん:2020/01/20(月) 23:27:00.65 ID:HxwZGjH+.net
別の人が引き継ぐみたいだね

956 :デフォルトの名無しさん:2020/01/20(月) 23:44:36.38 ID:Y1i1RW21.net
MSはサポートしないの?

957 :デフォルトの名無しさん:2020/01/21(火) 11:08:07 ID:tYXdVzB6.net
むしろMSがサポートするの嫌だろ

958 :デフォルトの名無しさん:2020/01/21(火) 12:35:10.79 ID:USbDfMqQ.net
>>949
まさに使い捨てコーダーωωω
https://www.youtube.com/watch?v=7VH-N-dsq3Y

959 :デフォルトの名無しさん:2020/01/21(火) 15:22:48 ID:KlYj5Sls.net
>>951
社会的に見たらいずれにしろマイナス

960 :デフォルトの名無しさん:2020/01/22(水) 04:33:49 ID:/l43RMQj.net
>>956
そもそも前メンテナがMS社員だぞ

961 :デフォルトの名無しさん:2020/01/22(水) 14:52:21 ID:rj2HkyIb.net
>>960
メンテナがMS社員で
MS内部でもactix-webをproductionで使うプロジェクトが進んでた
そういう状況でunsafe叩きに嫌気が指してメンテナが降りたのに対して
MSはサポートに乗り出さないのだろうか?

と書けば理解できるかな?

962 :デフォルトの名無しさん:2020/01/22(水) 16:14:36.89 ID:Q1SWDCUb.net
MS社員はろくなのいないよな
メンタル弱かったらOSSすんなよ

963 :デフォルトの名無しさん:2020/01/22(水) 17:57:54.25 ID:P151XVeS.net
一人がそうだからって全てそうと言える頭どうなってんだろうな

964 :デフォルトの名無しさん:2020/01/22(水) 19:23:08 ID:Zee9zwDz.net
Rust学べばCも学んだことになるだろうか

965 :デフォルトの名無しさん:2020/01/22(水) 19:24:15 ID:rFx4FWy6.net
天文学者と物理学者と数学者がスコットランドで休暇を過ごしていた。列車の窓から眺めていると、平原の真ん中に黒い羊がいるのが見えた。

天文学者:なんてこった!スコットランドの羊はみんな真っ黒なんだね。
物理学者:違う違う。せいぜい何匹かが黒いだけさ。
数学者:(天を仰ぎながらやれやれという調子で、抑揚を付けて)スコットランドには、少なくとも1つの平原が存在し、そこに1匹の羊が居て、さらにこっち側の片面が黒いということが分かるだけさ。

966 :デフォルトの名無しさん:2020/01/22(水) 19:30:05 ID:uoDMOHZt.net
>>964
いいえ
Cの真髄はメモリ破壊のデバッグにあります

967 :デフォルトの名無しさん:2020/01/22(水) 20:24:51 ID:OSofFadI.net
rust,宗教化しとるな。

968 :デフォルトの名無しさん:2020/01/22(水) 20:34:35.15 ID:Zee9zwDz.net
>>966
メモリセーフなRustでは不可能な(あるいは可能だが困難な)ことがCなら出来るって意味?

969 :デフォルトの名無しさん:2020/01/23(木) 13:06:23.52 ID:VWfJLmDE.net
Cを完全に理解していてCで完全なコードが描けるならRust要らん
逆は無理

970 :デフォルトの名無しさん:2020/01/23(木) 13:10:54.97 ID:XbPKjga7.net
Cで完全なコード書ける人いるのかという問題

971 :デフォルトの名無しさん:2020/01/23(Thu) 13:12:17 ID:qWVF2TJJ.net
いるだろ

972 :デフォルトの名無しさん:2020/01/23(Thu) 14:25:07 ID:Mmo4oq/r.net
何万行書いても一切ケアレスミスしない人とかもはや人間ではないのでは…

973 :デフォルトの名無しさん:2020/01/23(Thu) 14:58:11 ID:77XEoAHk.net
人の命がかかってる以上、高々数万行でミスを犯すわけにはいかないだろ。

974 :デフォルトの名無しさん:2020/01/23(Thu) 15:25:12 ID:s8tAWRMy.net
そんなクリティカルなところにCなんて不安全な言語は使われない

975 :デフォルトの名無しさん:2020/01/23(木) 15:46:41.21 ID:9sgUs0f4.net
完全な仕様が書けるなら
その仕様を完全にテストすることも可能だろうし
その範囲内で完全だと言えるコードは書けるだろう

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

976 :デフォルトの名無しさん:2020/01/23(Thu) 16:27:27 ID:77XEoAHk.net
俺は完全な仕様が書ける。

977 :デフォルトの名無しさん:2020/01/23(Thu) 17:33:46 ID:BJTKYILD.net
「人間の能力は有限であるし、ミスもする」と言う認識がない奴ほど危険
このタイプ日本人に結構居るんだよな

978 :デフォルトの名無しさん:2020/01/23(Thu) 21:06:17 ID:9sgUs0f4.net
>>976
じゃ試しに君が考える「完全な仕様」の仕様を定義してみて

979 :デフォルトの名無しさん:2020/01/23(木) 22:14:21.71 ID:1UIl+AJY.net
「俺は気を付けて書いてるから絶対ミスしない」なんて認識の人が書いたコードに命預けたくないなぁ。

980 :デフォルトの名無しさん:2020/01/23(木) 23:24:43.12 ID:DK2TOstn.net
入力を受け付けず、処理をせず、出力をしない

981 :デフォルトの名無しさん:2020/01/23(木) 23:42:34.70 ID:cHzm9I9L.net
そこまで安全性気にするならGC使えや。
バカがrust使うよりもよっぽど安全だぞ。

982 :デフォルトの名無しさん:2020/01/23(木) 23:47:09.63 ID:nX/KPrtD.net
>>979
でも「俺は神様じゃないからミスはあるかも」なんて認識の人が書いたコードにも命預けたくはないな。

983 :デフォルトの名無しさん:2020/01/23(木) 23:55:44.60 ID:9sgUs0f4.net
>>980
一応突っ込んでおくけど
「完全な仕様とは何か」ってことを
仕様として定義してみてって話だぞ

984 :デフォルトの名無しさん:2020/01/24(金) 00:16:37.07 ID:rwHFQKuH.net
>>982
そんな認識の医者に命預けてるだろ
私失敗しないので、なんて無責任なこと言う医者はいない

985 :デフォルトの名無しさん:2020/01/24(金) 01:27:12.03 ID:g1BGl0hu.net
ゲーデルの不完全性定理により以下略

986 :デフォルトの名無しさん:2020/01/24(金) 01:38:54.34 ID:+Rr3vO1D.net
「ミスしてるかも」と思うからテストするんじゃないの?
絶対ミスしないなら、書いた瞬間にテストなしでリリースできるはずなわけで。

987 :デフォルトの名無しさん:2020/01/24(金) 01:48:15.59 ID:M35o3kEk.net
そんな心の弱い人に任せられないわ。
まず精神科受診してきて。

988 :デフォルトの名無しさん:2020/01/24(金) 07:59:29 ID:A/8ugPLP.net
「私は強い、必ず成功する。バグについて心配するのは誤りである」
「日本人はもともと繊細なのである。これだけ注意深さを持ちながら、バグに困るなどというのは、ありえないことだ」

989 :デフォルトの名無しさん:2020/01/24(金) 08:03:08 ID:HOssbx9V.net
http://plv.mpi-sws.org/rustbelt/
みたいに、rustその物と標準ライブラリを論理的な正当性を確認しようとしているプロジェクトもあるよ。
また、coqで書いたものをrustに変換する
https://github.com/pirapira/coq2rust
というのももあった。

990 :デフォルトの名無しさん:2020/01/24(金) 08:03:15 ID:e4qsn6ol.net
じゃあ「俺は気を付けてテストしたからミスは残ってない」ならどうだろう

991 :デフォルトの名無しさん:2020/01/24(金) 08:06:37.28 ID:rwHFQKuH.net
テストではバグが無いことを証明できない

992 :デフォルトの名無しさん:2020/01/24(金) 09:24:09.09 ID:NJOcoGsq.net
形式証明って流行ってんのかね

993 :デフォルトの名無しさん:2020/01/24(金) 11:48:17 ID:9oO1hUHl.net
Rust part8
http://mevius.5ch.net/test/read.cgi/tech/1579834072/

994 :デフォルトの名無しさん:2020/01/24(金) 12:00:03 ID:ytRnz1Ft.net
>>979
>>982
アポロが50年間月へ行くのを諦めてる(躊躇してる)のもそれが原因らしいな

995 :デフォルトの名無しさん:2020/01/24(金) 12:01:25 ID:ytRnz1Ft.net
>>980
>>983
kneet最強ですね

996 :デフォルトの名無しさん:2020/01/24(金) 20:21:57.21 ID:f1L6KzBl.net
失敗しないと言い張る糞医者だったらセカンドオピニオンを薦める医者のが信用できるわ。

997 :デフォルトの名無しさん:2020/01/24(金) 20:47:01 ID:n3CLQrIG.net
>>993
サンキュウー

998 :デフォルトの名無しさん:2020/01/25(土) 09:23:43 ID:yPlwm7j6.net
埋め

999 :デフォルトの名無しさん:2020/01/25(土) 09:24:03 ID:yPlwm7j6.net
うめ

1000 :デフォルトの名無しさん:2020/01/25(土) 09:24:14 ID:yPlwm7j6.net
ウメ

1001 :デフォルトの名無しさん:2020/01/25(土) 09:24:30 ID:yPlwm7j6.net
ume

1002 :2ch.net投稿限界:Over 1000 Thread
2ch.netからのレス数が1000に到達しました。

総レス数 1002
216 KB
掲示板に戻る 全部 前100 次100 最新50
read.cgi ver 2014.07.20.01.SC 2014/07/20 D ★