次世代言語18 V Julia 他

**デフォルトの名無しさん** · 2019/09/30(月) 23:11:51.54

スレタイ以外の言語もok

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

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

お前らが大好きなScala情報貼っとくぞ😊

Scala研修テキストが株式会社ドワンゴ様から寄贈されました
https://blog.scalamatsuri.org/entry/2019/10/01/163533

**デフォルトの名無しさん** · 2019/10/02(水) 09:04:38.16

ドワンゴがドヤって手を出す言語は地雷判定として結構機能する。

**デフォルトの名無しさん** · 2019/10/02(水) 09:50:25.78

単にドワンゴが傾いてるだけだと思う

**デフォルトの名無しさん** · 2019/10/02(水) 12:34:38.11

>>61
キャッチャーミットわろす

**デフォルトの名無しさん** · 2019/10/02(水) 13:42:18.26

>>65
前から無料で読めたが？

**デフォルトの名無しさん** · 2019/10/02(水) 13:49:59.88

>>66
RustとScalaだな

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

https://dwango.github.io/articles/frugalos/

>ドワンゴではniconicoの配信系サービスのバックエンドで利用するために、Frugalosという名前の分散オブジェクトストレージを開発しているのですが、この度OSSとして公開することとなりましたので、この場を借りて軽く紹介させて貰います。

>FrugalosはRustで実装されており、現時点では以下のリポジトリが公開されています

うおおおおおおお！！！！！！！！！

**デフォルトの名無しさん** · 2019/10/02(水) 15:26:48.08

ジャップのプロダクトって名前が壊滅的にダサいよなｗｗ
ガイジン失笑ｗｗｗ

**デフォルトの名無しさん** · 2019/10/02(水) 15:49:38.45

質素os

**デフォルトの名無しさん** · 2019/10/02(水) 15:50:51.02

ドワンゴに所属してたことがあるエンジニアってだけで
こいつ仕事できねえんだろうなって思うは

**デフォルトの名無しさん** · 2019/10/02(水) 16:04:15.75

蟻さんのことか

**デフォルトの名無しさん** · 2019/10/02(水) 16:33:15.50

じゃあ逆にお前らが仕事できるって思う企業はなんなんだよ

**デフォルトの名無しさん** · 2019/10/02(水) 16:55:18.20

>>75
アリさんマークの引っ越し社。

**デフォルトの名無しさん** · 2019/10/02(水) 17:10:30.99

ドワンゴ一時期の大量退職の後に比較的優秀な人が入って立て直したかと思ったのに
また大量に辞めたんだな

**デフォルトの名無しさん** · 2019/10/02(水) 18:29:37.09

どこが使ってるからダメだとか言ってるだけで
こいつ仕事できねぇんなろうなって思うは

**デフォルトの名無しさん** · 2019/10/02(水) 19:17:51.82

>思うは

力抜けるからやめろｗｗｗ

**デフォルトの名無しさん** · 2019/10/02(水) 19:40:04.95

Rustはモジラだからダメとか言ってる奴は前からいたな
GAFAに勝てるわけがないみたいな
順張り原理主義か

**デフォルトの名無しさん** · 2019/10/02(水) 19:50:47.59

まあ実際のところrustはインデックスオーバーのエラー出したりしてんだよね。
あそこまで安全言うててそういうバグ出すとかしょーもねーなと思うわｗ

**デフォルトの名無しさん** · 2019/10/02(水) 20:00:15.99

インデックスオーバーって何？

**デフォルトの名無しさん** · 2019/10/02(水) 20:08:58.83

モジラには分散処理のノウハウが乏しいという意味なら批判は妥当
逆にそれがRustの差別化要因になったわけだが

**デフォルトの名無しさん** · 2019/10/02(水) 20:34:03.31

バカはオールオアナッシングでしかモノを考えられない

**デフォルトの名無しさん** · 2019/10/02(水) 20:58:26.74

Rustちゃんスタックに適度にでっかい構造体作るとオーバーフロー検出してくれるんだけど
それを越えたクッソでかい構造体だとオーバーフロー検出されずにsegfaultするのはしゃーないんやろか

**デフォルトの名無しさん** · 2019/10/02(水) 21:08:04.33

Rust言語のメリットと課題、「Azure IoT Edge」の事例から分かること
https://www.atmarkit.co.jp/ait/articles/1910/02/news094.html

Microsoft Security Response Center(MSRC)は2019年9月30日(米国時間)、Microsoft社内におけるRust言語の採用事例を発表した。

ガベージコレクションのランタイムオーバーヘッドを避けたかったため、Go言語は選択肢から外れた。
加えて、デーモンに必要なセキュリティ関連の要件から、メモリや並行性(コンカレンシー)に由来するバグに対処する必要のない言語が必要だった。
こうした条件を踏まえ、Rustが最適だという結論に達した。

Azure IoT Edgeの一般提供を開始する前に外部のセキュリティベンダーと契約し、開発したソフトウェアに対するペネトレーションテストを実施した。その結果、コードベースのうち、Rustで作成した部分では、セキュリティ問題が見つからなかった。

開発時にはRustエコシステムが役立った。開発当初から、「rust-clippy」を使用し、Rustコンパイラがカバーしない範囲の細かい警告を出力させることにした。

加えて、継続的インテグレーション(CD)を実行する際、Rustコードの整形ツール「rustfmt」による処理を経ていないプルリクエストを却下する仕組みを採用したことで、コードベース全体で一貫したコードの整形が可能になった。

Rustコンパイラの更新プロセスとツール整備は順調に進んだ。コンパイラへのアップグレードは、ほぼ常にスムーズだった。

**デフォルトの名無しさん** · 2019/10/02(水) 22:15:39.37

スレタイから却下されたエセ次世代言語の話をだらだらするのやめようぜ

**デフォルトの名無しさん** · 2019/10/02(水) 22:23:35.74

じゃあV言語の話でもするか

**デフォルトの名無しさん** · 2019/10/02(水) 22:34:48.77

V言語ってGoの人たちがやたらネガキャンしてたよな

**デフォルトの名無しさん** · 2019/10/02(水) 22:51:59.69

集金詐欺だからな。

**デフォルトの名無しさん** · 2019/10/02(水) 22:57:27.47

メモリリークしかしない言語なんて擁護しようがない

**デフォルトの名無しさん** · 2019/10/02(水) 23:00:27.33

CIではなくCDと略されるようになったのか？

**デフォルトの名無しさん** · 2019/10/02(水) 23:04:59.04

いまどきCDて
DVDだろ

**デフォルトの名無しさん** · 2019/10/02(水) 23:11:12.76

Scalaってなんで最近聞かないんだ？

**デフォルトの名無しさん** · 2019/10/02(水) 23:18:21.13

>>94
brulayだろおっさんｗｗｗ

**デフォルトの名無しさん** · 2019/10/02(水) 23:35:30.41

メモリは1.5年ごとに倍になるし、

**デフォルトの名無しさん** · 2019/10/02(水) 23:35:37.83

Scalaスレってもうないのな

**デフォルトの名無しさん** · 2019/10/02(水) 23:36:48.12

集金詐欺という意味なら最近出てる新しい言語は皆該当する

**デフォルトの名無しさん** · 2019/10/03(木) 09:18:54.47

P++はどう？

**デフォルトの名無しさん** · 2019/10/03(木) 09:41:25.91

>>100
計画としてすら存在しない言語についてどうと言われても

**デフォルトの名無しさん** · 2019/10/03(木) 11:06:26.15

ようこそここへ　（クックブック）

**デフォルトの名無しさん** · 2019/10/03(木) 11:20:52.04

Perl6はどう？

**デフォルトの名無しさん** · 2019/10/03(木) 11:43:05.22

TS界隈が燃えてるな
俺が予想した通りだ
型で遊びたいやつらがマウント取り始めた
もう終わりだ

**デフォルトの名無しさん** · 2019/10/03(木) 11:52:52.78

https://www.npmjs.com/package/typescript
もう終わりだ

**デフォルトの名無しさん** · 2019/10/03(木) 12:14:21.23

そういえば炎上して消滅したパッケージがあったな

**デフォルトの名無しさん** · 2019/10/03(木) 12:21:08.52

次のスレタイは

次世代言語アンチスレ19 TypeScript Rust 他

に変更しないか？🤔

**デフォルトの名無しさん** · 2019/10/03(木) 12:51:34.84

>>107
イイネ

**デフォルトの名無しさん** · 2019/10/03(木) 12:53:58.11

>>104
https://speakerdeck.com/uhyo/an-quan-xing-falseji-bei-karajian-rutypescript
any型は嘘ってやつか
いかにも型合わせパズルばっかやってて
実際にモノ作ることには興味ない奴が言いそうなことだ

**デフォルトの名無しさん** · 2019/10/03(木) 13:20:34.90

何が問題なんだ？
any型を使うことは型チェッカに嘘をつくことであるというのは完全に正しいが

**デフォルトの名無しさん** · 2019/10/03(木) 13:26:52.90

型システム様のご機嫌伺いのためにコーも書いてる訳じゃないんで
作るべきモノがあるからコード書いてるんで

**デフォルトの名無しさん** · 2019/10/03(木) 13:27:17.34

コードな。typo

**デフォルトの名無しさん** · 2019/10/03(木) 14:38:35.18

そもそも炎上してるってどこ情報よ

**デフォルトの名無しさん** · 2019/10/03(木) 14:55:45.10

VSやVSCodeとかならJavaScriptでも型推論してくれるし
型を明示したいならJSDocを書けばいいだけだから無理してTypeScript使う必要もないかな

**デフォルトの名無しさん** · 2019/10/03(木) 16:00:45.51

>>104-105

始まってすらいない

**デフォルトの名無しさん** · 2019/10/03(木) 16:24:21.32

結局JSDocで型書くならTypeScriptで静的チェック強制した方がいいんだよなあ

**デフォルトの名無しさん** · 2019/10/03(木) 16:25:51.66

型合わせパズル型合わせパズルって言ってるけどC#程度の強度でもDynamic使わずにまともにプロダクト作られて運用されてるのにanyが型システム的に嘘って言われた程度で騒ぐ人って…

**デフォルトの名無しさん** · 2019/10/03(木) 16:54:32.05

typescriptは構造的部分型だからそのDynamicに型を付けていくようなものなんだよ

**デフォルトの名無しさん** · 2019/10/03(木) 17:37:19.25

どの言語使おうと堅牢に作ろうと思えばその分コストかかるってだけの話なんだよな。

**デフォルトの名無しさん** · 2019/10/03(木) 18:09:46.31

>>119
メンテナンスコストを含めるとどうだろうね

**デフォルトの名無しさん** · 2019/10/03(木) 18:17:34.75

メンテナンスコスト考えるならJava、PHP、jQueryだけ使うべき

**デフォルトの名無しさん** · 2019/10/03(木) 18:19:08.06

既存のJSプロジェクトからの移行ならともかく最初からTSで書くプロダクトならパズル言うほど複雑にならんぞ

**デフォルトの名無しさん** · 2019/10/03(木) 19:48:39.53

旧世代言語、現世代言語の総合スレも欲しい

**デフォルトの名無しさん** · 2019/10/03(木) 19:49:39.86

>>118
C/C++だって生メモリに対して型を仮定してるだけだから似たようなもん

**デフォルトの名無しさん** · 2019/10/03(木) 20:09:06.24

C++は例外安全パズルだったな
「CのコードはそのままC++のコードとして使える」が嘘八百だと割り切れば解ける
嘘八百だは言い過ぎだろなんて擁護してたら解けないパズル

**デフォルトの名無しさん** · 2019/10/03(木) 20:20:39.48

>>118
前スレでは型がどうとか言ってたな
時間の経過とともにトーンダウンしてるのは気のせいか

**デフォルトの名無しさん** · 2019/10/03(木) 20:22:34.58

>>118
漸進的型付けではなく構造的部分型なの？

**デフォルトの名無しさん** · 2019/10/03(木) 20:37:15.91

次世代言語スレがアホばっかりになったな

**デフォルトの名無しさん** · 2019/10/03(木) 20:57:54.84

>>127
構造的部分型を利用して漸進的型付けを実現している

**デフォルトの名無しさん** · 2019/10/03(木) 21:07:54.91

型を指定すると何も作ってないことになるんだからすごい

**デフォルトの名無しさん** · 2019/10/03(木) 21:22:20.83

プロダクトを作るって観点で言語を議論せず
やれ型パズルだのやれ安全パズルだのぐだぐだ言うバカばっかになった

**デフォルトの名無しさん** · 2019/10/03(木) 21:37:23.32

>プロダクトを作るって観点で言語を議論せず

どうせ「俺はこれで作れるんだ」の応酬で議論にならない

**デフォルトの名無しさん** · 2019/10/03(木) 21:48:13.86

>>125
元々互換性は完全では無いけど、例外安全と何か関係あったっけ？

**デフォルトの名無しさん** · 2019/10/03(木) 22:17:31.43

>>129
構造的部分型の名を出した方向性は分かったがそこからどうanyの議論に発展するのか分からないな

**デフォルトの名無しさん** · 2019/10/04(金) 00:07:17.02

例外はcatchしなければexitに似ているが
catchしたら、Cなら既に終了しているプログラムがまだ動いているようなもの

**デフォルトの名無しさん** · 2019/10/04(金) 01:16:49.91

例外はCで対比するなら戻り値かerrnoで処理するものだから普通に動いているだろ

**デフォルトの名無しさん** · 2019/10/04(金) 04:05:19.24

>>64
zigとの違いはナンでしょう

**デフォルトの名無しさん** · 2019/10/04(金) 05:08:00.22

マネージャー「このままじゃ期限に間に合わないが……大丈夫か？」

型ガイさん「大丈夫です！！！メンテナンスのことを考えて型に拘っていますので、品質の良いものができるかと！！！！！」

マネージャー「型？そこは拘らなくていいから期限を……」

型ガイさん「僕に嘘つきになれって言うんですか！！？！！！！？？？？？？！！！！！！」ﾄﾞﾝｯ!！！！

**デフォルトの名無しさん** · 2019/10/04(金) 05:44:54.38

型定義できるのにany使うのはただの手抜きでしょ
テスト書かない奴・ドキュメント書かない奴と同レベルの言い訳されてもね
程度が知れるわ

**デフォルトの名無しさん** · 2019/10/04(金) 05:51:43.29

>>139
ほんとそれ
俺達真実の探求者からするとanyは許せないよな。嘘つきの言葉を許すな！w

**デフォルトの名無しさん** · 2019/10/04(金) 06:03:38.67

>>138
マネージャ無能すぎるだろ
こわい現場だ

**デフォルトの名無しさん** · 2019/10/04(金) 06:11:57.87

型書いたぐらいで期限に間に合わなくなるってことは、当然テストもロクにしてないわけで……

**デフォルトの名無しさん** · 2019/10/04(金) 06:21:51.96

そりゃテストなんて書かないでしょ
作るべきもがあるからな！ﾄﾞﾝｯ

**デフォルトの名無しさん** · 2019/10/04(金) 07:03:06.07

「型合わせ終わったからバグはありません！」
「どれどれ」
「バグだらけじゃねーか！ふざけんな！」
「型合わせ終わったのにどうして....」

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

型システムを過信し過ぎるのも型を軽視しすぎるのもよくないねという話なんだよな
型が合って出なくなるバグは型にエンコードした情報だけって事すら認識してない人間が型パズル型パズルって馬鹿にしてそう

**デフォルトの名無しさん** · 2019/10/04(金) 07:16:14.13

>>144の思考だとvoid*を使わないC/C++にはバグがないということになるが？

**デフォルトの名無しさん** · 2019/10/04(金) 07:25:07.97

このスレJuliaと銘打ってるのにJuliaの話題出てこない。

**デフォルトの名無しさん** · 2019/10/04(金) 07:42:49.57

「any」というのはですね、嘘吐きの言葉なんです。中途半端に型を使うからanyになるんですよ。

**デフォルトの名無しさん** · 2019/10/04(金) 08:09:42.31

TS信者はany推しでどでかい墓穴を掘ったな

**デフォルトの名無しさん** · 2019/10/04(金) 09:37:31.16

最近の言語だとvar someClass = new SomeClass()みたいなnew演算子は排除するのがトレンドなのかな
C++だとnewのあるなしで確保先をスタックとヒープに分けるから意味あるけど
Java以降の言語でオブジェクト生成に毎回new打たせる意味は結局よく解らなかったな
特に意味もなくnew打たせる言語はもはやレガシー感漂う

**デフォルトの名無しさん** · 2019/10/04(金) 10:18:13.78

Goに至ってはnewはゼロ初期化明示に残ってこそいるけれどスタックかヒープかは自動でコンパイラが割り振るしな

**デフォルトの名無しさん** · 2019/10/04(金) 10:50:08.23

ハンガリアンかな
接頭辞newを見て補完候補を絞り込む

**デフォルトの名無しさん** · 2019/10/04(金) 11:52:27.87

JavaScriptのnewの有無による差（言語仕様）が嫌い

**デフォルトの名無しさん** · 2019/10/04(金) 11:58:03.15

あとjsonなどで思うのが
　list: [
　　　aa
　　　bb
　]
または
　list: [
　　　aa,
　　　bb,
　]
のように書きたい
リストの中間か最後(または先頭)かでカンマの有無を調整したくない

**デフォルトの名無しさん** · 2019/10/04(金) 12:53:10.74

dartはそこらへん緩かったような
a = [3,3,if (hoge) 4,for () i]
とかもできるようなったし。

**デフォルトの名無しさん** · 2019/10/04(金) 13:03:54.51

>>154
中間のカンマ省略可能だと式書きたいときに困るでしょ

**デフォルトの名無しさん** · 2019/10/04(金) 14:38:10.03

TSの型狂信者なんて関数型言語の狂信者に比べれば数も個体の狂暴性も大したことないじゃん

**デフォルトの名無しさん** · 2019/10/04(金) 15:33:27.96

コードの書き方勉強するならもちろん外人が書いたコードを見た方が上達するんだろ？

**デフォルトの名無しさん** · 2019/10/04(金) 16:24:52.16

そらネイティヴやからな

**デフォルトの名無しさん** · 2019/10/04(金) 16:59:50.32

>>157
なにそのウンコよりゲロの方がマシ理論
これだから型パズル大好きマンは

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

型パズルってフレーズここで聞きすぎてむしろ静的型チェックのない強い型付けの言語の方が型パズルだと思うようになってしまったけど…

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

とりあえずテストコード書こうぜカスども。

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

部品の型を言えばオートでパズル解いてくれるのが静的型チェックで、
人間がこの部品がどこならちゃんとはめられるか考えないといけないのが動的型付けだから、
なるほど型パズルなのは動的付け型の方だな

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

付け型ってなんやねん

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

解いてはくれねえだろ
コンパイラが間違いだと思ったら指摘するだけでよ
コンパイラが仕様を理解して正解を提案してくれる訳でもあるまいし
結局人間がきっちり書くしかねえんだよ

型が合えば満足する奴はそこがわかってない