次世代言語18 Go Rust Elixir Kotlin TypeScript

**デフォルトの名無しさん** · 2019/10/01(火) 02:58:03.93

スレタイ以外の言語もok

前スレ
次世代言語17 Go Rust Kotlin TypeScript Julia
https://mevius.5ch.net/test/read.cgi/tech/1567602619/

**デフォルトの名無しさん** · 2020/01/14(火) 21:23:10.59

>>208
上位互換を目指してるというのは正しいけどまだ上位互換とは言えない
C/C++のほうがまだ多少は実効速度が上みたい
体感できるほどの差はもちろんないけど

**デフォルトの名無しさん** · 2020/01/14(火) 21:37:06.70

Rustのほうが未来永劫遅いだろ
速くなる要素あるのか？

**デフォルトの名無しさん** · 2020/01/14(火) 21:53:54.59

言語の処理速度は　　　　　　C > C++ > Rust
プロダクトの性能の傾向は　Rust > C++ > C

理由は、コンパイラ時のチェック系の支援が大きいほど
プログラマが気を使う量が減って高度な高速化実装がしやすくなるため
実例はServo

一方Cで限界までチューニングすれば他は追いつけない
メンテ難易度は上がるがそれを扱えるメンバーと運用があれば問題無い
実例はLinuxカーネル

**デフォルトの名無しさん** · 2020/01/14(火) 22:06:05.36

色々な言語が登場しても未だにCが生き残ってるのはとにかく速さだからね
Cを置き換えようとする次世代言語は速さでCに負けてたら結局置き換えられないよ

**デフォルトの名無しさん** · 2020/01/14(火) 22:09:27.27

Cが使われる理由は速さではなく自由度
書いたとおりに動くという当たり前のことができる言語は、特に新しい言語においてはほとんどない

**デフォルトの名無しさん** · 2020/01/14(火) 22:16:53.48

>>211
と思うじゃん？
実際はコンパイル時間が鬱陶しすぎてクソな通し方するようになる。

**デフォルトの名無しさん** · 2020/01/14(火) 22:43:28.59

Rustは、Cには負けるけどC++には速度で勝った、みたいな記事を最近見たんだが

**デフォルトの名無しさん** · 2020/01/14(火) 23:02:29.05

しょーもないブログ記事なんか真に受けんな

**デフォルトの名無しさん** · 2020/01/15(水) 00:35:12.86

C++のコンパイル時計算のあれこれを見ていると証明が必須じゃないCoqかよみたいな気持ちになるし人類にとってはできることが多すぎる
コンパイル時間のあれこれを言うならC++こそ人の事言えねぇよ

**デフォルトの名無しさん** · 2020/01/15(水) 03:36:18.54

まあそうなんだがc++を置き換えると言いつつ
c++の問題を後追いしてるところはアホとしか言いようないなと思ってるってことだわ。

**デフォルトの名無しさん** · 2020/01/15(水) 04:14:23.70

C++を越えようとすればするほどC++に近づき、最終的にC++そのものになっていく

**デフォルトの名無しさん** · 2020/01/15(水) 09:36:21.05

最近はセキュリティ要件厳しいから
静的解析パスしないとリリースできなかったりするんだけど
とりあえず静的解析を黙らせるために過剰にvalidity checkが入れられてると思う
そういう無駄をきれいに省けたらc、c++を上回る可能性はあるかもしれない

**デフォルトの名無しさん** · 2020/01/15(水) 11:05:13.31

でもボクシングとかで実行時に負担掛ける動的多相を導入しない限りコンパイル時間は大きくは変化しないでしょという気持ち（型渡しと型消去）
別にRustだって依存型（定理証明系）とか高階多相（Scalaとか）でコンパイル時間増えてるわけじゃないんだし

**デフォルトの名無しさん** · 2020/01/15(水) 13:04:38.24

高尚な低速言語供が売りとしてる機能を組上げる部品をゲロベチョっとコーダー側へぶちまけ
オマエ自身が工夫してどうにかしろな仕組みを提供してんのがrustだからのう
関数型へ傾いてるとはいえコンパイル時間がどうこう言うのにrustの例は不適切かな

**デフォルトの名無しさん** · 2020/01/15(水) 19:26:50.92

いや実際cの5～10倍ビルド時間かかるだろ。

**デフォルトの名無しさん** · 2020/01/15(水) 19:42:04.64

ダンリンポインタ探しに1000倍かかるよりいいわ

**デフォルトの名無しさん** · 2020/01/16(木) 06:11:49.71

まともにやってりゃそんなクソコードにならんわ。
どんなコードだよそれ。

**デフォルトの名無しさん** · 2020/01/18(土) 08:53:48.14

新言語登場

Project Verona
https://github.com/microsoft/verona

＞ Research programming language for concurrent ownership

**デフォルトの名無しさん** · 2020/01/18(土) 08:59:16.18

もう新言語に期待するしかないかもな

**デフォルトの名無しさん** · 2020/01/18(土) 11:08:15.00

C++20に期待しろ

**デフォルトの名無しさん** · 2020/01/18(土) 11:17:50.30

どんな言語がでても馬鹿がいじれば糞化するという現実を受け入れさせるフレームワークが必要。

**デフォルトの名無しさん** · 2020/01/18(土) 13:40:35.18

劣化前のソースコードと文書は残っている
ただし過去に戻ったら他の人間とは仲良くできない
その代わりソースコード自体がAIみたいなもの

人間をクビにしてAIを使うとはそういうことよ
人間がいじればAIではなくなる

**デフォルトの名無しさん** · 2020/01/18(土) 14:17:34.01

>>226
Rustっぽい言語なのか

**デフォルトの名無しさん** · 2020/01/18(土) 14:23:41.36

それRutstでよくねえ？

**デフォルトの名無しさん** · 2020/01/18(土) 14:34:40.59

　　　　　　　　　　　　　　　, -――- 、
　　　　　　　　　　　　　　/　　　　　　ヽ
　　　　　　　　　　　　　　| ノ　ー　　　 |　　　それRutstでよくねえ？
　　　　　　　　　　　　　　|(・）　（・）　　　|　　　だって、それRutstでよくねえ？
　　　　　　　　　　　　　　|　（　　　　　 |
　　　　　　　　　　　　　　ヽ　Ｏ　　　　人
　　　　　　　　　　　　　　　＞ー-― ´　￣￣＼
　　⊂ニニ￣￣￣ヽ　　/　　　　　　　　　　　 |
　　　　　くメ）　_ノ　 |　 |　　|　　　　　　　　|　　 |
　　　　　　 (／　 |　 |　/　　|　　　　　　　　|　　 |
　　　　　　　　　　|　 |/　　/|　　　　　　　　|　　 |
　　　　　　　　　　|　　ﾄ　 / |　　　　　　　　|　　 |
　　　　　　　　　　ヽ＿_／　|　　　　　　　　|　　 |

**デフォルトの名無しさん** · 2020/01/18(土) 14:49:52.92

「Rust言語」をWindowsプロジェクトに適用してみた、Microsoftの事例
https://www.atmarkit.co.jp/ait/articles/1911/12/news050.html

欲しい機能がまだまだある

Rustは比較的歴史が浅いため、Microsoft社内の開発に使うことを考えると、よく使う言語機能であっても欠けているものがあるという。
その最たるものは、安全な変換(“プレーンな古いデータ”型をrawバイトと間で相互に安全にキャストする)やCスタイルの共用体の安全なサポート、誤りを許容する割り当て(割り当ての失敗でパニックに陥らず、所定の手順で停止する)だ。

Cargoには優れた単体テスト機能が組み込まれているため、開発者が本番コードと同じファイルにユニットテストを記述して、開発中に簡単に実行することができる。だが、Microsoft社内の大規模で複雑なビルドシステムでは、Cargoをビルドツールとして利用できない。

**デフォルトの名無しさん** · 2020/01/18(土) 15:30:43.11

>>226
Microsoftとしては未だにRustが本命ではあるが自前でもっといいのが作れないか研究してみるって趣旨みたいだな

Q.
Does Project Verona mean Microsoft is no longer using C++/C#/Rust/...?

A.
Project Verona is a research project that is not affecting engineering choices in the company.
The Project Verona team is connected to the people using all the major languages at the company, and want to learn from their experience, so we can research the problems that matter.

https://github.com/microsoft/verona/blob/master/docs/faq.md

**デフォルトの名無しさん** · 2020/01/18(土) 15:43:46.52

　　　　　　　　　　　　　　　, -――- 、
　　　　　　　　　　　　　　/　　　　　　ヽ
　　　　　　　　　　　　　　| ノ　ー　　　 |　　　それRutstにｺﾝﾄﾘﾋﾞｭｰﾁでよくねえ？
　　　　　　　　　　　　　　|(・）　（・）　　　|　　
　　　　　　　　　　　　　　|　（　　　　　 |
　　　　　　　　　　　　　　ヽ　Ｏ　　　　人
　　　　　　　　　　　　　　　＞ー-― ´　￣￣＼
　　⊂ニニ￣￣￣ヽ　　/　　　　　　　　　　　 |
　　　　　くメ）　_ノ　 |　 |　　|　　　　　　　　|　　 |
　　　　　　 (／　 |　 |　/　　|　　　　　　　　|　　 |
　　　　　　　　　　|　 |/　　/|　　　　　　　　|　　 |
　　　　　　　　　　|　　ﾄ　 / |　　　　　　　　|　　 |
　　　　　　　　　　ヽ＿_／　|　　　　　　　　|　　 |

**デフォルトの名無しさん** · 2020/01/18(土) 15:58:02.34

Microsoftっていっつも新しい言語生み出してんな
ちょっと前に発表してたBosqueとかどうなったのか続報全然ないけどもう諦めたのか？
遡ればF#とかも期待したほど流行らなかったしもっと遡ればVisual Basicとか散々ゴリ押ししたけど粗大ゴミになってる
Windowsというプラットフォームにあぐらをかいてるわけじゃないだろうがまともに使えるものを生み出す能力あるのか？

**デフォルトの名無しさん** · 2020/01/18(土) 16:03:09.21

はいTypeScript

**デフォルトの名無しさん** · 2020/01/18(土) 16:06:57.01

>>237
C#「……」
TypeScript「……」

**デフォルトの名無しさん** · 2020/01/18(土) 16:07:46.78

javascriptを静的型付けで縛るなんて俺の方が先に考えてたから

**デフォルトの名無しさん** · 2020/01/18(土) 16:10:54.13

C#はC++を拡張してJavaにしただけ
TypeScriptはJavaScriptを拡張して静的型付けにしただけ
Microsoftのオリジナルではないからこそまともなものになった

**デフォルトの名無しさん** · 2020/01/18(土) 16:35:15.63

その基準で行くと世の中でオリジナル言語と言えるのはどれよ

**デフォルトの名無しさん** · 2020/01/18(土) 16:57:08.75

Speedcoding

**デフォルトの名無しさん** · 2020/01/18(土) 17:10:47.48

C#のモデルはDelphiであってC++でもJavaでもない

**デフォルトの名無しさん** · 2020/01/18(土) 18:27:34.81

>>242
今回新しく作ったVeronaはRustを参考にしてるけどかなりオリジナリティ高そうな感じ

**デフォルトの名無しさん** · 2020/01/18(土) 18:32:58.91

>>245
はいパクリ

**デフォルトの名無しさん** · 2020/01/18(土) 21:01:50.17

MicrosoftのRust実装って聞いたぞ

**デフォルトの名無しさん** · 2020/01/18(土) 21:03:10.22

https://www.zdnet.com/article/microsoft-opens-up-rust-inspired-project-verona-programming-language-on-github/

＞Also, Rust isn't the only language that's inspiring Project Verona,
＞which also borrows concepts from Cyclone, a "safe dialect of C"
＞and Pony, which has key contributors from Microsoft Research.

久しぶりにPonyの話が出てる
Pony大勝利やん

**デフォルトの名無しさん** · 2020/01/18(土) 21:41:35.95

じゃあ久しぶりにVの話を出してみる
https://github.com/vlang/v/issues?q=label%3A%22Unit%3A+Memory+Management%22
もうRustライクなんて壮言やめて素直にGC入れたら

**デフォルトの名無しさん** · 2020/01/18(土) 21:57:59.56

>>244
ヘルスバーグさんめっちゃC++の話してるけど
https://www.codebrary.com/2018/03/deep-inside-c-sharp-interview-with.html

> is that we tried to stay much closer to C++ in our design.
> C# borrows most of its operators, keywords, and statements directly from C++.

**デフォルトの名無しさん** · 2020/01/18(土) 22:12:30.57

Vが詐欺って熱弁してたヤツ息してる？w

**デフォルトの名無しさん** · 2020/01/18(土) 22:22:30.56

相変わらずvlangのメモリ管理がゴミって話だろ？
何を勘違いしたんだ

**デフォルトの名無しさん** · 2020/01/19(日) 15:48:50.92

Java# も F# も C# も Rust も捨てた結果が Verona ωωω

**デフォルトの名無しさん** · 2020/01/19(日) 15:55:17.54

>>237
MSが出したやつはいつもダサいですね
言語も
製品も

**デフォルトの名無しさん** · 2020/01/19(日) 16:03:51.59

>>252
ｗ

**デフォルトの名無しさん** · 2020/01/19(日) 16:16:01.02

オリジナルかっこいい
コピーださい
ふしぎ

**デフォルトの名無しさん** · 2020/01/19(日) 17:08:58.60

そんなあなたにALGOL

**デフォルトの名無しさん** · 2020/01/19(日) 18:00:55.33

いちゃもん付けの馬鹿はほっとけばいいんだよ。

**デフォルトの名無しさん** · 2020/01/20(月) 05:25:15.00

一周回ってErlangが今最も熱い

**デフォルトの名無しさん** · 2020/01/20(月) 13:00:48.42

あー？

**デフォルトの名無しさん** · 2020/01/20(月) 15:27:50.47

ラン🎵

**デフォルトの名無しさん** · 2020/01/20(月) 21:36:52.33

> Go→めっちゃ書きやすい。少ない行数で何でも書ける
お、おう(笑)
エアプ勢はレガシー言語触ってろ

**デフォルトの名無しさん** · 2020/01/21(火) 20:58:58.76

>>248　日本語訳

マイクロソフト、「Rust」に基づくプログラミング言語プロジェクト「Project Verona」がGitHubに
https://japan.zdnet.com/article/35148191/

**デフォルトの名無しさん** · 2020/01/21(火) 21:13:12.81

Veronaが有能だった場合Rustが消える可能性も

**デフォルトの名無しさん** · 2020/01/21(火) 22:11:36.26

さすがマイクロソフト

**デフォルトの名無しさん** · 2020/01/21(火) 23:07:13.74

Rustに挑んで心が折れた
Veronaとやら頼むぞ・・・

**デフォルトの名無しさん** · 2020/01/21(火) 23:12:15.69

rustに全振りした馬鹿が泣き出しそうｗ

**デフォルトの名無しさん** · 2020/01/21(火) 23:23:01.84

C++に戻るのが一番賢い

**デフォルトの名無しさん** · 2020/01/21(火) 23:27:23.74

どうやら君は正解に到達したようだなw

**デフォルトの名無しさん** · 2020/01/21(火) 23:28:36.06

Rustは名前が悪すぎる。車輪のベアリングが錆びついてギシギシで滑らかに回らないイメージ。

**デフォルトの名無しさん** · 2020/01/21(火) 23:37:40.15

お前定期的に現れるけど錆に嫌悪感持ちすぎだろ

**デフォルトの名無しさん** · 2020/01/21(火) 23:40:24.38

イメージで話をする奴の頭の悪さの方がアレだろ

**デフォルトの名無しさん** · 2020/01/22(水) 00:18:11.55

rustでYouTube検索したらゲーム動画ばっかやった

**デフォルトの名無しさん** · 2020/01/23(木) 22:13:59.32

>>271-272
名は体を表すと言う。プログラミングの命名でも、名が体を表すのが良いとされる。
だから、言語名に体を見出そうとするのは自然な感覚。ましてRustのアイコンは
歯車だから、労力が無駄にかかり動作が遅いと思われるのは当然。さらに、Rustは
米国生まれなので、かつては栄えていたが今は没落した北部の重工業地帯を表す
rust beltも連想される。

開発者はこんな変な名前をなぜ選んだのか。真価を分かる人だけが使えば良いという
通好みの言語にしたかったのか。

**デフォルトの名無しさん** · 2020/01/23(木) 22:16:06.13

中身の話しろよ

**デフォルトの名無しさん** · 2020/01/23(木) 23:38:40.71

>>274
作者が生物学好きで
名前の由来は錆菌、つまり化合物自体でなく菌の方だそうだ

曰く
> Five-lifecycle-phase heteroecious parasites.
> I mean, that's just crazy.
> talk about over-engineered for survival.
> fungi are amazingly robust to start,
> they are distributed organisms.
> not single cellular, but also no single point of failure.

**デフォルトの名無しさん** · 2020/01/23(木) 23:57:07.04

rustはメモリ管理がゴミだからこのスレ的には詐欺なんだろ

**デフォルトの名無しさん** · 2020/01/24(金) 00:00:58.41

Rustは信者が他言語のスレで布教しまくるせいで印象最悪

**デフォルトの名無しさん** · 2020/01/24(金) 00:09:35.69

このスレってびっくりするほど技術的な話ないな

**デフォルトの名無しさん** · 2020/01/24(金) 00:16:59.73

だいたい変な長文のせい

**デフォルトの名無しさん** · 2020/01/24(金) 00:35:28.28

真面目な話してもスルーしてすーぐ言語叩き始めるからなぁ…

**デフォルトの名無しさん** · 2020/01/24(金) 00:58:45.26

マンセー意見だったらアンチ意見のが参考になるがな。

**デフォルトの名無しさん** · 2020/01/24(金) 11:49:27.62

RとかGとかで始まる言語は頭悪そうなイメージω

**デフォルトの名無しさん** · 2020/01/24(金) 19:54:19.33

F*ってどうなったの？

**デフォルトの名無しさん** · 2020/01/24(金) 21:12:30.21

頭が悪い言語があるんじゃなくて
頭が悪い人がいるだけでは?

**デフォルトの名無しさん** · 2020/01/24(金) 21:18:29.19

どうも

**デフォルトの名無しさん** · 2020/01/24(金) 21:52:36.51

　　　　(V)　(V)
http://strlen.com/lobster/

**デフォルトの名無しさん** · 2020/01/24(金) 23:27:48.03

なんで言語は引き算ができんの
そんなんだからゴーとかいうGOMIにオカマを掘られる

**デフォルトの名無しさん** · 2020/01/24(金) 23:28:14.47

>>287
httpの時点でゴミ確

**デフォルトの名無しさん** · 2020/01/24(金) 23:39:30.28

>>289
どゆこと？

**デフォルトの名無しさん** · 2020/01/25(土) 00:49:13.02

言語の引き算の最たる言語はHaskell。
遅くても、次世代じゃなくても、あの無駄の無さが好き。
ifもforも飾りです。偉い人はそれが分からんとです。

**デフォルトの名無しさん** · 2020/01/25(土) 00:52:21.75

>>291
なお知名度なし
なおエコシステムはカス
なお速度はウンポコペチプー以下

**デフォルトの名無しさん** · 2020/01/25(土) 01:00:43.81

パッケージの依存関係すらまともに解決できん言語のくせに。

**デフォルトの名無しさん** · 2020/01/25(土) 01:37:44.96

モナドはいい仕組みだよ
動的な部分を個々包み込んで波及を抑えるつーのはプログラミング言語の基本機能に成るべき
例外処理みたいな真逆の言語が大手を振ってるのは異常

**デフォルトの名無しさん** · 2020/01/25(土) 09:43:36.81

モナドは抽象度が高すぎるんだよなぁ
俺みたいな素人にも分かりやすいのが欲しい

**デフォルトの名無しさん** · 2020/01/25(土) 10:30:04.52

モナドは別にいいんだけどHaskellのシンタックスシュガー満載で手続きっぽく見せようとしてるのはすきになれないな
ちょっと複雑なことしようとするとコンパイラエラーに悩まされる
結局トリックをきちんと理解しないと使えない

**287** · 2020/01/25(土) 10:55:26.17

>>290
今どきletsencryptすらしてないってことじゃね
URL貼る前にhttps試したから俺もちょっと思った

**デフォルトの名無しさん** · 2020/01/25(土) 11:01:38.75

>>295
モナド自体より解説がマズいんだと思うけどな
「正しい説明」を意識しすぎて、分かってる奴にしか分からない解説が溢れてる

**デフォルトの名無しさん** · 2020/01/25(土) 11:32:14.21

最初は型を書かない方が分かりやすい
アセンブラが分かる奴はCのポインタが分かる
ただし言語が二つ必要

Haskellの型を無くしてみろ
それが引き算だろ

**デフォルトの名無しさん** · 2020/01/25(土) 14:09:04.44

>>299
unlambdaでもlazy kでもお好きな方をどうぞ

**デフォルトの名無しさん** · 2020/01/25(土) 14:22:16.84

型無し糞言語至上主義ってマ？！？ｗｗｗ

**デフォルトの名無しさん** · 2020/01/25(土) 14:25:55.18

型なしは型を動的に解析する機能を「足した」ものであって何ら引き算になっていない

**デフォルトの名無しさん** · 2020/01/25(土) 15:36:44.04

動的型付けと型無しは別だよ

**デフォルトの名無しさん** · 2020/01/25(土) 15:45:23.82

Haskellは
お前らが同じ解説を繰り返す毎に強力な静的型になって行ったんじゃないのか

**デフォルトの名無しさん** · 2020/01/25(土) 15:57:20.44

純粋関数型である程度まともなプログラムを作れるようにする為にはHaskellの標準+αくらいの型システムがないと駄目という話ではある

**デフォルトの名無しさん** · 2020/01/25(土) 16:13:04.17

全然関係ない。
ランタイム速度が出てないときにどういう手当が可能かという方がよっぽど大事。

**デフォルトの名無しさん** · 2020/01/25(土) 16:26:35.28

それは事実かもしれないが大事さという指標はあくまで君の信仰でしかないよね

**デフォルトの名無しさん** · 2020/01/25(土) 16:27:59.44

へたくそな反論止めろや
荒れるだけだ