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

**デフォルトの名無しさん** · 2022/08/29(月) 11:22:16.48

スレタイ以外の言語もok

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

**デフォルトの名無しさん** · 2022/09/06(火) 21:02:15.19

>>355
immutableかmutableかの区別宣言は絶対に必要だから
あとは各言語でそれをどのように表現するかだけでしょ
それをvar val let const など各言語で色んな表現の使い分けがあり更に引数でどうするかだけ
>>241のケースも考慮するとRustのmut付加方式がベストな解決かな

**デフォルトの名無しさん** · 2022/09/06(火) 21:05:47.04

ん？
パラメータのいわゆる参照渡しの話なんだけどな

**デフォルトの名無しさん** · 2022/09/06(火) 21:17:25.60

ponylangだとbehaviorが終わるごとに該当アクターでGCを回すからプログラムとしては停止しないんだけども、これを並列GCですって言うのもなんだかなといった風情

**デフォルトの名無しさん** · 2022/09/06(火) 21:21:35.81

>>355
>>357

何が ? なのかも少し詳しく

**デフォルトの名無しさん** · 2022/09/06(火) 21:31:19.57

MPIバリバリ使ってるけど競プロの問題を解くようなタスクでは使わないよ
課題設定があまりにも違い過ぎる

**デフォルトの名無しさん** · 2022/09/06(火) 21:37:52.05

>>357
Rustはその2種類の区別もmutの位置で区別できてるね

①引数が値渡しで来て関数内で値を書き換える場合
例: fn func1(mut x: i32) { …
　→値渡しなので呼び出し元には影響なし

➁引数が参照渡しで来て関数内で参照元を書き換える場合
例: fn func2(x: &mut i32) { …
　→可変参照渡しなので呼び出し元の対象は書き換わりうる

**デフォルトの名無しさん** · 2022/09/06(火) 22:22:04.19

あんた上手に振る舞えって言われてたやつだろ
Rustは出来るじゃねえよw 当たり前だ
お前が議論を理解出来てなかっただけだろ
そういうところが周りをイラつかせてるんだぜ

**デフォルトの名無しさん** · 2022/09/06(火) 22:30:02.86

>>361
> Rustはその2種類の区別もmutの位置で区別できてるね

二種類の区別？

> 例: fn func1(mut x: i32) { …
> 例: fn func2(x: &mut i32) { …

これリファレンスかどうかってmutの位置関係ある？
Rustよくわからんけど & つけたらリファレンスになるだけじゃないの？
何の話を俺にしたいの？

>>359
Nimの参照渡しの表現に見覚えあるわってレスしただけなんよ俺はｗ

**デフォルトの名無しさん** · 2022/09/06(火) 22:34:57.09

Rustだと両方ができて当たり前だが
プログラミング言語の中には
値を渡すか参照を渡すかをプログラマーが選べない言語も意外と多い
全てがどちらかに決められていたり
型によって各々どちらかに決められたり
メジャーな言語でも制限があったりする

**デフォルトの名無しさん** · 2022/09/06(火) 22:40:49.84

>>363
Rustは2種類の参照渡しがある
Tを参照元の型とすると
&T が(可変じゃない)参照
&mut T が可変参照
だから貴方が書いた>>355の話と同じじゃないかな

**デフォルトの名無しさん** · 2022/09/06(火) 22:43:24.65

>>362 >>364 本当だ自分の勘違いを棚に上げている

**デフォルトの名無しさん** · 2022/09/06(火) 22:44:16.65

パスカル書いてた人なら
「パスカルなついｗ　引数んとこにvarって書いてたなｗ」
で終わる話
皆の衆なんか混乱させてすまんかったな(´・ω・｀)

**デフォルトの名無しさん** · 2022/09/06(火) 22:47:53.44

上手いね見習いたまえ

**デフォルトの名無しさん** · 2022/09/06(火) 22:53:11.35

複オジに相手にしてもイライラするだけやぞ
もう少しスルー力の鍛えようや

**デフォルトの名無しさん** · 2022/09/06(火) 22:53:17.60

可変参照を渡すか可変じゃない参照を渡すかの区別がない言語もある
区別がある言語でもさらに2種類に分かれて
呼び出される関数でその参照が可変かどうか区別するだけの言語と
呼び出し側でも渡す参照が可変かどうか区別できる言語に分かれる
それら3種類のうち最後のタイプの言語が最も安全にプログラミングできる

**デフォルトの名無しさん** · 2022/09/06(火) 22:58:14.58

野放しは危険やで NGワードでtag付けする?
>>NNN複オジ

**デフォルトの名無しさん** · 2022/09/06(火) 23:04:31.77

&Tを渡すか&mut Tを渡すかを渡す側で区別できない言語だと書き換えられちゃうのか分からない点で困るね
その場合でも呼び出す関数の引数宣言を見に行けばいいけど、そこにも可変かどうか宣言できない言語もあって絶望的なことも

**デフォルトの名無しさん** · 2022/09/06(火) 23:10:15.88

自演でしょ
>>372
複オジ

**デフォルトの名無しさん** · 2022/09/06(火) 23:12:00.01

その点もRustが一番考えられてる仕様のような
色んな言語の中で一番ちゃんときちんと区別してくれていてプログラミングする上で安心感もあるなあ

**デフォルトの名無しさん** · 2022/09/06(火) 23:18:07.56

一番宣言
>>374
複オジ

**デフォルトの名無しさん** · 2022/09/06(火) 23:23:59.02

ponyなら書き込みどころか読み込みまで制限できるぜ
参照の持ち方だけで6つもあるのやばいだろと思ったが減らせる見込みもないぜ

**デフォルトの名無しさん** · 2022/09/06(火) 23:27:00.72

>>376いいねこのスレにふさわしい

**デフォルトの名無しさん** · 2022/09/06(火) 23:29:15.38

Nim好きなんだけど何で売れんかね
pythonからの乗り換えに最適なんだが

**デフォルトの名無しさん** · 2022/09/06(火) 23:30:19.86

よく考えたらこれも組織票野党が投票率下がった方が有利なように、スレ乗っ取りの下地作り？
>>369複？オジ？

**デフォルトの名無しさん** · 2022/09/06(火) 23:30:47.03

ponyとか真面目な話がしたいならﾜｯﾁｮｲスレ行ったほうがいいよ
複おじをいじって遊びたいならここでいいけど

**デフォルトの名無しさん** · 2022/09/06(火) 23:34:47.24

昔は変数もmutableとimmutableの区別をしないのが多数派だった時代もあったそうだから
新しく作られた言語のほうが色々と新たな進化ができて有利なのかもね

**デフォルトの名無しさん** · 2022/09/06(火) 23:36:47.66

>>378いいねちょっと動かせるデモサイトで乗り換え例のようなものはあるの？

**デフォルトの名無しさん** · 2022/09/06(火) 23:39:56.37

>>376
マジ？
ponyで読み込みを制限して書き込みのみにするのはどの修飾子を使えばいいの？

**デフォルトの名無しさん** · 2022/09/06(火) 23:42:44.75

>>380いやこのスレが乗っ取られないことが重要 tag付けhelp me pls

**デフォルトの名無しさん** · 2022/09/06(火) 23:50:57.29

>>381そうそう設計時点での思想って重要増改築は面倒だからでも増改築できる柔軟性も必要

そろそろ落ちます tag付けhelp us pls

**デフォルトの名無しさん** · 2022/09/06(火) 23:55:28.57

Ponyで参照はsingle writer xor multiple readersが課されているためwriterがいる時は読み込みができない
つまりRustと同じ

**デフォルトの名無しさん** · 2022/09/07(水) 00:17:09.26

>>383
食いつかれると思ってなかったから少し語弊がある書き込みだったかもしれない
ponyは変数ごとにReference Capabilityという修飾子を持ってて、それで読み書きと変数をコピーしたときの権限を管理してる
読みを制限しながら書き込めるのはisoとtrn

>>386
Rustって変数の参照を作らせないって設定はできるんだっけ？
あと読み書きしないけど値の存在だけは確認したいときってどうすんの？

**デフォルトの名無しさん** · 2022/09/07(水) 00:39:18.74

ほとんどの言語はオブジェクトとかヒープで確保したものとか参照のみサポートが多いよね
参照を作らせなかったらどうやってアクセスするのだろう
移動しかないか

**デフォルトの名無しさん** · 2022/09/07(水) 01:29:02.34

>>388
へーRustにできないことがあるんだね
スタックかヒープなんて聞いてないよ

**デフォルトの名無しさん** · 2022/09/07(水) 02:20:15.23

Rustなら&selfメソッドを作らずにselfメソッドだけを用意すれば
その型は参照に対して全く働かずに移動に対してのみ使える型にすることはできるな
もちろんそのままだと移動で消費してしまい消えるのでそれを避けたい時Selfで再び自分を返すことになる
不便だが参照を全く使わずともその範囲で色々やれるようだ

**デフォルトの名無しさん** · 2022/09/07(水) 02:31:29.39

移動も聞いてないぞ

**デフォルトの名無しさん** · 2022/09/07(水) 03:01:09.81

>>391
参照を使わないなら値そのものを移動するしかないだろ
他に何を期待してるんだ？

**デフォルトの名無しさん** · 2022/09/07(水) 03:02:32.55

>>380
ここは複おじを育てるスレだからな
育成ゲームみたいなもん

**デフォルトの名無しさん** · 2022/09/07(水) 03:08:26.53

ははぁーん

聞かれたことに答えない
息をはくように話をそらす
それた話を修正しない
そもそも何を聞かれたかわかっていない

これって？

もしかして国語で苦労した？
tag付けて欲しい？

**デフォルトの名無しさん** · 2022/09/07(水) 03:19:36.97

Ponyでもconsumeにより参照を使わず移動になるよ

**デフォルトの名無しさん** · 2022/09/07(水) 03:25:07.36

それた話を修正しない

Goスレで論破されて敗走してきたんだ
でここに居つくために育成ゲームだとホザキ始めた

**デフォルトの名無しさん** · 2022/09/07(水) 04:13:08.28

なんのことやら
参照を全く使わないのは無理だけど
単独参照となり読み書き自由に専有できるのならあるよー
Ponyならiso
Rustなら&mut

**デフォルトの名無しさん** · 2022/09/07(水) 04:15:54.48

そらした話は修正しない
そもそも何を聞かれたかわかっていないフリ

Flutterスレ盛り上げてこいよ

**デフォルトの名無しさん** · 2022/09/07(水) 05:49:18.66

誰にも参照されてないのにGCされない現象を実現したいわけではなさそう
ということは「参照を作らせない」とはいえ参照は作れるんだよね

**デフォルトの名無しさん** · 2022/09/07(水) 05:54:23.55

そらした話は修正しない
すり替えた土俵ではRustと～は同等
そもそも何を聞かれたかなんて知らない。無意味気持ち悪い
参照とかGCの事は実はよく知らない。育成してくれ

Flutterスレ盛り上げてこいよ

**デフォルトの名無しさん** · 2022/09/07(水) 06:26:49.06

>>378
Pythonで十分だからじゃね
情報の多さが違う
Pythonは遅いのが欠点だけど遅いのが問題になることってそんなにないんだよねえ

**デフォルトの名無しさん** · 2022/09/07(水) 06:52:15.00

>>390
Rustの構造体は中身が非公開だからメソッド制限でいけるのか
失念してたわ
あとはtrnあたりの挙動を再現できるかだな

>>397
&mutだと新しい読み取り専用の参照が出てくるの防げなくない？

**デフォルトの名無しさん** · 2022/09/07(水) 06:53:00.83

どうしても速さが必要なところだけRustにするとしても
それ以外はPythonで十分な気がする

**デフォルトの名無しさん** · 2022/09/07(水) 07:00:12.32

>>403
実は速度の事、よく知らない
つい先日自動ベクトル化とかSIMDとか育成された。育成を要求した俺すごい

Flutterスレ盛り上げてこいよ

**デフォルトの名無しさん** · 2022/09/07(水) 07:13:06.99

>>386 >>397
GoスレでSIMDをふりかざしたのに論破された。更なる育成を要求する

Flutterスレ盛り上げてこいよ

**デフォルトの名無しさん** · 2022/09/07(水) 07:16:05.47

>>402
弱くなる方向は何も問題無いでしょう
しかもRustは参照のライフタイムもコンパイラが管理把握できているため大丈夫でしょう
Ponyはその分をプログラマーが細かく指定して更にrecoverなど変化させていくことで補うわけです

**デフォルトの名無しさん** · 2022/09/07(水) 07:18:00.16

>>399
ponyだとどの変数も参照だから最初の参照は作れる
で、その参照から新しい参照を複製するときに複製さきの権限を制御する

Rustだと最初に作る変数は値のはずだから雑に変えてる

**デフォルトの名無しさん** · 2022/09/07(水) 07:21:36.81

>>406
Rustはコンパイラが管理で安全 Pnoyはプログラマーの責任
Rustスレでビット幅なんて間違えていない。コンパイラが保証した

Flutterスレ盛り上げてこいよ

**デフォルトの名無しさん** · 2022/09/07(水) 07:23:19.72

ponyは面倒すぎて萎える
こんな参照の管理くらいコンパイラが自動的にやるべきで人間に押し付けるのは悪手

**デフォルトの名無しさん** · 2022/09/07(水) 07:30:00.20

>>409
参照とか永遠に分からなくてもコンパイラが保証してくれるRustすごい、俺すごい。成長した

Flutterスレ盛り上げてこいよ

**デフォルトの名無しさん** · 2022/09/07(水) 07:42:15.35

>>406
確かにborrow checkerも働くみたいだし機能上の問題はないようだね
とはいえ、元の発言は単独参照で読みを占有できると言ってるからね

**デフォルトの名無しさん** · 2022/09/07(水) 07:45:25.38

参照とかスタックとかヒープ、移動、元の発言なんて実はよく知らない。
所有権の複製こそ最善手
永遠に分からなくてもコンパイラが保証してくれるRustすごい、俺すごい。成長した
だがいつでも育成を要求する扉は開いている

Flutterスレ盛り上げてこいよ

**デフォルトの名無しさん** · 2022/09/07(水) 07:57:54.75

>>412
すみません、所有権の複製ってなんですか...?
clone()とかでオブジェクトをコピーすると、複製後のオブジェクトに対して、別の新しい所有権がただ一つ代入先の変数に束縛されるという認識だったのですが...

**デフォルトの名無しさん** · 2022/09/07(水) 08:06:19.67

>>413
ゴネれば相手が勝手に折れる
ゴネ権の複製こそ最善手
いつでも妥協を要求するカードを複製している

Flutterスレ盛り上げてこいよ

**デフォルトの名無しさん** · 2022/09/07(水) 08:09:45.92

>>387
＞読み書きしないけど値の存在だけは確認したいときってどうすんの？

Null安全な言語では値が存在しないことを表すNullなどを普通の型には代入できないことでNull安全性を実現している
そのためNullを代入できるNullableな型が用意されておりNullかどうかは値自体の読み書きとは別に可能な言語が多い

RustならばOption<T>がNullableな型でNullはNoneと表記する
Option<T>のメソッドis_some()かis_none()によって値自体の読み書きをせずに値の存在だけを確認できる

**デフォルトの名無しさん** · 2022/09/07(水) 08:19:14.45

>>415
ボールは投げ返した
メモリレイアウトがどう変わるか、何も知らなくてもコンパイルが通る範囲でRustが保証する
どうだ怖いか

Flutterスレ盛り上げてこいよ

**デフォルトの名無しさん** · 2022/09/07(水) 08:23:50.75

Rustは低レベルの対応も必要だから、mutable必要なんだろうけれど、理想はImmutableだけじゃないの？

**デフォルトの名無しさん** · 2022/09/07(水) 08:26:20.07

>>417
イミュータブルを使わないと再帰が増えてハードル上がるから

**デフォルトの名無しさん** · 2022/09/07(水) 08:34:10.43

同じforループでも

for (i = 0; i < 10; i++)
これは見るからにmutableだけど

for i in 0..10
これは毎回別のimmutableがやってくる感じ

**デフォルトの名無しさん** · 2022/09/07(水) 08:39:03.96

いいかげん俺ウザいだろ
tagが自然発生したぞ
どうだ怖いか

Flutterスレ盛り上げてこいよ

**デフォルトの名無しさん** · 2022/09/07(水) 09:44:51.32

イミュータブルはzero overhead abstractionとは対極だからな
特にRustの場合は関数型みたいにオブジェクトの一部を書き換える度に新しいオブジェクト作るとかやってたら細切れに解放が必要になってコンパイルも実行もクソ効率悪そう

**デフォルトの名無しさん** · 2022/09/07(水) 10:24:02.90

>>241
必要性もないコピーを部分可変にするアンパックは例が悪すぎる。let t = (0, 1, 2);として
let (a, mut b, c) = foo; こんな風に書くより
println!("{} {} {}", t.0, t.1+100, t.2);アンパックせず、このように書くか
let (a, b, c) = t;
println!("{} {} {}", a, b+100, c);アンパックしても即値計算ならわざわざmutは必要ないですよね
あるいはもっと複雑な算術する必要があるなら、単独でlet mut で、let mut b= t.1+100;
どっちにしてもlet (a, mut b, c) = foo; なんてほとんど使わないのではないか、なにより見た目が気持ち悪い。
これが最高だという人もいるけど、個人的にはなんかしっくりこないな
ほかの言語の多値戻り値のように()カッコさえなければ良いのに・・・・

**デフォルトの名無しさん** · 2022/09/07(水) 11:56:35.70

>>393
それめちゃくちゃしっくりくる
誰もあんな嫌なやつ育てたくないわな

**デフォルトの名無しさん** · 2022/09/07(水) 13:08:54.29

>>401
俺仕事でNLPやってるけどトークナイザの実装がクソ遅いんだよ
英語だとRustで実装されたfastバージョンがあるんだけど
日本語対応のやつはゼロ
作らしてくれーと言ってるけど許可降りない

**デフォルトの名無しさん** · 2022/09/07(水) 13:44:11.23

>>424
日本語の字句解析なんてやったことあんの？
片手間でできるようなもんじゃないぞ
Cで書かれたありもの使えよ

**デフォルトの名無しさん** · 2022/09/07(水) 14:05:06.57

>>425
やったことあるから言ってるんだが？
それに今時の自然言語処理って転移学習は必須
そのためにはトークナイザとモデルを合わせなきゃいけなくてこれがめちゃくちゃ使いにくい

**デフォルトの名無しさん** · 2022/09/07(水) 14:09:08.42

>>426
やったことあるならその時のが残ってるだろ
それをプレゼンしてだめなら自分の思ってるほどの性能は出てないてことじゃね

**デフォルトの名無しさん** · 2022/09/07(水) 18:37:19.13

>>421
オブジェクト作るって、ヒープのアロケーションを想定してる？

**デフォルトの名無しさん** · 2022/09/07(水) 19:13:42.89

いるよな、知りもしない癖に口出してくるやつ。

**デフォルトの名無しさん** · 2022/09/07(水) 19:20:29.73

>>428
所有権の複製こそ最善手

**デフォルトの名無しさん** · 2022/09/07(水) 20:04:27.92

>>429
論破されて自演はみっともないぞw

**デフォルトの名無しさん** · 2022/09/07(水) 20:06:49.94

今夜のAAPLの発表まで暇つぶし

早いもので2年か、改めて見る
Scalaが日本で衰退し始めている理由を説明します
https://www.yout
ube.com/watch?v=kFzLia7YZQU

**デフォルトの名無しさん** · 2022/09/07(水) 20:17:13.33

https://madnight.github.io/githut/#/pull_requests/2022/1

上げ幅で言うとC++が一番上がってるんだよね。

**デフォルトの名無しさん** · 2022/09/07(水) 20:18:37.12

C++は3年ごとに改定されるので、歴史ある言語でありながら、次世代言語でもあるんだよね。
素晴らしいことだと思います。

**デフォルトの名無しさん** · 2022/09/07(水) 20:21:49.10

3年ごとに改定って道路工事かよ
おいしい

**デフォルトの名無しさん** · 2022/09/07(水) 20:31:13.48

SDGs的に完成は最悪手
発注側も分かってる

Scalaは完成しちゃったの？

**デフォルトの名無しさん** · 2022/09/07(水) 20:40:06.02

Haskellも完成
Goはver2いつ出すんだレベル

**デフォルトの名無しさん** · 2022/09/07(水) 20:42:19.72

いい意味で
言葉足らずでした

**デフォルトの名無しさん** · 2022/09/07(水) 20:47:36.68

>>422
プログラミングをしたことがないからそんな発想になる
関数からタプルなどが返ってきて別々に使うなど日常茶飯事
例
let (tx, mut rx) = mpsc::channel(10);
個別にmut指定する仕様は尊い

**デフォルトの名無しさん** · 2022/09/07(水) 20:52:51.19

>>439
Goスレでpromise/channelの育成を要求して成長した

**デフォルトの名無しさん** · 2022/09/07(水) 20:58:01.38

>>440
Goにpromiseができたの？
Goスレ見に行くほど追ってないので知らんけど

**デフォルトの名無しさん** · 2022/09/07(水) 21:00:46.44

>>441
Rustの仕様は完成した
俺尊い

**デフォルトの名無しさん** · 2022/09/07(水) 21:14:05.84

>>442
Rustは公開されている山のようにあるTODOリストが常に少しずつ進行中
大きなことから小さなことまで機能追加でどんどん便利になっている

**デフォルトの名無しさん** · 2022/09/07(水) 21:28:44.94

機能追加はcrate/macroで起こってるだがcoreは封鎖した
Go動向を追う最善手はGoスレ見に行くことである
知らんけど

**デフォルトの名無しさん** · 2022/09/07(水) 21:36:37.03

そろそろ風呂に入ってくる
だが隙あらばスタックとヒープ mpscとスレッド安全の育成を要求する扉はまだ開いている乗り遅れるな

**デフォルトの名無しさん** · 2022/09/07(水) 21:44:22.20

>>444
外部crateの話は一切していなくて
Rust言語が日々進化しているとは
Rustコンパイラによる機能追加と改善
および標準ライブラリの機能追加を指す
もちろんcoreライブラリ部分にも追加やstable化などがある

**デフォルトの名無しさん** · 2022/09/07(水) 21:53:02.05

>>428
その人じゃないけどRustでは特に指定しなければオブジェクトなどもスタック上に作られるよ
例えばCのコードと同じ動作をRustで書かれた>>181のイテレータメソッドチェーンのコード
各イテレータ毎にそのオブジェクトがスタック上に作られるね
結果としてC言語でforを回したり関数ローカルのmax変数を使うのと同じ
そのため全く見た目が異なるRustコードとCで同等の生成コードが出来上がってるわけ

**デフォルトの名無しさん** · 2022/09/07(水) 22:26:11.82

>>447
>各イテレータ毎にそのオブジェクトがスタック上に作られる
スタックもヒープもasmもhardware levelは何も知らない。育成ry

**デフォルトの名無しさん** · 2022/09/07(水) 22:36:50.03

ヒープ利用は確保と解放操作が必要だから必ず遅い
スタック利用はスタックポインタの増減を関数の最初と最後でまとめてするだけで速い
さらに最適化でレジスタ利用になりうるから超速い

**デフォルトの名無しさん** · 2022/09/07(水) 22:37:48.00

>>447
職場でその言葉を知ったかしたら相手が勝手に納得しました。魔法のコトバ

育成無用ヒント無用

**デフォルトの名無しさん** · 2022/09/07(水) 22:41:11.76

>>449
隙をみて恥をかき捨てた事でたった今 1mm成長した。俺すごい

**デフォルトの名無しさん** · 2022/09/07(水) 22:54:26.21

>>449
重箱の隅だけど malloc/freeは最適化で消えることがあるから "必ず遅い" は言い過ぎ
ヒープ利用でもレジスタが使われることもある
https://godbolt.org/z/crxTse4vG

**デフォルトの名無しさん** · 2022/09/07(水) 23:04:02.99

>>452
重大なヒントleakかと思ったけど最低限で良かった
明日職場で知ったかしてもらう予定

**デフォルトの名無しさん** · 2022/09/07(水) 23:18:52.05

>>453
ボッチ自宅開発者だからオジが知ったかできる場所は5chだけ
リアルでやってたらここまで酷いことにはならない

**デフォルトの名無しさん** · 2022/09/07(水) 23:25:44.51

>>454またはPython職場でRust勉強会をしてて自分が一番詳しいと思われたい&
Rust使わせてくれない上司を見返したくて頑張ってるんだよ。
ウルウルくるぅ