次世代言語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/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

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

中身読んでないけどこんなのがあるらしい
https://codezine.jp/article/detail/15541

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

>>724画像の記事
「Chrome」は「MiraclePtr」でさらに安全に～Googleが「解放後メモリ利用」対策を開設診断性が向上するという副次的効果も
https://forest.watch.impress.co.jp/docs/news/1439971.html

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

>>724
トヨタが自動運転関係でRust使ってる話を見たことあるね
ChromeはRustで書き直せばバグを1/4に減らせると言われているね

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

>>725
>安全を認定されたAdaツールチェーンの開発で培ってきた専門知識をRustコミュニティへ拡大する機会を提供する。
こういうのを待ってました!

>Ferrocene Rustコンパイラ
多分有償なんだろなorz

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

>>724
GC言語だと赤と青はまず発生しないからやっぱりRustは別にそれを置き換えることはないな
あくまでもCやC++を置き換える有力候補

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

>>727
トヨタはRust資産をOSSしてくれるんだろうか...

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

>>728
FerroceneはRustコンパイラのISO26262認証取得を目指してるから
通れば自動車とかへの採用はあり得るよ
スポンサーもついているようだから少なくとも興味のある企業があるのは間違いない
Ferrocene自体はRustの特定バージョンの仕様を文書化して認証を取るという試みだから
コンパイラが別途有償になる予定はないはず

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

>>726
その記事を読むとChromeはC++のまま情けない解決策を取ろうとしてるなあ
特に参照カウンタ方式を強制するのは敗北に見える
メモリ使用量が増えると明記されているのはともかく
参照カウンタのデータ競合回避保護のためのオーバヘッドでパフォーマンスも大幅に悪化が予想されているのか

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

>>727 >>729
>ChromeはRustで書き直せばバグを1/4に減らせると言われているね
>あくまでもCやC++を置き換える有力候補
この辺はタラレバくらいに思ってます、軍事関係みたく湯水の様にお金をつぎ込まない限り

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

>>729
GC言語からRustへ置き換えるケースが多いのは別の理由でメリットが多いためだよ
・高速化
・省メモリ化
・データ競合の完全防止

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

>>731
続報待ちます

>>732,734
>データ競合回避保護データ競合の完全防止
難しそう。自動化してほしい

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

>>735
データ競合をコンパイル時点でゼロにすることに成功したのがRust

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

Rustのデータ競合防止のやり方は効率性を犠牲にして安全側に倒してるだけでしょ
程度の違いこそあれ、純粋関数型で全部イミュータブルにすりゃデータ競合なんか起こらねえというのと同じようなもんだ

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

現実派の>>723さん、>>736についてはどう思いますか？

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

ゼロってことはないよ
標準ライブラリ内とか人間がデータ競合しないことを保証してるところはそれなりにあって、そこにバグが入ることはありうる
実際過去に発見されたことはあったはず
ただまぁ他言語はほとんどなにも保証してくれないから
それに比べれば十分メリットはあると思うけど

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

あと今人間が保証してるとこを機械的に証明しようという試みはあって
そういうのがうまくいけばゼロだと言える日がくるかもね
（そうはいっても証明手順に抜けがあるかもとかあるので真にゼロとはいえないかもだけど）

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

並行安全がーとかいうけど言語自体やライブラリを跨いで共通のお作法で並行並列処理を書けるGoと違って
Rustはあまりにもお粗末すぎるから結局無駄なことしてるだけとしか思わない

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

>>737
効率が必要ならunsafe使うとか、適材適所で手段を選べるようにしてるから純粋関数型のたとえはちょっと違う気もする

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

>>737
一般的にデータ競合安全性のためには
1. まず前提としてデータ競合の可能性がある場合にコンパイル時に自動的に必ず検知できること
2. プログラマーはデータ競合の可能性がある部分のうち下記3.以外の方法(アルゴリズムやデータ構造などの変更)が取れる場合は変更
3. データ競合の可能性があるとして残った部分はロックなどで競合回避

Rustが用意しているのは1.の実施と3.の機構の提供
効率性を高めるか犠牲にするかは2.の実施と3.の利用をどう行なうか次第でありプログラマーによる自由度がある

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

うん、だからそれデフォルトの挙動が安全側になってるという話だよね
そのレベルなら、デフォルトで全部immutableで必要に応じてmutableにできる言語なら十分に対策になってると言えるのでは

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

>>741
Goは並行しない場合もする場も様々な安全をプログラマーの自己責任で確保しなければいけないことが多すぎてそれ以前の問題があります
例えば非常に単純な>>556の例でもGoコンパイラはエラーとしてくれないためプログラマーが自己責任で防がなければなりません
一方で同じ問題例をRustならば>>560のようにコンパイルエラーとして検知できます

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

>>744
mutableを使った時点でデータ競合の可能性が発生するためコンパイラ等が検出する必要がある
一方で全てをimmutableにすると大量のガベージが発生して効率が悪い
効率と安全性を両立しているのはRust言語のみ

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

GCあり言語ならストップザワールドやGCスパイクとか体験できるじゃん。
でもRustだとそれができなくなる。

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

>>747
だからなに？

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

>>744
mutableな共有領域に対するアクセスについてはコンパイラは特になにも保証しなくても良いということ？
そんな安全機構は邪魔なだけだから不要と

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

全部immutableと言うけど、スレッド間で通信するメッセージがimmutableなだけで
スレッド自体の状態は刻々と変化する

マルチスレッドが何の役に立つのかさっぱり分からない人にとっては
状態遷移をするにはスレッドを使うしかない言語の方が分かりやすい

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

話が盛り上がっていたので見守ってました...
>>739 >>740
>機械的に証明
この辺もタラレバくらいに思ってます。「ゼロってことはないよ」の方が逆に説得力w

自分の現場は、石橋を叩いて渡る、です。(能力体力は十分)
RustはGAFAMなんかより自動車ISO認証級の実績積み上げがないと、下っ端が言い出すのも怖いくらいです。
Rust現実派の人が現れたので便乗してしまいました。ありがとうございました。

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

>>751
Rustは一貫して以下のルールでシンプルに安全性を保証している
「Rustコンパイラはunsafe部分を除いてプログラム全体の安全性を自動的に保証する」
「unsafe部分の保証と影響を外部に出さない保証のみプログラマーの責任となる」
つまりunsafeを用いたとしてもその局所的なコードのみ人間が注視するだけでプログラム全体が保証される仕組みをRustが提供している
従来の言語は安全でない部分がプログラム全体に散らばっている、かつ、言語が安全を保証する仕組みがない、という悲惨な状況であった

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

>>751
自動車業界はCやC++を使ってる。

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

>>752
今後、オカタイところや人命に係る分野での採用記事事例など宣伝してもらえると嬉しいです。

>>753
自動車ISO認証取得+自動車への採用(どちらも今後の可能性)レベル、と書くべきでした。
「話はそれから」です。

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

>>754
ちなみに今はどんな言語使ってるの？
枯れたツールチェインとなると結構古めのCとかかな

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

>>755
>結構古めのCとかかな
様々な都合によりC、としか言えません

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

普段は見てるだけなのですが、いいタイミングで便乗出来ました。
こういう現場もあるよという話が出来てよかったです。では。

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

GoogleとMicrosoftが共に各々で語っているようにC/C++で書かれた大規模ソフトのバグの7割はメモリ関係
例えば>>724のChromeでも7割がメモリ管理バグ
これがRustに移行すれば無くせるのだから新たなシステム作りでC/C++を採用するのはバカだけ

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

>>746
それは、両立じゃなくて、選択肢があるってことだよね？
両立出来ていれば、わざわざ選択させる必要もないし。

**デフォルトの名無しさん** · 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は都合の良い例だけ持ち出して「境界チェックは消える」とか言いがち