次世代言語23 Go Nim Rust Swift Kotlin TypeScript

**デフォルトの名無しさん** · 2021/11/28(日) 16:59:19.16

スレタイ以外の言語もok

前スレ
次世代言語22 Go Nim Rust Swift Kotlin TypeScript
https://mevius.5ch.net/test/read.cgi/tech/1629590343/

**デフォルトの名無しさん** · 2022/03/21(月) 23:37:51.67

>>973
あまりにもデタラメすぎてむしろ苦笑
理解できなかったこと自体は仕方がないが
それにも関わらず他の言語をデタラメに叩くのはまともな人がすることではない

あまりにも間違いが多すぎて指摘しきれないが
例えば所有権はC++のスマートポインタ(unique_ptr/shared_ptr)で導入された概念
それなのになぜかC++にはスマポと書きながら所有権がなくRustのみに所有権と書いている
まずこの時点でC++の所有権とスマートポインタからして理解が出来ていない
さらにその後のRustに関することは妄想だらけになってしまっている

**デフォルトの名無しさん** · 2022/03/21(月) 23:38:20.57

>>977
変にrust叩きするのは恥かくだけなので
そのあたりでやめといたほうが

**デフォルトの名無しさん** · 2022/03/21(月) 23:51:09.41

>>973
貴方がC#に関して戦っている相手ID:BAdp3agq (>>966など)も同じくRustのアンチでRust関係スレで暴れているが
貴方は同じRustのアンチでもダメな彼より劣る
貴方は他の言語の知識も薄くRustについては何も理解しないまま嘘を書いている

**デフォルトの名無しさん** · 2022/03/21(月) 23:54:59.16

>>978
書き方が悪かったかもしれんが、
ブロックスコープで済み、それが最適な場所にすら所有権を強制して、
結果的に無駄に借用とかする羽目になってるのは事実だろ。

問題は、プログラミングでは大半の場合で「入れ子」が最適な事。
「投げ捨て」が向いてるのは、上から下に流れて終わり、のようなプログラムで、
サーバーは確かにそうだが。

**デフォルトの名無しさん** · 2022/03/21(月) 23:58:58.49

あの子みたいにまともに議論する気がないのはお話にもならないけど、
知識が足りないのはまあしょうがないやろ

全部わかってるひとなんてこんなスレには1人もいないだろうし

>>977
伝わらなかったみたいだけど、そうそう、Rustは手間を少なくする言語でもないよ

データ競合なくして型も省略しまくりたい、みたいなのだったらHaskellみたいに型推論がやたら強い言語とかもあるし

**デフォルトの名無しさん** · 2022/03/21(月) 23:59:10.41

>>981
入れ子って何？

**デフォルトの名無しさん** · 2022/03/22(火) 00:10:38.80

>>981
他の言語を批判したいなら、せめてもう少しは勉強したほうがいいよ
その意味不明な文章は理解不足が引き起こしている
もしどうしてもRustについて理解できないのならば、先にC++のunique_ptrを学んで所有権とは何かを理解すべき
あと他の人たちも指摘しているが「入れ子」や「投げ捨て」が意味不明

**デフォルトの名無しさん** · 2022/03/22(火) 00:14:23.89

>>982
なら何を目指してんのよ？
他に謳ってたのは「ゼロコスト抽象化」だが。

公式勝手訳日本語版まえがき、には
> 既に低レベルコードに取り組んでいるプログラマは、Rustを使用してさらなる高みを目指せます。
> 例えば、 Rustで並列性を導入することは、比較的低リスクです: コンパイラが伝統的なミスを捕捉してくれるのです。
一文目は素晴らしい。
が、二文目は、無いよりまし程度だし、そもそも無駄に手間が増えてる部分もあるから意味なくね？

**デフォルトの名無しさん** · 2022/03/22(火) 00:14:49.50

>>982
Rustを使うことで様々な手間が省けるのは事実
もちろん元の言語が何であるかによって、どんな手間が省けるようになるのか変わる
だから手間が省ける議論に関しては、比較対象を毎回固定しないと一般的な議論は無意味

**デフォルトの名無しさん** · 2022/03/22(火) 00:23:48.60

>>985
色んな言語やればわかるが
その並列性に関してはRustがベストで間違いない
データ競合が起きないことをRustは保証する
言いがかりをつけているだけの君の負けだ

**デフォルトの名無しさん** · 2022/03/22(火) 00:31:00.32

知識不足指摘されて意味のわからん逆ギレ起こすのは
同程度だったな

**デフォルトの名無しさん** · 2022/03/22(火) 00:37:24.63

Rustの利点はプログラミングがしやすいことに尽きるかな
とにかく書きやすくて全体の効率がいい
自分にとっては安全とか保証とかはオマケで付いてくる位置付け

**デフォルトの名無しさん** · 2022/03/22(火) 01:10:05.14

>>987
それについてはさんざん言ってきたが、同様に前書きには
> 伝統的にこの分野は難解で、年月をかけて
> やっかいな落とし穴を回避する術を --- (A)
> 習得した選ばれし者にだけ可能と見なされています。
> そのように鍛錬を積んだ者でさえ注意が必要で、 --- (B)
これも事実だが、逆に(A)が存在するのも事実なんだよ。
ただ、(B)も事実だから、やってくれる事に越した事はないが、
それでも「全部完璧にやってくれる」のでなければ丸投げは出来ない。
具体的に言えば、GCならメモリ管理一切しなくて済むけど、そういうわけでもないし、
並列時のロックや競合も完璧にはやってくれない（だろう）から、手間自体は大して減らないよ。

例えば(A)だけどさ、
> データ競合が起きないことをRustは保証する
実際Rustがどこまで検出出来るのか知らんが、データ競合を回避したいのなら、
そもそもディスパッチ前に全部解決してしまう
（共有部分に書き込み出来るのはメインスレッドだけにする、
ディスパッチ以降は不変、無理ならディープコピーを渡す）のがセオリーで、
この形式でメインスレッドからサブスレッドをこき使うのがC#のasync/awaitの形であり、
こう「正しく使えば」全く問題ないわけ。（上位構造で問題を解決する）
このセオリーを知らない＝『術を習得もしてないし選ばれてもない者』にはRustは役に立つかもしれんけど、それは、
> Rustを使用してさらなる高みを目指せます。
なら、嘘だね、という話だよ。術を修得してれば同じ事は既に出来てる。

だから何度も言ってるように、
Rustが得意（らしい）、細かく共有しないと無理か、爆速になるアプリは何？
(セオリー通りに構成した時に性能が出ないアプリは何？)
と聞いてきてたわけ。

馬鹿向けの杖ならいらねえ、な奴はいくらでもいるでしょ。
(俺が賢いというのではなく、ノウハウは既に溜まってるという意味で）

**デフォルトの名無しさん** · 2022/03/22(火) 01:12:15.32

>>985
Rustは性能、メモリ安全性、安全な並行性を目指して設計されているシステムプログラミング言語です
結果としてベアメタル環境でも利用可能です

>>986
そうっすね、同意するし、こだわりたい話でもないのでどうでもいいけど一応今回の手間に関しては >973 の文脈だよ

**デフォルトの名無しさん** · 2022/03/22(火) 01:29:51.72

>>990
C#の人かね
それならば習得すればRustの方が圧倒的に楽
後発言語なだけあって既存言語の問題点を解決しつつ良いところを洗練して採り入れてることが習得するとよくわかる

**デフォルトの名無しさん** · 2022/03/22(火) 01:38:14.59

>>991
> 結果としてベアメタル環境でも利用可能です
ちなみに、以下の

> Rustの非同期プログラミングで出来るようになること
> 組み込み
> https://tech-blog.optim.co.jp/entry/2019/11/08/163000
この「組み込み」は面白いと思ったよ。（妄想らしいが）
見た目ポーリングにしか見えない点が問題だが。（慣れかもしれんが）

**デフォルトの名無しさん** · 2022/03/22(火) 02:21:54.43

データ競合なんて言葉を使うから議論がかみ合わないのであって
例えばgolangでforループで逐次処理してた部分をgoroutine使って並列動作するよう修正したときに
うっかりループカウンタをgoroutine内でそのまま使ってしまって意図通り動かなくなったりすることがある
普通はテストなりで検出できるけど、条件が込み入ってくると検出するのが難しいバグの原因になるかもしれない
rustの場合こういったうっかりをコンパイル時にできるだけ検出できるように言語仕様が考えられている

rustを使えばあらゆるミスを検出できるわけではないけど、うっかりの入り込む余地を減らせるだけでも嬉しい人はいるだろう
逆にそんなうっかりはしないから好きに書かせてくれよという人もいるかもしれない

それぞれの考えに合った言語を選べば良い、と言ってしまうこのスレのテーマの否定になってしまうか

**デフォルトの名無しさん** · 2022/03/22(火) 02:41:35.79

>>991
その>>973を見てみたが意味不明すぎる

＞C：全部プログラマが管理しろ
＞C++：スマポ入荷しました
＞Rust：スマポと所有権（投げ捨て型）

C++が所有権を導入したことがunique_ptrとshared_ptrのスマポであるのに
なぜかスマポと所有権が別扱いになっている
さらに所有権が初めてRustで登場するのもおかしい
『投げ捨て型』に至っては何のことやら意味不明
C++もRustも理解していない人が妄想で批判しているようだが

**デフォルトの名無しさん** · 2022/03/22(火) 02:59:56.03

>>972
.NETのモデルの悪さを指摘されてそれを認められないのはお前だろｗｗｗｗｗ
俺はそれ以外の話をしてないんだよｗ向いてないよマジでｗ

**デフォルトの名無しさん** · 2022/03/22(火) 03:07:47.73

Rustのメモリ安全については、いかなる条件でも「保証する」と言われない限りは突っ込んだ人の負けだぞｗ
循環参照については、
https://doc.rust-lang.org/book/ch15-06-reference-cycles.html
を読んでそれに従って苦情を言えｗそうでないと反論にならないｗ

**デフォルトの名無しさん** · 2022/03/22(火) 03:24:04.52

次スレ
https://mevius.5ch.net/test/read.cgi/tech/1647887021/

**デフォルトの名無しさん** · 2022/03/22(火) 03:25:57.77

質問いいですか？

**デフォルトの名無しさん** · 2022/03/22(火) 04:14:24.11

だめです

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 113日 11時間 15分 5秒