Rustアンチスレ (202ﾚｽ)
Rustアンチスレ http://mevius.5ch.net/test/read.cgi/tech/1509028624/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
45: デフォルトの名無しさん [] 2020/03/25(水) 01:29:02.87 ID:COJzGufp Rustは、コンパイラ時エラーに悩まされる反面、実行時エラーに悩まされるのを減らす などと言われる。 しかし、コンパイル時エラーが出ると言うことは、裏を返せば、書けないアルゴリズムが存在するということだ。 直感的ではない回りくどい書き方が必要となり記述量が多くなる。 他の言語では好きな書き方が出来て、それはどれも正解だが、Rustでは正解が非常に狭くなる。 正解が狭いことがエラーを減らすなどという人がいるが、実際には、Rustは 書けるアルゴリズムが狭い、と言うことなのである。 これは言語設計の問題である。 なお、ここで言っているアルゴリズムは、全体的なものではなく、細かいミクロ的なものである。 通常の言語では、1つの仕事を細かい変数の使い方まで含めれば数万通り以上に書けるだろう。 そして、そのどれもが正解であり、結果が正しくバグも無いのだから、内のどれかが悪い書き方という ことは特にない。 ところが、Rustでは、その大部分の書き方が出来ないのである。 駄目だから敢えてできなくしているのではなく、Rustが設計上、書けないアルゴリズムがあるということに他ならない。 つまり、Rustは書けるアルゴリズムが、本来コンピュータが書けるアルゴリズムの内の、非常に狭いサブセットに限られてしまうということである。 これは、Rustの大きな欠陥である。 http://mevius.5ch.net/test/read.cgi/tech/1509028624/45
46: デフォルトの名無しさん [sage] 2020/03/25(水) 01:29:24.10 ID:COJzGufp >>45 「駄目な書き方だからエラーにしている」 と言うのは間違いで、正しくは、 「Rustコンパイラの静的解析能力では、書き方を非常に限定しないと 正しいことを保障できなかったり、自動化できなかったりするため、 しょうがなく狭い書き方しか出来なくしている」 と言うことに他ならない。 人間には脳内の静的解析で明らかに正しいことが分かる書き方でも、 Rustコンパイラではでは同じことができないため、敢えて 変数束縛、借用、単一参照など、コンパイラでも解析できる程度の 範囲に書き方を限定して無理やり人間のプログラミングの可能性を 狭めているに過ぎない。 http://mevius.5ch.net/test/read.cgi/tech/1509028624/46
47: デフォルトの名無しさん [sage] 2020/03/25(水) 01:31:01.16 ID:COJzGufp >>43 Rustは、Haskellから多くを借りてきているらしいから、Haskellと同じ 道をたどると言う予想はあながち間違ってない。 http://mevius.5ch.net/test/read.cgi/tech/1509028624/47
48: デフォルトの名無しさん [sage] 2020/03/25(水) 01:41:15.64 ID:COJzGufp Rustは表面的に使うだけなら、まあ、C++が使えるプログラマなら、大体使えなくは無いだろう。 しかし、自分で独自にリンクリストを作ろうと思うと事態は一変する。 そこまで深く入った人ほど、Rustは難しい言語だと感じるはずで、 RustがC++程度で理解できると思ってる人は、99%、浅い所までしか使ってない と言えよう。 http://mevius.5ch.net/test/read.cgi/tech/1509028624/48
50: デフォルトの名無しさん [sage] 2020/03/25(水) 12:40:37.43 ID:COJzGufp >>49 RAD言語ならそれで良いが、システム言語では駄目。 http://mevius.5ch.net/test/read.cgi/tech/1509028624/50
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.019s