次世代言語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/15(木) 00:32:04.75

ファブルって最初は絵が受け付けなくて読んでなかったけど、いざ読んでみたら面白かった。

**デフォルトの名無しさん** · 2022/09/15(木) 00:34:56.77

>>759
Rustの場合は常に安全が成立するから安全は選択肢ではない
アルゴリズムやデータ構造などを工夫することにより排他ロックなどを必要最小限にして効率化することはプログラマーの自由裁量
Rustにおいて安全と効率は両立できる

**デフォルトの名無しさん** · 2022/09/15(木) 02:14:17.68

Rust「統一教会のほうから来ました」

**デフォルトの名無しさん** · 2022/09/15(木) 08:27:21.28

Rustは教官付き教習車だから、コンパイラの言うとおりに運転しないとブレーキ踏まれて前に進めない。

ソースコードのマネージャーにとっては福音だけどな。自分でコーティング規約を用意してコーダーに強制しなくても、コーダーが自分勝手にプログラムしてトラブルになる可能性が減る。
コーダーがコーティングしやすいかどうか、とかどうでもいい。

企業がRustを推奨し始めたのは、企業がマネージャーサイドでソースコードの管理コストを減らしたいから。コーダーは言うこと聞くやつを連れてくればいいという発想だよ。

**デフォルトの名無しさん** · 2022/09/15(木) 08:31:31.13

>>762
統一教会は違くね？

**デフォルトの名無しさん** · 2022/09/15(木) 08:56:48.93

>>763
Rustはプログラマーに愛されている言語No.1しかも7年連続
快適なプログラミングのしやすさが特徴の一つ

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

>>707
grepに続いてtarも無い、と思ったらPATHから /bin が抜けてたわ。
/usr/bin にあるわけじゃないのか。

**デフォルトの名無しさん** · 2022/09/15(木) 10:01:50.79

お待たせしました(awesomeレス 1of2 ※)

Clojure StackOverflow >愛され言語ランキング上位　2つあるawesome-clojureがどちらもマメに更新されてる
　　　　CircleCIとかいくつかの実用サービスに使われてるのがすごい　「本物のREPL」(未確認)　LogSeq
　　　　Apple,CircleCI,Cisco,Cognitect,Nubank🏧,Walmart >使ってますが何か？ https://docs.google.com/spreadsheets/d/1jBQD-rzOeGeKgLjsQ21r4YfEHp8XOpB_vl6TGJEBj3g/edit#gid=0 🆕
Rust　　試食コーナーで食べてもらって狂喜乱舞
　　　　GAFAM >Rustエコシステムには投資しないトリクルダウン無し寡占する　GAFAM >だが今は試食タイムだ
　　　　GAFAM >「あま～～い」ってさけんで食レポしてる😏みんな食べに来てね😛
　　　　StackOverflow >愛され言語ランキング1位
　　　　JetBrains >Rustで作らしてくれーと言ってるけど許可降りない
　　　　KENTA >提灯コメント出さない
　　　　俺 >数学出来ないのでRustはキツイ規制の鶴亀算が史上最強
　　　　俺 >鶴亀算でRustフレームワークが充実することなんて無い
　　　　Rust >鶴亀算だけなら俺が安全性や正しさを確実に保証 unsafeは関知しないお前の責任だ
　　　　俺 >今はRustだけで良い。レベルアップはお断りだ
　　　　俺 >数学出来ないけど有能社員を指導したいとは思ってる
　　　　俺 >すべての理解が概念的概念的に理解すれば簡単だ
　　　　有能社員 >Rustは学習コストが高い割に使えない
　　　　有能社員 >C/C++を書けないとRustは書けない、Rustは意味なし
　　　　有能社員 >Rustは言語オタク二極化だと思ってたらHaskell衰退の道を追う
　　　　有能社員 >Rustには興味のアンテナ張るだけ先行投資なんてしない
　　　　現実派 >データ競合がコンパイル時点でゼロってことはない。JARO⚠案件だ 🆕
　　　　下っ端社員 >RustはGAFAMなんかより自動車ISO認証級(仮)の実績積み上げがないと、言い出すのも怖い😩 🆕
　　　　Rustは教官付き教習車だから、コンパイラの言うとおりに運転しないとブレーキ踏まれて前に進めない。 🆕

**デフォルトの名無しさん** · 2022/09/15(木) 10:04:34.27

お待たせしました(awesomeレス 2of2 ※)

D　　　 C言語と同等に高速で安全も満たす言語　better C/C++の先駆者　breaking changeは日常茶飯事　awesome-d 老舗の割にマメ
OCaml　関数型で速度を最優先するならこれ1択(or F#？)　StackOverflow >愛され言語ではない
F#　　　関数型最速はF#(実例根拠が待たれる)
Go　　　実稼働分野でバリバリ活躍中　GitHub PullReq >TypeScriptとGoが圧倒的
Scala　実稼働分野でバリバリ活躍中　KENTA >日本では衰退しました　ScalaでのNetflix分岐点(未確認)
Nim 　　試食コーナーでスルーされて意気消沈　英語できないので言語マニュアルの日本語訳がスゴい
　　　　Pythonからの乗り換えに最適(未確認実例が待たれる)
Pony　　開店前　唯一無二の売りがある模様 ripgrep並みの実例が待たれる　awesome-ponyが2年以上更新されていない
　　　　参照の持ち方だけで6つもある(Reference Capability)
　　　　behaviorが終わるごとに該当アクターでGCを回す
Haskell アカデミック勢が根強い　それ以外は衰退しました(未確認)
　　　　Tesla,Microsoft,Meta,GitHub,一流銀行🏧 >使ってますが何か？ https://serokell.io/blog/top-software-written-in-haskell 🆕
　　　　Tesla >We use Haskell to auto-generate C code that is compiled into vehicle🚗 firmware. 🆕
　　　　下っ端社員 >いい話だ。だが結局☪かよ 🆕
Julia　科学技術方面開拓中　StackOverflow >愛され言語ランキング上位
FORTRAN 科学技術方面で強い、しばしば1択
COBOL　金融機関方面では既存システムで根強い　それ以外は衰退しました
Lisp　　JavaScriptと変わらんブランディングした先人たちのマーケティング能力が驚き
　　　　惑星探査機🛰とか特殊な用途、身近なところでルンバ🤖がLisp 🆕
　　　　Awesome Lisp Company https://github.com/azzamsa/awesome-lisp-companies 🆕

※ジョーク集です。「未確認」表示の有無に関わらず真偽を保証するものではありません。

**デフォルトの名無しさん** · 2022/09/15(木) 10:16:05.31

>>763
これってrustに限った話ではないのでは
例えば今話題のgoの未使用変数をエラーにするとかは同じ考え方だよね

**デフォルトの名無しさん** · 2022/09/15(木) 10:17:45.56

>>768
C言語がないぞ

**デフォルトの名無しさん** · 2022/09/15(木) 10:18:10.05

>>768
C言語がないぞ

**デフォルトの名無しさん** · 2022/09/15(木) 10:39:25.20

>>769
Goは元々>>556の例を始めとして落とし穴があちこち多数仕掛けられている言語なので
まずは様々な落とし穴パターンをできるだけ多く習得して自分で責任を持って回避していかないとすぐに事故を起こしかねない言語でもある
だからそこで言う教官(コンパイラ)が指導ダメ出ししてくれないケースが多い中で未使用変数の件は親切に指導してくれる良い例

**デフォルトの名無しさん** · 2022/09/15(木) 10:59:43.56

>>769
これ実質的に自己責任論だから
人間はみんな自己だよねと言っても無駄で、自己はこの世に一人しかいないという考え方なのさ

**デフォルトの名無しさん** · 2022/09/15(木) 11:07:06.60

Rust を使用した Windows での開発の概要
https://docs.microsoft.com/ja-jp/windows/dev-environment/rust/overview

**デフォルトの名無しさん** · 2022/09/15(木) 12:17:06.07

なんでRust信者ってID変えんの？
自信ないからかな？

**デフォルトの名無しさん** · 2022/09/15(木) 12:24:52.85

>>765 >>769
『Rustの作法に慣れたコーダーなら』コンパイラにブレーキを踏まれて止まることも少なくて快適だろうけど、慣れていない初級者・初学者のストレスは半端無い。

絶壁の学習曲線はRustの重大な問題で、これを何とかしない限りはHaskellくらいの普及率が関の山かと。

**デフォルトの名無しさん** · 2022/09/15(木) 12:49:54.52

「教官、時速40キロで走っていると原付に追い抜かれて行きます。それに時間に遅れます!」
「奴は自己責任だ。お前は俺だけを見ろ」
「はい! あっ、事故っちゃいました、テヘ」
「ばっかも～ん。しょうがないやつだな」

Rust、愛され言語No.1

**デフォルトの名無しさん** · 2022/09/15(木) 13:02:27.27

>>776
初学者が躓きがちなところって例えばどこなんだろう
学習曲線が急という話はあるが実際に初心者が苦しんでる箇所が知りたいなぁ

>>777
これって具体的に何のことを揶揄してるの？
安全性のために効率性が損なわれるという論はあるけどスレで出てきた事例が配列の境界チェックくらいでコンパイラ関係ないという

**デフォルトの名無しさん** · 2022/09/15(木) 13:21:46.17

>>778
実効速度の事は揶揄してなくて、前半は>>681 >アイデアを誰より早く形にして価値がある
のことだと思うけど、
後半は手取り足取りでもChrome>>726でいう25%側で事故る(25%じゃ済まなくなる)、とか？

または愛されRust教官と生徒の...
大した意味はないと思う。

**デフォルトの名無しさん** · 2022/09/15(木) 14:34:36.53

まあ実際はrustで開発なんてほとんどしてないからな。
だから自信のない奴が無理矢理褒めてるんだよ。

**デフォルトの名無しさん** · 2022/09/15(木) 14:42:23.71

>>780
褒めてる側に怪しい人がいるのはそうだけど貶してる側も具体的な話に乏しくて印象だけで語っている人がいるような

**デフォルトの名無しさん** · 2022/09/15(木) 14:58:36.52

Rustは荒れるので話題転換

Clojure Haskell Lisp辺りの過去に一世風靡？した言語が先端分野で地道に使われ続けてるのは
単純に個別要因(研究者の好みとか)なのだろうか。
Lispくらいの歴史があるのならともかくClojure Haskellである必要性必然性が理解できない。

リストにあるNimも何を目指してるのか、何が得意なのか見えない。
Pythonからの乗り換えに最適、って出てくるのはNumpyも使ってないPythonコードの高速化例が主で、
この程度で「研究者の好み」に響くのか疑問

**デフォルトの名無しさん** · 2022/09/15(木) 15:09:17.30

率直に言うと、Nimには開発者、コミュニティの言語オタク感が、、(いい意味で)

**デフォルトの名無しさん** · 2022/09/15(木) 15:26:45.00

>>763
ソースコードのマネージャーw
妄想が過ぎるやろww
お前やっぱり複オジと同じ種類の人間やな

**デフォルトの名無しさん** · 2022/09/15(木) 15:28:52.49

>>782
エンジニアの単なる個人的な好みだよ
スタートアップの開発はだいたいエンジニア1人～せいぜい2,3人で始まり、作り方について外から誰も口出さないから、何でも好きなものを採用できる
とはいえあまり変なものは後からリプレースされることも多いが、あえて関数型使いたがるような奴は比較的優秀だから結果的に生き残りやすいんだろうね

**デフォルトの名無しさん** · 2022/09/15(木) 17:40:49.72

>>776
どの言語もそうだけど慣れの問題だけだよ
慣れるまでは躓きやすいけど
慣れてしまえばそこに何か支障があるわけではなく快適

もちろん手続き型言語しか使ったことがなかった人が関数型言語を始めれば　最初だけカルチャーショック的なものもあるかもしれない

Rustは従来の手続き型言語のバリエーションの範囲内であり難しい点はなにもない
最近は増えてる関数型プログラミングを積極的にサポートしているだけの普通の手続き型言語である

**デフォルトの名無しさん** · 2022/09/15(木) 18:14:28.13

ブレーキ云々は関数型ではなく静的型に責任がある
と理解するまでに10年単位の時間を消費してるのが現実

**デフォルトの名無しさん** · 2022/09/15(木) 18:19:41.49

lispはプロトタイプから本番に移行するに向いている的な事をどこかで見かけたんだけど、何か理由あるのかな？

本番であれば、今時は静的型付けの方が実行前にミスを減らせて良さそうって思うんだけど。

**デフォルトの名無しさん** · 2022/09/15(木) 18:30:04.54

lispで思い出される文章はこれ
http://practical-scheme.net/trans/beating-the-averages-j.html

**デフォルトの名無しさん** · 2022/09/15(木) 18:42:43.79

Concurrencyについては詳しくないんだけど
goはやっぱりつよいの？
erlangよりつよいの？

**デフォルトの名無しさん** · 2022/09/15(木) 18:55:22.88

>>786
マニュアル教習車の運転を「慣れの問題」と言っているようなもんだな。
最初はエンストしまくっていても、慣れればいつかは運転できるようになるわな。それがいつだか知らんけど。

**デフォルトの名無しさん** · 2022/09/15(木) 19:08:20.73

>>777
そういえば前スレでrustは原付（php）に速度で負けてたよね

**デフォルトの名無しさん** · 2022/09/15(木) 19:48:17.43

統一教会「Rustをお持ちしました」

**デフォルトの名無しさん** · 2022/09/15(木) 20:20:12.75

嫌いなものにはとりあえず統一教会と絡ませておけば批判したことにできる頭の具合が羨ましい

**デフォルトの名無しさん** · 2022/09/15(木) 21:03:43.45

統一教会「晋三を捧げよ」

**デフォルトの名無しさん** · 2022/09/15(木) 21:29:46.27

>>794
いやあ、それほどでも（照

**デフォルトの名無しさん** · 2022/09/15(木) 21:32:22.04

世界統一平和自民党から怒られるぞw

**デフォルトの名無しさん** · 2022/09/15(木) 21:55:28.22

マジか。

**デフォルトの名無しさん** · 2022/09/15(木) 22:18:19.78

>>788
common lisp とかだとあとから型書いてパフォーマンス上がる処理系とかあった気がするし、プロトタイプから色々柔軟に改修しやすいとかあったのかもね。

**デフォルトの名無しさん** · 2022/09/15(木) 23:09:10.28

次スレはこれらの言語を入れてください
Zig
https://ziglang.org/ja/
Jakt
https://github.com/SerenityOS/jakt

**デフォルトの名無しさん** · 2022/09/15(木) 23:18:38.32

バージョンが 1.0 に達していない言語は混乱するだけだから入れなくていいよ
必要なら専用スレを立てた方がいい

**デフォルトの名無しさん** · 2022/09/16(金) 00:51:51.14

genesisを入れろ

**デフォルトの名無しさん** · 2022/09/16(金) 01:45:52.39

ちゃんと>>1に「スレタイ以外の言語もok」と書かれているように
それ以外の言語の話もこのスレでは歓迎です

スレタイは文字数制限があるため全ての言語を列挙することはできません
もし話題の多い言語が出てくれば話題の少ない言語と交代することになるでしょう
登場して20年以上経つ古い言語はもちろん対象外です

**デフォルトの名無しさん** · 2022/09/16(金) 06:52:08.13

Rustを外せ（コッソリ

**デフォルトの名無しさん** · 2022/09/16(金) 06:56:42.28

ここが隔離スレだろ

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

Rustの話題はRustスレでいいだろ

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

>>796
彼女が企画もののAVに出てそう

**デフォルトの名無しさん** · 2022/09/16(金) 08:18:42.51

>>790
goは聞きかじりだけどもシングルスレッドのコードを気楽に拡張して同時実行にできることが売りに見える
erlangは最初から並列であることを求めてるから方向性が違う
どっちも強いは成り立つんじゃないかな

**デフォルトの名無しさん** · 2022/09/16(金) 10:19:44.03

お待たせしました(awesomeレス 1of3 ※)

Clojure StackOverflow >愛され言語ランキング上位　2つあるawesome-clojureがどちらもマメに更新されてる
　　　　CircleCIとかいくつかの実用サービスに使われてるのがすごい　「本物のREPL」(未確認)　LogSeq
　　　　Apple,CircleCI,Cisco,Cognitect,Nubank🏧,Walmart >使ってますが何か？ https://docs.google.com/spreadsheets/d/1jBQD-rzOeGeKgLjsQ21r4YfEHp8XOpB_vl6TGJEBj3g/edit#gid=0
Rust　　試食コーナーで食べてもらって狂喜乱舞
　　　　GAFAM >Rustエコシステムには投資しないトリクルダウン無し寡占する　GAFAM >だが今は試食タイムだ
　　　　GAFAM >「あま～～い」ってさけんで食レポしてる😏みんな食べに来てね😛
　　　　StackOverflow >愛され言語ランキング1位
　　　　JetBrains >Rustで作らしてくれーと言ってるけど許可降りない
　　　　KENTA >提灯コメント出さない
　　　　俺 >数学出来ないのでRustはキツイ規制の鶴亀算が史上最強　鶴亀算でRustフレームワークが充実することなんて無い
　　　　Rust >鶴亀算だけなら俺が安全性や正しさを確実に保証 unsafe☢は関知しないお前の責任だ
　　　　俺 >今はRustだけで良い。レベルアップはお断りだ　数学出来ないけど有能社員を指導したいとは思ってる　すべての理解が概念的概念的に理解すれば簡単だ
　　　　有能社員 >Rustは学習コストが高い割に使えない　C/C++を書けないとRustは書けない、Rustは意味なし
　　　　有能社員 >Rustは言語オタク二極化だと思ってたらHaskell衰退の道を追う　Rustには興味のアンテナ張るだけ先行投資なんてしない
　　　　現実派 >データ競合がコンパイル時点でゼロってことはない。JARO⚠案件だ
　　　　下っ端社員 >RustはGAFAMなんかより自動車ISO認証級(仮)の実績積み上げがないと、言い出すのも怖い😩
　　　　Rustは教官付き教習車だから、コンパイラの言うとおりに運転しないとブレーキ踏まれて前に進めない。
　　　　現実派 >具体的な話マダー？😡 >絶壁の学習曲線はRustの重大な問題 🆕

**デフォルトの名無しさん** · 2022/09/16(金) 10:22:00.77

お待たせしました(awesomeレス 2of2 ※)

D　　　 C言語と同等に高速で安全も満たす言語　better C/C++の先駆者　breaking changeは日常茶飯事　awesome-d 老舗の割にマメ
OCaml　関数型で速度を最優先するならこれ1択(or F#？)　StackOverflow >愛され言語ではない
F#　　　関数型最速はF#(実例根拠が待たれる)
Go　　　実稼働分野でバリバリ活躍中　GitHub PullReq >TypeScriptとGoが圧倒的
Scala　実稼働分野でバリバリ活躍中　KENTA >日本では衰退しました　ScalaでのNetflix分岐点(未確認)
Nim 　　試食コーナーでスルーされて意気消沈　英語できないので言語マニュアルの日本語訳がスゴい
　　　　Pythonからの乗り換えに最適(未確認 Numpy使ってないPythonコードの高速化例が主？) 🆕
Pony　　開店前　awesome-ponyが2年以上更新されていない
　　　　参照の持ち方だけで6つもある(Reference Capability)　behaviorが終わるごとに該当アクターでGCを回す
　　　　湧く沸くRust >High-Performance Safe Actor Programming https://news.ycombinator.com/item?id=25957307 🆕
Haskell アカデミック勢が根強い　それ以外は衰退しました(未確認)
　　　　Tesla,Microsoft,Meta,GitHub,一流銀行🏧 >使ってますが何か？ https://serokell.io/blog/top-software-written-in-haskell
　　　　Tesla >We use Haskell to auto-generate C code that is compiled into vehicle🚗 firmware.
　　　　下っ端社員 >いい話だ。だが結局☪かよ
Julia　科学技術方面開拓中　StackOverflow >愛され言語ランキング上位
FORTRAN 科学技術方面で強い、しばしば1択
COBOL　金融機関方面では既存システムで根強い　それ以外は衰退しました

**デフォルトの名無しさん** · 2022/09/16(金) 10:24:50.31

Lisp　　JavaScriptと変わらんブランディングした先人たちのマーケティング能力が驚き
　　　　惑星探査機🛰とか特殊な用途、身近なところでルンバ🤖がLisp
　　　　Awesome Lisp Company https://github.com/azzamsa/awesome-lisp-companies
　　　　プロトタイプから本番に移行柔軟に改修しやすい common lisp あとから型書いてパフォーマンスUp 🆕
　　　　思い出 >https://practical-scheme.net/trans/beating-the-averages-j.html >オジさん🧓は言語を変えない 🆕
C　　　 C言語がないぞ C言語がないぞ(大事なことだから2回) 🆕
php　　原付 >静的型はブレーキ🛵 俺にブレーキはない 10年経って分かった <matz😚 🆕
欧米企業「最初のバージョンは常に捨てられる」 🆕
　　　　「アイデアは価値がない、アイデアを誰より早く形にして価値がある」 🆕
Jakt　　https://github.com/SerenityOS/jakt 🆕
　　　　Memory safety, Math safety, performance, transpiles to C++, Inline C++ 🆕
Zig　　 https://ziglang.org/(ja/) en >英語勉強しろ話はそれからだ 🆕
Erlang　方向性が違うどっちも強い >お気楽Goはやっぱりつよいの？ 🆕
　　　　php >原付🛵より遅いぞ https://benchmarksgame-team.pages.debian.net/benchmarksgame/box-plot-summary-charts.html 🆕

※ジョーク集です。「未確認」表示の有無に関わらず真偽を保証するものではありません。

**デフォルトの名無しさん** · 2022/09/16(金) 10:25:11.62

病気の人かな
書き込むなよ

**デフォルトの名無しさん** · 2022/09/16(金) 14:24:20.93

>>jakt 追加は
Bounds checking, Sound null safety
try/catchは文
Dict Set TupleがPython並みに簡単この辺はlife-time-analysysに頼らないでARCで実行時管理してるからかな

**デフォルトの名無しさん** · 2022/09/16(金) 15:16:00.68

ARCメインの言語はいずれも遅いから興味ないな
とはいえZigの手動メモリ管理の面倒さと危険さは今の時代ニッチに終わるだろう

**デフォルトの名無しさん** · 2022/09/16(金) 15:25:53.62

あっちのスレでやりなよ
こっちは隔離スレ

**デフォルトの名無しさん** · 2022/09/16(金) 15:55:51.13

ﾜｯﾁｮｲスレのリンク見たら
Written on May 19, 2022 時点で >It’s two weeks old.
っていくらなんでもホヤホヤ過ぎでしょw

**デフォルトの名無しさん** · 2022/09/16(金) 16:35:54.10

https://awesomekling.github.io/Memory-safety-for-SerenityOS/
には
>Q: Why ARC (automatic reference counting) instead of a borrow checker?
>ARC allows the language to feel lightweight without constantly asking the user to make decisions about memory management.

Jakt作者の考えは、Rustの方こそメモリ管理に絶え間ない気配りが必要で、自動のフリして実際にはプログラマーの負担、という事

これも具体的な話がない
>ARCメインの言語は「いずれも」遅い

Rustは都合の良い例だけ持ち出して「境界チェックは消える」とか言いがち

**デフォルトの名無しさん** · 2022/09/16(金) 16:47:16.92

スマポの時点で自動じゃないわなｗ
循環参照はWeak使ってなんとかしてくれっていうね
あとライフタイムにも参照の排他にも
全部頑張って気をつけないといけないのは書き手

メモリはGCに押しつけてしまうのがスッキリなのかもね
そっちはそっちで工夫してねっていう分離ができてる
nimなんかはそこを交換可能にしてて清々しいよね

**デフォルトの名無しさん** · 2022/09/16(金) 17:31:52.57

メモリに気配りしたいからこそrustを使うのであってGCで良ければGC言語使えば良いよ

**デフォルトの名無しさん** · 2022/09/16(金) 17:39:38.21

>>819 == >>814 だろ

形勢が不利になって面倒くさくなった？

じゃなかったら「Zigの手動メモリ管理の面倒さ」-->「Rustは自動メモリ管理で簡単」
みたいな書き方を明示的に否定してくれ

そういうところがRustの胡散臭いところ

**デフォルトの名無しさん** · 2022/09/16(金) 17:50:54.65

プログラマーに負担と責任を押し付けるZigは安全を軽視している

**デフォルトの名無しさん** · 2022/09/16(金) 17:51:15.64

GC言語使いたいなら止めはしないけど
それならスクリプト言語使った方がマシだよ

**デフォルトの名無しさん** · 2022/09/16(金) 17:54:38.33

笑った >>819 == >>814 ==821==822 だろ何回線目？
Zigの話じゃなくて、「Rustは嘘ついてました」って謝罪しろよ

**デフォルトの名無しさん** · 2022/09/16(金) 18:01:54.76

ARC方式のSwiftはクソ遅い

**デフォルトの名無しさん** · 2022/09/16(金) 18:21:34.07

>>818
嫁や彼女が援交やってそうだな。

**デフォルトの名無しさん** · 2022/09/16(金) 18:26:14.43

プロレス終わった？

**デフォルトの名無しさん** · 2022/09/16(金) 18:28:16.66

GCはメモリ確保やコンパクションや解放をまとめてやりやすいからパフォーマンス出しやすい。
そのおかげでストップザワールドやGCスパイクも享受できる。
負荷を予測したい奴には向いてないかもな。
そういう意味ではGC言語はピーキーなんよ。
お前にはまだ早いかもしれん。

**デフォルトの名無しさん** · 2022/09/16(金) 18:32:35.16

>>824
swiftは問答無用でretain,releaseもつくからじゃんよ

**デフォルトの名無しさん** · 2022/09/16(金) 18:38:52.62

GCは～って言って思考停止してるとRustでも使っているepochとか知らなそう

**デフォルトの名無しさん** · 2022/09/16(金) 18:46:51.84

いずれGCがメモリレイアウトを動的に最適化したり必要に応じて確定的なメモリ解放を行うように動的にJITしたりするようになるから、究極的にはGCが勝利するだろうね

**デフォルトの名無しさん** · 2022/09/16(金) 18:48:15.45

Zigの良さがよくわからない
C言語より安全なのはわかるけどでもそれって結局Cでいいじゃんってなるよね
Rustみたいに静的メモリ安全は実現するのは端から諦めてC言語よりちょっと安全な言語を目指しているんだよね
本当にニッチって言葉が似合いすぎている
構文も無駄に複雑だし汚いし将来性ないと思う

**デフォルトの名無しさん** · 2022/09/16(金) 18:49:54.01

>>830
それ結構難しい話に聞こえるけど、具体的な進展があるの？

**デフォルトの名無しさん** · 2022/09/16(金) 18:52:48.51

>>831 ZigはBinary生成が優秀だから、依存dll/soとかクロスコンパイルとか。Rustでも使っているよ

**デフォルトの名無しさん** · 2022/09/16(金) 18:59:55.32

Zigは構文が好きじゃない
わかりにくいよね

**デフォルトの名無しさん** · 2022/09/16(金) 19:00:01.75

>>820
変なこと言ってる人と同一視するのは勘弁してくれ

**デフォルトの名無しさん** · 2022/09/16(金) 19:04:06.25

>>820
そういう決めつけで妄想してると統合失調症になるよ

**デフォルトの名無しさん** · 2022/09/16(金) 19:04:06.82

Zigは作者が会社辞めて専念してるから、華々しくブレイクしなくてもずっと続けてくコミットがすごい
「安全性」は流行っているからリップサービス。マインドは常に実行速度。キレイなBinary。低レイヤー。
構文はちょこちょこ変わるイメージ。ときどき触るだけだけと直ぐに昔のがコンパイル通らなくなる。

**デフォルトの名無しさん** · 2022/09/16(金) 19:13:49.58

Faster than Cが自慢なのはぶっ飛んでるように聞こえるけど、一時期あったVは嘘だったけど、Zigはときどき本当。
LuaJitでもHaskellでもハマる処理では「簡単な記述で」Cより速いときがある。やってみないとわからない。

**デフォルトの名無しさん** · 2022/09/16(金) 19:19:50.21

構文なんて飾りですよ。狭い特定の処理がたまたま「簡単な記述で」書けるかどうかだけ。今はまだ時々実験するくらいで十分。深入りは先の話。

**デフォルトの名無しさん** · 2022/09/16(金) 19:23:23.65

Zigの時代ｷﾀ━━━━(ﾟ∀ﾟ)━━━━!!

**デフォルトの名無しさん** · 2022/09/16(金) 19:24:40.95

>>830 これ嘘大袈裟かな？w

**デフォルトの名無しさん** · 2022/09/16(金) 19:25:42.72

まいいや

**デフォルトの名無しさん** · 2022/09/16(金) 19:35:28.83

>>830
それインクリメンタルコピーCGのことでは？

**デフォルトの名無しさん** · 2022/09/16(金) 19:36:49.01

今のところZig使うならCで良いかな
使う気にはなれないな

**デフォルトの名無しさん** · 2022/09/16(金) 19:54:10.89

ム板のゲハスレ

**デフォルトの名無しさん** · 2022/09/16(金) 20:01:08.19

すみませんZigはまだβ、Nimはver1.6という事で....

>>818
>nimなんかはそこを交換可能

NimのGC/ORC/ARCは興味深いですね
https://nim-lang.org/blog/2020/12/08/introducing-orc.html

もっと選べるようだけど、循環参照などデータ構造別に切り替えて混在出来るのかな？
https://nim-lang.github.io/Nim/mm.html

>>843 上記のリストに入ってますか？

**デフォルトの名無しさん** · 2022/09/16(金) 20:08:18.02

>>843 教えてください。検索すると30年位前の論文なんかも出てきて実現しているのかどうか、
それが>>830で言っているGCと一致しているのか、ちょっと理解が追いつきません....

**デフォルトの名無しさん** · 2022/09/16(金) 20:23:30.89

GCの研究が進んでよりよいものができるようになったとき
GC言語はそれをまんまと拝借できるから旨味あるよな

**デフォルトの名無しさん** · 2022/09/16(金) 20:34:49.53

>>848 そうなんです。
ただ >>843の「incremental copy garbage collector」が30年以上まえから未だに研究されているのは検索すればすぐにわかるのですが、
nimで選べるくらいの実用段階なのか、更には>>830で言っているものと一致しているのか、重要ですよね。
30年以上の研究なんて逆に絵に描いた餅に思えたりするので。

**デフォルトの名無しさん** · 2022/09/16(金) 20:51:30.89

GC活用するだけじゃなくて、スタックフレームからエスケープしにくくする仕組みがあると面白いと思うけどね。

Rustほどガチガチだとだるいから、エスケープをコントロールするスマポみたいなクラスを用意するとか。

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

GC以外だと、JVMや. NetなんかのVMも結構に改善してるんじゃない？

**デフォルトの名無しさん** · 2022/09/16(金) 21:21:31.00

GCもVMもどんどん改善してくれたまへ
JavaでHotSpotだのJITだの言い出したころワクワク感あったな
プログラマはプラットフォームに対してでなくて
これからはGCやVMに対してプログラミングをするだけでよくて
さらにGCやVMは誰かのおかげで勝手に改善されていくらしいという

**デフォルトの名無しさん** · 2022/09/16(金) 21:27:14.70

http://www.kmonos.net/alang/d/garbage.html

ガベージコレクトされたプログラムの方が高速です。これは直感に反するかもしれませんが、その理由は：

明示的なメモリ管理の際によく使われる手法は、参照カウントです。代入があるたびにカウントを増やしたり減らしたリソースを挿入するのは、速度低下の原因になっています。スマートポインタクラスでラップしても、速度的な解決にはなりません。
(またいずれにせよ、循環参照を削除できない参照カウント方式は、一般的な解決策ではありません。)

オブジェクトによって獲得されたリソースの解放には、デストラクタが使用されます。多くのクラスでは、このリソースとは割り当てられたメモリのことです。
GCを使えば、ほとんどのデストラクタが空になり、完全に削除してしまえます。

メモリ管理のためのデストラクタは、オブジェクトがスタックに置かれたときに影響が顕著になります。
例外が発生したときに、全てのスタックフレームでデストラクタが呼び出され、メモリを解放するような仕組みが必要となるのです。もしデストラクタが関係しなければ、例外を処理する特別なスタックフレームを設定する必要がなくなり、コードは高速に実行されます。

メモリ管理に必要なコードは全てを合わせるとちょっとした量になります。大きなプログラムになるほど、キャッシュに入らない部分が増え、ページングが多く発生し、プログラムが遅くなります。

GCは、メモリが残り少なくなってきたときのみ実行されます。メモリに余裕があれば、プログラムは全速力で実行され、メモリ解放に一切時間を取られません。

モダンなGCは、過去の遅いものより遙かに発展しています。世代型のコピーGCには、昔のマーク＆スイープアルゴリズムの非効率さはありません。

モダンなGCはヒープの詰め直しを行います。これによってプログラムが活発に参照するページの数を減らし、キャッシュヒット率を高め、スワップ回数が減ります。

GCを使うプログラムは、メモリリークの積み重ねで次第にパフォーマンスが悪化、という事態に縁がありません。

**デフォルトの名無しさん** · 2022/09/16(金) 21:34:12.96

>>830
どちらもJVMで実現済みのことに思えるが…。

メモリレイアウトの最適化
→ 世代別GC(長寿命なオブジェクトは頻繁にGCしない領域に移動する)

確定的なメモリはJITで開放
→ エスケープ解析(短命でスタックに乗せても構わないオブジェクトはスタックに乗せる)

**デフォルトの名無しさん** · 2022/09/16(金) 21:36:23.95

deno=Rust
bun=zig

https://res.cloudinary.com/practicaldev/image/fetch/s--HAhtlbw8--/c_limit%2Cf_auto%2Cfl_progressive%2Cq_auto%2Cw_880/https://dev-to-uploads.s3.amazonaws.com/uploads/articles/oi6yfxenbfcuhlrkl6j7.png

**デフォルトの名無しさん** · 2022/09/16(金) 21:39:12.85

>>853
近現代の言語だと例外は飛び抜けて重い機能だよな。c++使うときも自分から例外を使うこと無いし。
例外みたいなエラーフローあると便利なことあるんかね？

**デフォルトの名無しさん** · 2022/09/16(金) 21:39:55.16

>>855
それも言語の良し悪しよりもbanがやるべきことをやってないだけだったり、nodeが本質的には不必要なことをやりすぎているだけっぽいと思うんだよな。

**デフォルトの名無しさん** · 2022/09/16(金) 21:44:51.39

>>854 等号の左右、ずいぶん曲解しましたね。

**デフォルトの名無しさん** · 2022/09/16(金) 21:45:22.11

GC言語、メモリを山のように積んでるマシンだと走りきるまでGC走らなかったりするしな。
mallocしてfreeしないアプリみたいなもんで、ケースによってはそりゃ速い。