次世代言語15 Go Rust Bosque Kotlin TypeScript

**デフォルトの名無しさん** · 2019/04/19(金) 22:19:00.41

スレタイ以外の言語もok

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

**デフォルトの名無しさん** · 2019/07/19(金) 02:35:55.06

msはrust高評価だぞ
https://www.atmarkit.co.jp/ait/spv/1907/18/news122.html

**デフォルトの名無しさん** · 2019/07/19(金) 08:57:55.99

えぇ…自前で作ってるBosqueはどうすんだ…

**デフォルトの名無しさん** · 2019/07/19(金) 09:10:29.62

A proactive approach to more secure code
https://msrc-blog.microsoft.com/2019/07/16/a-proactive-approach-to-more-secure-code/

C++ does have its virtues that make it attractive and in some cases essential:
it is blisteringly fast, it has a small memory and disk footprint, it’s mature, it’s execution predictable, its platform applicably is almost unparalleled and you can use it without having to install additional components.
If only the developers could have all the memory security guarantees of languages like .NET C# combined with all the efficiencies of C++.
Maybe we can: One of the most promising newer systems programming languages that satisfy those requirements is the Rust programming language originally invented by Mozilla.

**デフォルトの名無しさん** · 2019/07/19(金) 09:12:45.57

>>598
bosqueは実験目的なのとまだ出たばかり。
実用目的のrustと比べるものじゃない。

**デフォルトの名無しさん** · 2019/07/19(金) 09:19:54.00

ﾎﾞｽｹﾃ…

**デフォルトの名無しさん** · 2019/07/19(金) 09:27:26.11

今時C++が使われる様な場面で代わりになりそうな次世代言語ってそりゃRust以外ないだろ

**デフォルトの名無しさん** · 2019/07/19(金) 11:08:45.37

Bosqueは学術的/実験的なのもあるけど
GC前提だから将来的にもC++/Rustと競合することは無いよ

**デフォルトの名無しさん** · 2019/07/19(金) 17:00:17.92

むしろ言語には縁故があるから
自前でC++コンパイラ作れるようなやつなら縁故でRust高評価
自前でF#作ったら尚更

**デフォルトの名無しさん** · 2019/07/20(土) 02:07:11.00

BosqueとKotlinはコンパイラをセルフホスティングできていない言語
GoとRustとTypeScriptはコンパイラをセルフホスティングできている言語

**デフォルトの名無しさん** · 2019/07/20(土) 02:53:55.85

なおSwift

**デフォルトの名無しさん** · 2019/07/20(土) 12:29:21.00

まあc++の使われてる範囲って結構狭いけどね。

**デフォルトの名無しさん** · 2019/07/20(土) 12:43:44.66

PCとスマホの分断により、おま環GUIの価値がなくなった
バベルの塔が崩壊した
言語よりもGUIを重視するべき理由はもうない

**デフォルトの名無しさん** · 2019/07/20(土) 14:19:34.60

rust に c++ の [[nodiscard]] みたいなのってある？

**デフォルトの名無しさん** · 2019/07/20(土) 14:21:53.77

>>605
できないってことはないのでは？現時点ではやってないか、またはやってる事実をあなたが知らないだけで。
VM使っててVM部分まで作れるわけじゃないからというのであればKotlinにはNativeが出来つつあるのでやがてVMなしで問題なく動くやつは出来上がる。

**デフォルトの名無しさん** · 2019/07/20(土) 15:20:03.63

language serverのことでは？

**デフォルトの名無しさん** · 2019/07/20(土) 15:23:08.20

どちらも正しい
やっていないから出来ていない

Javaからの自動変換も自前で作ってるがKotlinコンパイラにそれを適用する気は無いようだ
工数やリスクに対してメリットが大きくないし
企業規模的にもリソースに余裕が無いんだろう

**デフォルトの名無しさん** · 2019/07/20(土) 16:55:21.95

>>609
戻値をResult型にすれば戻値無視で警告でる。

**デフォルトの名無しさん** · 2019/07/20(土) 18:57:54.77

>>610
2行目の主張ではないことはTypeScriptのセルフホスティング例を見たらﾜｶﾙ

**デフォルトの名無しさん** · 2019/07/20(土) 19:15:39.84

>>614
それは微妙に違うと思う
TypeScriptはそもそもJavaScriptのマクロ言語だから、JavaScriptを生成できた時点で言語処理系としては完成してるんだよ
一方Kotlinはあくまで独立した言語だから、実際に動くようにならないと処理系が完成したとは言えない
つまり、処理系にJVMも含まれると解釈することもできる

**デフォルトの名無しさん** · 2019/07/20(土) 19:30:39.77

>>615
TypeScriptがJavaScriptに依存しているからおkで、
KotlinがJVMに依存しているからNGとは一体…

セルフホスティングできたというのは普通
原始言語Sから目的言語Mに変換するコンパイラMが
原始言語Sで書かれておりかつ目的言語M上で走ればOKなんである
目的言語Mを支える共通基盤（リンカや実行ファイル形式をロードして実行するOS等）が
S以外の言語で書かれているかどうかは問題にされない

**デフォルトの名無しさん** · 2019/07/20(土) 19:31:34.78

訂正；
×：コンパイラM
○：コンパイラT

Ｔ図式とかでｸﾞｸﾞればﾜｶﾙ

**デフォルトの名無しさん** · 2019/07/20(土) 22:20:22.66

セルフホスティングの利点ってなに？

**デフォルトの名無しさん** · 2019/07/20(土) 22:53:39.88

気持ちよすぎていっぱい抜けるところ

**デフォルトの名無しさん** · 2019/07/20(土) 23:46:18.67

ぬふぅ

**デフォルトの名無しさん** · 2019/07/21(日) 23:21:56.26

KotlinがJVMだけでなくNativeやJSでもセルフホスティングするには
JDKのクラスへの依存を排除してCommon Moduleとして実装する必要があるので先が長すぎる

しかしbabel-standaloneのようにブラウザ上完結でコンパイル出来たら面白いんだけどな

**デフォルトの名無しさん** · 2019/07/21(日) 23:53:13.65

今度はziglangが世界覇権を獲ったらしいぞ

**デフォルトの名無しさん** · 2019/07/22(月) 00:28:03.74

ほほぅ

**デフォルトの名無しさん** · 2019/07/22(月) 08:29:25.73

またzigは詐欺って言わないの？

**デフォルトの名無しさん** · 2019/07/22(月) 10:47:11.42

zigはむしろ愚直にそのままにするってことが分かりきってるから詐欺る所が無くない？
個人的にはC2がどうなるかって思ってたけどzigの方が開発が早くて勢力としては強そうだなぁ

**デフォルトの名無しさん** · 2019/07/22(月) 11:23:16.33

zigはモダンな記述性を持ちながらも仕組みはマニュアルなのでbetter Cの一種

GCで十分な領域では開発効率的に他の言語に負ける
Rustのコンパイル時チェックを求める層には受けない
今でもCを使うような層が移るかというと微妙

Vのような風呂敷を広げることはしていないように見えるし
Cの代わりとして出来は悪くないと思うが
シェアを取るのは厳しいんじゃないかな

**デフォルトの名無しさん** · 2019/07/22(月) 15:47:12.69

世代別GCとか進化してるからね
今のGCでもどうしてもダメなぐらいリソースが厳しい領域はすごく少ないと思う

**デフォルトの名無しさん** · 2019/07/22(月) 23:18:21.43

まあGCダメな領域は結局c使うしな。

**デフォルトの名無しさん** · 2019/07/22(月) 23:23:39.72

不確定な振る舞いが許されないためにGCを使わない領域もあるけど、
その場合はRAIIとかもダメで全部明示的に管理するしな

**デフォルトの名無しさん** · 2019/07/23(火) 12:33:23.72

コボちゃん最強

**デフォルトの名無しさん** · 2019/07/23(火) 13:00:59.28

コボちゃんはともかく固定長レコードはもっと見直されるべきだわ
現代の情報システムをゴミのように不安定にした可変長データのダイナミックアロケーションの罪は重い

**デフォルトの名無しさん** · 2019/07/23(火) 13:50:48.79

>>631
え！？マジで言ってんの？

**デフォルトの名無しさん** · 2019/07/23(火) 14:09:10.86

マジもマジ大マジよ

**デフォルトの名無しさん** · 2019/07/23(火) 14:13:41.60

太陽に宇宙船の大群、まもなく世堺教師マＩＴＬーヤが出現
http://nhk2.5ch.net/test/read.cgi/livenhk/1563792986/l50

**デフォルトの名無しさん** · 2019/07/23(火) 14:49:41.64

C++がOOによる付加価値とGCによる付加価値を分離しているような面はある
関心事の分離？

**デフォルトの名無しさん** · 2019/07/23(火) 17:11:56.18

>>631-633
ヘッダをパースしてからメモリ確保なんてやるよりは
決め打ちでできたほうがシンプルで楽だしバグを作りこみにくいのは確か
（働き方改革の波に乗って復活したりしてｗ）

**デフォルトの名無しさん** · 2019/07/23(火) 17:30:49.30

絶望的な固定長フォーマットを知るがいい
https://www.google.com/search?q=%22YYMMDD%20%E5%92%8C%E6%9A%A6%22

**デフォルトの名無しさん** · 2019/07/23(火) 20:16:21.52

別にGCある言語使ってりゃええよ。
そこまでランタイム速度がクリティカルなコードなんてここの連中は書いてねーだろ。
書いてるふりはするが。

**デフォルトの名無しさん** · 2019/07/23(火) 21:06:10.00

書いてるよ
クリティカルというよりハードがプア過ぎてGC搭載する余裕が無いとかだが

**デフォルトの名無しさん** · 2019/07/23(火) 21:48:20.63

>>636
お前みたいのいるから潜在的なバグ埋め込まれるんだよ。

**デフォルトの名無しさん** · 2019/07/23(火) 22:06:57.59

>>637
元号指定どこ…

**デフォルトの名無しさん** · 2019/07/24(水) 00:21:57.60

クリティカルというよりスケーラブル
今書いてないコードをいつか言語を変更することなく書けるふりをする

**デフォルトの名無しさん** · 2019/07/28(日) 06:27:57.33

ボスケって何ですけ？

**デフォルトの名無しさん** · 2019/07/28(日) 10:16:58.02

>>643
いま形になる前から宣伝を始めるクソみたいな言語がいくつかあってそのうちの一つ

**デフォルトの名無しさん** · 2019/07/28(日) 10:53:13.37

JULIAですね判ります

**デフォルトの名無しさん** · 2019/07/28(日) 11:53:21.70

数式のようにかけるとかなんであんなに重視するのかマジわからん。
浮動小数使ってる時点で数学的体系とは違うんだからってことを明示したほうがいいわ。

**デフォルトの名無しさん** · 2019/07/28(日) 11:55:54.42

数式以外理解できない低脳用の言語なんだろう
かわいそうに

**デフォルトの名無しさん** · 2019/07/28(日) 11:57:41.73

宣言的にやりたいことを書くと、メモリ管理とかIOとか面倒な事は誰かがやってくれる次世代プログラミングだぞ
本質的な問題に注力できるからバグが少ないんだ！

**デフォルトの名無しさん** · 2019/07/28(日) 12:05:34.90

現代に使われてる数式って言っても高々数百年の間に人間がとりあえず決めた仕様でしかないのにな

**デフォルトの名無しさん** · 2019/07/28(日) 12:16:34.04

>>648
「やってくれることもある」が本当のとこだろ。
結局最先端の研究やろうと思ったら大抵は規模もでかくなってチューニングする必要が出てくる。
そういったことを考慮しないとコンピュータ言語なんて使い物にならんから。

**デフォルトの名無しさん** · 2019/07/28(日) 12:22:57.69

>>649
いっぽおプログラム言語さん・・・ｗ

**デフォルトの名無しさん** · 2019/07/28(日) 15:21:03.87

(a * b) * c == a * (b * c)
中置記法は人間が決めた
結合法則は人間が決めてない

**デフォルトの名無しさん** · 2019/07/28(日) 16:05:59.20

>>646
小数点がピリオド(.)なのに納得できないカンマ(,)派の逆襲？w
それ以前に日本だとカンマ？コンマ？

**デフォルトの名無しさん** · 2019/07/29(月) 18:33:02.43

パラダイムを変えるのではなくメタレベルの機能を追加するだけでHaskell的になる
C++とRustはそれを実践している

**デフォルトの名無しさん** · 2019/07/29(月) 21:29:58.03

単純に評価順序変えるだけの話でそんなのはlispがとっくの昔にやってるんだよ。

**デフォルトの名無しさん** · 2019/07/29(月) 21:45:55.59

https://i.imgur.com/7ssVURS.jpg

**デフォルトの名無しさん** · 2019/07/29(月) 22:17:18.50

数式と距離を置くてはなしならすべてのリテラルにブラケット必須になればいいと前から夢想してる。
x = a + literal"-12.3";
スクリプト系では邪魔すぎ受け入れられないけど
構文とリテラルの表記を別の段に出来るじゃん

**デフォルトの名無しさん** · 2019/07/29(月) 23:28:13.59

ブラケットと言いつつダブルクォートを使う斬新さ

**デフォルトの名無しさん** · 2019/07/30(火) 00:59:09.61

>>656
グロ

**デフォルトの名無しさん** · 2019/08/08(木) 22:09:17.40

>>644
( ´・∀・｀)へー

**デフォルトの名無しさん** · 2019/08/08(木) 23:36:36.18

>>659
グロではなかったな

**デフォルトの名無しさん** · 2019/08/11(日) 01:58:28.49

https://www.ponylang.io
一つのアクターでループ回し続けてるとメモリーが溢れて死ぬ言語はいかが？

**デフォルトの名無しさん** · 2019/08/11(日) 10:12:27.47

記憶力がないやつって人のふり暗記して我がふり忘れるんだよな
自戒を込めたら両方記憶できるのに

**デフォルトの名無しさん** · 2019/08/11(日) 10:14:10.06

俺じゃん
どうやったら自戒をこめられるの？

**デフォルトの名無しさん** · 2019/08/11(日) 10:24:10.70

自戒予告

**デフォルトの名無しさん** · 2019/08/11(日) 10:26:21.20

通報しますた

**デフォルトの名無しさん** · 2019/08/11(日) 10:47:47.85

>>664
弱肉強食をやめる
強者 vs. 強者のような似たもの同士で自戒を込める

**デフォルトの名無しさん** · 2019/08/11(日) 11:29:08.35

弱肉強食なつもりないんだけど実は俺食われてたりするの？

**デフォルトの名無しさん** · 2019/08/11(日) 21:14:22.69

>>664
アスペルガーでググって

**デフォルトの名無しさん** · 2019/08/11(日) 21:43:20.46

俺も昔からアスペだと思ってるけど怖いから病院行ってない

**デフォルトの名無しさん** · 2019/08/11(日) 22:51:44.35

プログラマの95割はアスペ説あると思います。

**デフォルトの名無しさん** · 2019/08/11(日) 23:16:47.40

95割

**デフォルトの名無しさん** · 2019/08/12(月) 01:22:07.47

アスペルガー95

**デフォルトの名無しさん** · 2019/08/12(月) 11:48:04.20

アスペの好例
https://breaking-news.jp/2019/08/09/050224

**デフォルトの名無しさん** · 2019/08/12(月) 12:06:06.17

>>674
これ５ちゃんにスレ立てるべき

**デフォルトの名無しさん** · 2019/08/12(月) 20:10:13.54

真のアスペは明確で無矛盾な指示をちゃんと与えないとすぐ死ぬから飼育が難しい
めったにお目にかかれない

**デフォルトの名無しさん** · 2019/08/12(月) 22:22:37.43

客は謝ってもらってどうする気だったのか
損害を補填するよう求めるでもなし
ほんとに暇でからんでるだけに見える

**デフォルトの名無しさん** · 2019/08/12(月) 22:44:29.48

期待値に収束するまでガチャをやめない体質

**デフォルトの名無しさん** · 2019/08/12(月) 22:53:10.28

コンパイラはアスペ？

**デフォルトの名無しさん** · 2019/08/12(月) 22:58:22.18

素人が作ったコンパイラはね
お前が普段使ってるやつは、バグひとつ見つけてもこうだろうと修正を仮定して動き続けるし
変数名のtypoとかも余裕で修正候補教えてくれるでしょ？
そんなコンパイラからみたら逆にお前は知恵遅れだよ

**デフォルトの名無しさん** · 2019/08/12(月) 23:51:40.14

俺アスペだけどそれぐらいはできるよ
説明が適当だとその説明に当てはまる候補の中からどれなのか予想はできるけどそれが正しいかわからないから行動できない
天才だとか昔から言われるけど結局ただのバカで、他の人が勝手に候補から外したものまで俺の場合は候補に入ってるってだけ

**デフォルトの名無しさん** · 2019/08/12(月) 23:57:40.98

ほんとしょうもない才能に特化したアスペってたまにいるよな
何のために生きてるんだろうな

**デフォルトの名無しさん** · 2019/08/13(火) 00:07:30.63

お前を食べるためだよ

**デフォルトの名無しさん** · 2019/08/13(火) 00:13:53.83

ちょっとﾜﾛﾀ
うぜえんだよバカ

**デフォルトの名無しさん** · 2019/08/13(火) 00:21:41.47

仲良くしなさい

**デフォルトの名無しさん** · 2019/08/13(火) 00:41:10.65

道徳の明確で合理的な根拠を与えないとすぐ壊れるのはモラルハザード

**デフォルトの名無しさん** · 2019/08/13(火) 09:24:06.60

>他の人が勝手に候補から外したものまで俺の場合は候補に入ってる

境界型だな

**デフォルトの名無しさん** · 2019/08/13(火) 14:48:31.04

これも次世代言語に入るの？

P++: 静的型付けをめざすPHP
https://ezoeryou.github.io/blog/article/2019-08-13-p++.html

**デフォルトの名無しさん** · 2019/08/13(火) 15:04:45.67

セキュリティホール製造機はちょっと…

**デフォルトの名無しさん** · 2019/08/14(水) 15:10:01.62

PHP処理系をRustで書き直せば良い

**デフォルトの名無しさん** · 2019/08/14(水) 21:17:55.35

P++の現状､そして銀河に平和をもたらせるのか?
https://qiita.com/tadsan/items/80cd844ee612c6cadabf

＞いわゆる｢P++(仮称)｣について､2019年8月現在で決まった事実は何もない

**デフォルトの名無しさん** · 2019/08/14(水) 21:27:23.07

rustはc++を置き換えるためと言いつつc++と同じ道を辿ってるのがクソだわ。

**デフォルトの名無しさん** · 2019/08/14(水) 21:55:54.54

クラスの解体と所有権とトレイトの導入によって二度とC++に戻ることは無いと思ったのだけど違うの？

**デフォルトの名無しさん** · 2019/08/14(水) 22:09:47.98

分かったフリして偉そうなことを言いたい年頃なんだ
許してやれ

**デフォルトの名無しさん** · 2019/08/14(水) 22:37:29.08

c++には道なんてないんだから辿りようもない

**デフォルトの名無しさん** · 2019/08/14(水) 23:43:03.07

そうまでしてPHPにしがみつく理由がわからない

**デフォルトの名無しさん** · 2019/08/15(木) 05:55:14.48

悪の枢軸
ttps://gihyo.jp/news/report/2015/12/1401