■ このスレッドは過去ログ倉庫に格納されています
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 ★