次世代言語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/12(月) 19:58:51.59

>>623
そこは起源がasm.jsから来てるのだろうけど
決定的な違いとしてJava仮想マシンはガベージコレクション前提
Wasmはガベージコレクション無しで始まった点からもWasmがアセンブリに近いかな

**デフォルトの名無しさん** · 2022/09/12(月) 20:44:55.38

コンパイル通れば問題ないとかそういうところやね

**デフォルトの名無しさん** · 2022/09/12(月) 20:55:33.71

なるほど確かにそう言ってました
型システムが重厚長大でトランスフォーマーだらけで
「正しいコード」をコンパイラ通しづらくなるのよ。
とうせるんだけどそのための変更の労力が馬鹿になんなくなる。
で、やーめた、となる。。

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

コンパイル通れば問題ない

コンパイル通ればコードが成長すると加速度的にコンパイル通し辛くなる
コンパイル通っても「問題ない」なんて理想でした

Rustでもどっちも当てはまる

**デフォルトの名無しさん** · 2022/09/12(月) 21:13:22.93

コードが成長すると全体把握が難しくなるというのは分かるがコンパイル通すのが難しくなるというのは分からんな
イディオムに従えばコンパイルは通せるでしょ普通に

**デフォルトの名無しさん** · 2022/09/12(月) 21:20:13.29

C/C++/低レイヤー/wasm/GC/大規模コード/概念的理解の精密化の
ヒント・間違い指摘・揚げ足取りは思う壺です。

プロレスに終始

**デフォルトの名無しさん** · 2022/09/12(月) 21:41:14.55

>>626
Rustはコンパイル通し辛いとかないよ
もちろんどの言語でも慣れるまでは大変だけど
Rustも他の言語と同様に慣れたら大丈夫

**デフォルトの名無しさん** · 2022/09/12(月) 21:44:33.36

荒らし本人は4回線で、ID維持、単発ID織り交ぜてサクラ、ごく稀に便乗

プロレスに終始

**デフォルトの名無しさん** · 2022/09/12(月) 22:18:50.83

Scalaレベルで着地できれば御の字、あるいは...
Haskellはアカデミック勢が根強い、果たしてRustは...

**デフォルトの名無しさん** · 2022/09/12(月) 22:27:46.58

>>609
シナリオどちらかになるんだろうけど
どちらになってもRustを使いこなせる人が勝ち組じゃん

**デフォルトの名無しさん** · 2022/09/12(月) 22:29:18.43

しょうもない感想プロレス乙

**デフォルトの名無しさん** · 2022/09/12(月) 23:18:05.19

スタックとかヒープとかはC++の方から来た性質だから
Haskellは本当の敵ではないね

**デフォルトの名無しさん** · 2022/09/12(月) 23:46:25.23

>>589
そこに上がってるのもほとんどがフレームワーク使ってシステム作ってますな使い方しか日本じゃしてないから、そういうとこにRustが入り込むにはもっと周辺が充実してからじゃないと日本じゃ無理じゃね？

**デフォルトの名無しさん** · 2022/09/12(月) 23:47:46.93

>>596
COBOLとFORTRAN忘れてるぞ。

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

stackoverflow
73,268 response

fullプロ率は 73%
パート等込み 73+8+2 = 83%

JetBrains
31,743 developers →有効補正換算 47,000 people (Data cleaning 地域間格差補正が入る)

fullプロ率は 63+5+5 = 73%
パート等込み 73+7+2 = 82%

単純回答者数でstackoverflowが倍以上
調査参加者の構成割合は似たり寄ったり

JetBrains調査で関心したのがデータクリーニングの明確化
ちゃんとした集計であると言う信頼感はある

>Data cleaning process
>identical IP addresses
>overwhelmingly similar ... Szymkiewicz-Simpson overlap coefficient
>Surveys with conflicting answers
>...

stackoverflowがごみデータ混じりだと言うつもりはないけど同等の記述がないのは不安要素
stackoverflowはロックオンされやすい？

数のstackoverflow v.s. 質のJetBrains
こんなところ

**デフォルトの名無しさん** · 2022/09/13(火) 08:04:16.23

>>631
やっぱりワッチョイ必須だな。

**デフォルトの名無しさん** · 2022/09/13(火) 08:14:25.37

>>636
Rustだと所有権とかsingle mutable xor immutable referenceとかのキツイ制約があるから、フレームワークを作るのも使うのも大変。
まぁ、Rustフレームワークが充実することなんて無いんじゃない？

**デフォルトの名無しさん** · 2022/09/13(火) 08:41:26.44

>>640 荒らし本人の主張
この後いつもの世迷言が始まる

**デフォルトの名無しさん** · 2022/09/13(火) 09:59:52.44

小学生は方程式を使ってはならない的なキツイ規制が無いからこそ
C++やRustがやりたい放題やってる

**デフォルトの名無しさん** · 2022/09/13(火) 10:12:26.30

>>642
それを言うなら Rustはキツイ規制の鶴亀算

**デフォルトの名無しさん** · 2022/09/13(火) 10:43:48.12

「なんで鶴亀算だけで全て解かなきゃなんねえんだよ」
「鶴亀算だけなら俺が安全性や正しさを確実に保証してやれるからだよ！！！」

**デフォルトの名無しさん** · 2022/09/13(火) 11:41:37.83

お待たせしました(1/2)

Go　　実稼働分野でバリバリ活躍中
　　　GitHub PullReq >TypeScriptとGoが圧倒的 ←New
Scala 実稼働分野でバリバリ活躍中
　　　KENTA >日本では衰退しました
Clojure StackOverflow >愛され言語ランキング上位 ←New

Rust　試食コーナーで食べてもらって狂喜乱舞
　　　StackOverflow >愛され言語ランキング1位
　　　JetBrains >Rustで作らしてくれーと言ってるけど許可降りない
　　　KENTA >提灯コメント出さない ←New
　　　俺 >数学出来ないのでRustはキツイ規制の鶴亀算が史上最強 ←New
　　　俺 >鶴亀算でRustフレームワークが充実することなんて無い ←New
　　　Rust >鶴亀算だけなら俺が安全性や正しさを確実に保証 unsafeは関知しないお前の責任だ ←New
　　　俺 >今はRustだけで良い。レベルアップはお断りだ
　　　俺 >数学出来ないけど有能社員を指導したいとは思ってる
　　　俺 >すべての理解が概念的概念的に理解すれば簡単だ
　　　有能社員 >Rustは学習コストが高い割に使えない
　　　有能社員 >C/C++を書けないとRustは書けない、Rustは意味なし
　　　有能社員 >Rustは言語オタク Haskellと同じ道
Nim 試食コーナーでスルーされて意気消沈
　　　英語できないので言語マニュアルの日本語訳がスゴい ←New
　　　Pythonからの乗り換えに最適(未確認実例が待たれる) ←New
Pony 開店前
　　　唯一無二の売りがある模様 ripgrep並みの実例が待たれる ←New
　　　awesome-ponyが2年以上更新されていない ←New

**デフォルトの名無しさん** · 2022/09/13(火) 11:43:15.62

お待たせしました(2/2)
↓New
Haskell アカデミック勢が根強い
　　　それ以外は衰退しました
OCaml 関数型で速度を最優先するならこれ1択
　　　StackOverflow >愛され言語ではない
FORTRAN 科学技術方面で強い、しばしば1択
Julia 科学技術方面開拓中
　　　StackOverflow >愛され言語ランキング上位
COBOL 金融機関方面では既存システムで根強い
　　　それ以外は衰退しました

**デフォルトの名無しさん** · 2022/09/13(火) 11:46:20.50

愛され言語で上位になったらかなり高確率で衰退言語になる。

**デフォルトの名無しさん** · 2022/09/13(火) 12:01:05.28

>>641
もっとまともな反論したら？
せめて「actix-web最強」ぐらい言えよ。使ったこと無いから知らんけど。

**デフォルトの名無しさん** · 2022/09/13(火) 12:03:41.56

愛され言語≒仕事で使ってない言語楽しい趣味

**デフォルトの名無しさん** · 2022/09/13(火) 12:30:34.07

お金を儲けることの何が苦痛なんですか？

**デフォルトの名無しさん** · 2022/09/13(火) 12:33:48.30

かなり高確率で新しいおもちゃを見つけて衰退言語になる

**デフォルトの名無しさん** · 2022/09/13(火) 12:41:31.43

>>650
苦痛だから他人が金を払うんだろ。

**デフォルトの名無しさん** · 2022/09/13(火) 12:43:32.14

>>646
関数型最速はF#

**デフォルトの名無しさん** · 2022/09/13(火) 12:52:26.68

>>653
実例根拠が待たれる

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

>>609
既にそのパターン２で進んでるように見える
状況を認識できている世界的IT大手はいずれもRustを採用して高速と安全の両立へ
そしてまともなところは今後追随していくのが確実だからダメなクズが取り残される

**デフォルトの名無しさん** · 2022/09/13(火) 13:32:39.70

>>609
バスに乗り遅れるな論法
日本人には通用しなくなった

**デフォルトの名無しさん** · 2022/09/13(火) 13:41:48.64

弱肉強食がもう通用しない
早く生まれた年寄りが遅く生まれた子供の肉を食うから

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

C++だって誕生当初からこれまで、先行投資なんか必要なく、
陳腐コモディティでも二極化でもないんだから

Rustも先行投資なんて必要なくてGAFAMのトリクルダウンをどっしり待つくらいで十分
トリクルダウンなんて期待してないけど

**デフォルトの名無しさん** · 2022/09/13(火) 13:46:36.71

GAFAMって、、永遠に試食タイムでしょ

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

「甘ま～～い」ってさけんでる食レポ

**デフォルトの名無しさん** · 2022/09/13(火) 14:16:27.24

Rustの動きが興味深いのは、
C++の分野だけでなく幅広い分野で用いられてる点だが、
C++と異なり現代的な様々なパラダイムを簡潔に扱えるようシンプルに統合されてることも大きいのではないか。

もちろん、常に安全に自動的にメモリが解放される手軽さを得つつ、
少し注視するだけでC並みの高速化を安全に得られることが決定打なのだろうが。

**デフォルトの名無しさん** · 2022/09/13(火) 14:30:44.11

>>661
そう、Rustには興味のアンテナ張るだけ
先行投資なんてしないトリクルダウンって何年後？

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

全プログラミング学習者へ。ハーバード大の入門講座「CS50」が無償かつ日本語で学べるようになりました！
https://www.lifehacker.jp/article/2209_cs50_new/
＞「CS50」ではコンピュータサイエンスとプログラミングに関する概念や考え方、C、Python、SQL、JavaScriptなど主要言語を学べる

Rustは対象外(笑)

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

>>663
GAFAMの一角が協賛してるのにどうしてこうなった(笑)
https://media.loom-app.com/loom/2022/09/07/6d29489f-719f-4f30-91ec-bed1c0a7d52c/original.png

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

>>609の二極化が進みそうだな
企業もプログラマーもRustを使いこなして高速と安全とリソースコスト削減をできるか否か

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

>>609 >>663
二極化だと思ってたらHaskell衰退の道を追う

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

>>664
おまえ頭悪そうだな
Rustがコモディティ化するのと二極化するのとどちらがGAFAMなどの寡占を維持できるか？
C言語と同等に高速で安全も満たす言語がRustの他にない

**デフォルトの名無しさん** · 2022/09/13(火) 15:31:30.15

>>667
ショックを隠しきれない(笑)

**デフォルトの名無しさん** · 2022/09/13(火) 15:35:59.10

>>645
１行に収まらない文章は見た目悪いから短くして

**デフォルトの名無しさん** · 2022/09/13(火) 15:38:06.45

>>667 >>662

GAFAMがRustを寡占するんだったら尚のこと先行投資なんてしない

GAFAM >Rustエコシステムには投資しないトリクルダウン無し寡占する

**デフォルトの名無しさん** · 2022/09/13(火) 15:39:48.42

>>667 >>662
GAFAM >だか今は試食タイムだ

**デフォルトの名無しさん** · 2022/09/13(火) 15:44:54.29

>>667 >>669
ショックを隠しきれない(笑)
>>663

**デフォルトの名無しさん** · 2022/09/13(火) 15:45:37.89

>>667
あーあ、D言語と戦争すんのか....

**デフォルトの名無しさん** · 2022/09/13(火) 16:26:40.14

Rustを使える企業とプログラマーが有利になるだけで
あとは置いてきぼりを喰らって不利になるだけだろう

**デフォルトの名無しさん** · 2022/09/13(火) 16:28:34.29

こんな風に攻撃的に擁護する人のいる言語は使ってはいけない
高確率で地雷

**デフォルトの名無しさん** · 2022/09/13(火) 16:33:18.32

>>664
教育コストが高すぎて、大学で教えられないということだろ。
情報工学でLispをやらなくなったのと一緒だよ。

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

>>646
明らかによくわかってなくて草

**デフォルトの名無しさん** · 2022/09/13(火) 16:38:07.57

>>676
MITのことを言っているなら勘違いが過ぎる

**デフォルトの名無しさん** · 2022/09/13(火) 16:38:33.78

>>676
Lispがわかりにくいのは単なる構文の問題
やってることはJavaScriptと変わらんよ
なぜかそれを凄いことのようにブランディングした先人たちのマーケティング能力の方が驚きだよ

**デフォルトの名無しさん** · 2022/09/13(火) 16:44:59.43

>>679
Clojureの人たちは「本物のREPL」とか言ってるよね

**デフォルトの名無しさん** · 2022/09/13(火) 17:04:48.92

プログラミング言語で闘争を続けて、１つも新しいソフトウエアやサービスを生み出せない日本の縮図だな・・・
欧米企業なら、「最初のバージョンは常に捨てられる」の格言通り、いかにいち早く世に出すか注力する。
なんで書いてあるかは余り関係ない
日本にも有名なソフトウェアのコミッターは数多くいるけど、コンピューターサイエンスというほとんど役に立たない事が
ものすごいマウントポジションをとるだけに使われ、人より早く書くや、人より多く書く人はありがたがらない。
欧米だと「アイデアは価値がない、アイデアを誰より早く形にして価値がある」とまでされる

**デフォルトの名無しさん** · 2022/09/13(火) 17:14:35.35

そもそも向こうの技術者土方じゃないだろ

**デフォルトの名無しさん** · 2022/09/13(火) 17:15:56.27

>>681
はい、言語選択が決定的要因だとは思いません。

相関はあると思うのであえて言語/frameworkで聞きますが
Ruby(Rails)は現在で良い選択だと思いますか？
スタートアップだとかのサイト作成の場合

**デフォルトの名無しさん** · 2022/09/13(火) 17:20:10.04

書くのが遅いというか
お金をいくらもらえるか決めるのが早過ぎるのでは
カンバン方式みたいな

**デフォルトの名無しさん** · 2022/09/13(火) 17:24:48.85

>>684
Rustは書くのが遅いという前提の話かな

**デフォルトの名無しさん** · 2022/09/13(火) 17:28:11.67

システムプログラミング系の講義ならrust使うものとかあるんじゃないの

**デフォルトの名無しさん** · 2022/09/13(火) 17:30:11.70

>>686
ないと思うけど、どこかで見つけた？

**デフォルトの名無しさん** · 2022/09/13(火) 17:40:05.78

>>687
スタンフォードだったわ
https://web.stanford.edu/class/cs110l/handouts/course-information/

**デフォルトの名無しさん** · 2022/09/13(火) 17:44:48.56

>>688
Rustでメンタルモデル(概念)だけを教えてC++で仕上げとは
上手く行くといいね

**デフォルトの名無しさん** · 2022/09/13(火) 17:49:57.23

サイバーエージェントの広告配信サーバーもRustだし
クックパッドもRustだし
日本でもどんどんRustへ置き換わっていってるな

**デフォルトの名無しさん** · 2022/09/13(火) 17:51:04.29

rust system programming course university
でググったらUMDとかTUMとか出てくるわ
大学で教えられないほど教育コスト高いということはなさそう

**デフォルトの名無しさん** · 2022/09/13(火) 17:56:03.03

>>690 >>691
じゃあなんでRustがTIOBEで20位に入れないのか
https://news.mynavi.jp/techplus/article/20220907-2448116/
>Rustのように20位以内の常任入りが予測されつつも長期にわたって実現していないプログラミング言語

**デフォルトの名無しさん** · 2022/09/13(火) 18:10:20.77

ソフトは無料でも教科書には課金した方が
教科書の劣化コピーがネット上で大量生産されやすい

**デフォルトの名無しさん** · 2022/09/13(火) 18:35:59.90

>>692
Rustは勝者のためのプログラミング言語だから敗者には必要ない
敗者は遅い言語や危険な言語を使い続ければよい

**デフォルトの名無しさん** · 2022/09/13(火) 18:41:40.88

>>692
大学で教えられているかどうかとTIOBEのランクに関係がある理屈がよくわからんのだけど

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

>>694
スゲー

**デフォルトの名無しさん** · 2022/09/13(火) 19:26:53.80

>>694
素晴らしい。
Haskell目指して頑張ろう。

**デフォルトの名無しさん** · 2022/09/13(火) 19:44:23.64

ClojureはあれでCircleCIとかいくつかの実用サービスに使われてるのがすごいよ。

lispは遊びでいくつか書いたけど、実用的なサービスをこれで書く気はなかなか起きないんだよなぁ。

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

>>663
コンパイル方式がメインな言語はCしかないの？

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

ClojureにはLogSeqでお世話になってる。Obsidianと併用

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

型でプログラミングってこういうこと？

Rustで型レベルプログラミング
https://zenn.dev/yyu/articles/1eefb8f547dc1b

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

>>701
素晴らしい。
Haskell目指して頑張ろう。

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

上ので思い出したけど
先にtypescriptやったあとrust入ったせいでリテラル型がないの違和感なんだけどなんか理由あるん？
enumでいいじゃん的な理由？

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

>>703
文字列との相互変換とかIDE補完とかtypoエラーチェックとかExhaustive matchingとか他
どっちがどうなのかまとめて

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

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

Clojure StackOverflow >愛され言語ランキング上位
　　　　2つあるawesome-clojureがどちらもマメに更新される ←🆕
　　　　CircleCIとかいくつかの実用サービスに使われてるのがすごい ←🆕
　　　　「本物のREPL」(未確認) ←🆕　LogSeq(未確認) ←🆕
D　　　 C言語と同等に高速で安全も満たす言語 ←🆕
　　　　better C/C++の先駆者　breaking changeは日常茶飯事　awesome-d 老舗の割にマメ ←🆕
Rust　　試食コーナーで食べてもらって狂喜乱舞
　　　　GAFAM >Rustエコシステムには投資しないトリクルダウン無し寡占する ←🆕
　　　　GAFAM >だか今は試食タイムだ ←🆕
　　　　GAFAM >「あま～～い」ってさけんで食レポしてる😏みんな食べに来てね😛 ←🆕
　　　　StackOverflow >愛され言語ランキング1位
　　　　JetBrains >Rustで作らしてくれーと言ってるけど許可降りない
　　　　KENTA >提灯コメント出さない
　　　　俺 >数学出来ないのでRustはキツイ規制の鶴亀算が史上最強
　　　　俺 >鶴亀算でRustフレームワークが充実することなんて無い
　　　　Rust >鶴亀算だけなら俺が安全性や正しさを確実に保証 unsafeは関知しないお前の責任だ
　　　　俺 >今はRustだけで良い。レベルアップはお断りだ
　　　　俺 >数学出来ないけど有能社員を指導したいとは思ってる
　　　　俺 >すべての理解が概念的概念的に理解すれば簡単だ
　　　　有能社員 >Rustは学習コストが高い割に使えない
　　　　有能社員 >C/C++を書けないとRustは書けない、Rustは意味なし
　　　　有能社員 >Rustは言語オタク二極化だと思ってたらHaskell衰退の道を追う ←🆕
　　　　有能社員 >Rustには興味のアンテナ張るだけ先行投資なんてしない ←🆕
OCaml　関数型で速度を最優先するならこれ1択(or F#？) ←🆕　StackOverflow >愛され言語ではない
F#　　　関数型最速はF#(実例根拠が待たれる) ←🆕

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

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

Go　　　実稼働分野でバリバリ活躍中　GitHub PullReq >TypeScriptとGoが圧倒的
Scala　実稼働分野でバリバリ活躍中　KENTA >日本では衰退しました
　　　　ScalaでのNetflix分岐点(未確認) ←🆕
Nim 　　試食コーナーでスルーされて意気消沈　英語できないので言語マニュアルの日本語訳がスゴい
　　　　Pythonからの乗り換えに最適(未確認実例が待たれる)
Pony　　開店前　唯一無二の売りがある模様 ripgrep並みの実例が待たれる　awesome-ponyが2年以上更新されていない
　　　　参照の持ち方だけで6つもある(Reference Capability) ←🆕
　　　　behaviorが終わるごとに該当アクターでGCを回す ←🆕
Haskell アカデミック勢が根強い　それ以外は衰退しました
FORTRAN 科学技術方面で強い、しばしば1択
Julia　科学技術方面開拓中　StackOverflow >愛され言語ランキング上位
COBOL　金融機関方面では既存システムで根強い　それ以外は衰退しました
LISP　　JavaScriptと変わらんブランディングした先人たちのマーケティング能力が驚き ←🆕

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

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

wsl2のdebian入れたら何故かgrepコマンドがなくてrust製のripgrep(rg)をいれたわ

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

それ遅くないの？

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

>>708
どっちの立ち位置のコメントかわからないけれどripgrepを知らない設定は不自然
ugrepとの比較のこと？

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

WSL2にdebianの方の話だろ？

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

>>703
パターンマッチ使えば同じことはできるよ
なんならマクロでもいい
ゼロコスト抽象化に反することはしないのがRust

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

>>711
値が"foo"という文字列以外が渡されるとコンパイルエラーになる関数とか書けないでしょ

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

ただ単にコンパイルがこれ以上遅くなる言語仕様を入れたくないだけ、何がゼロコスト抽象化だわｗまったく見当違いも良いところ

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

>>712
だからマクロでできるっての
お前が何も知らないだけ

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

>>714
うん、分からないから教えてよ

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

typescript(+javascript)を言語機能(優劣、同等性)で敵に回すのは無謀だ
数的優位、実績が半端ない Rustがゴミの様だ

https://madnight.github.io/githut/#/pull_requests/2022/1/JavaScript,TypeScript,Swift,Go,Kotlin,Rust,Scala

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

マクロでコンパイル時型エラーにできる？
実行時ならアサーション入れたりでマクロで何とかなりそうだけどコンパイル時に検出は無理くない？

個人的にはTypeScriptみたいな複雑さって本来過剰で、ブラウザ上のJSという特別な実行環境がゆえに必要になったもので、本来はenumとかで済までいいと思う。

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

>>698
lispは惑星探査機とか、特殊な用途で使われてるイメージ。
身近なところだと、ルンバがlispで動いてたはず。

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

>>718
>惑星探査機
何にも知らないけどAdaとかどうなんだろう

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

>>717
マクロの引数をリテラル限定にしてその値をコンパイル時にチェックするくらいならできそうだけど
変数経由で渡されたときにその中身を確認するのは無理だろうな
Rustの依存型は提案されたけど入らなかったね（理由は忘れた）

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

自動車船舶航空宇宙のプログラムで求められる安全性ってRustは保証しないの？

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

>>714
>だからマクロでできるっての
>お前が何も知らないだけ

↓
>>720
>できそうだけど

これってまさか同一人物の発言?

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

いや別人
自分はマクロを使っても完全なサポートは無理だと思ってるよ
マクロを使ってなんとか実現できそうなことを書いてみただけで

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

現実派の>>723さん、>>721についてはどう思いますか？
突き詰めるとメモリ安全性って自動車船舶航空宇宙でも大きなウェイトを占めていてもおかしくない気がするのです。
Rust方面の意識として乗り物関連は避けたいとかあるんですか？

「Chrome」で対処されているバグの種類
https://asset.watch.impress.co.jp/img/wf/docs/1439/971/image3.png