次世代言語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/01(火) 20:09:54.99

(´-`).oO(なんでだろう)

**デフォルトの名無しさん** · 2019/10/01(火) 20:17:11.51

Juliaプログラミングクックブック ―言語仕様からデータ分析、機械学習、数値計算まで

**デフォルトの名無しさん** · 2019/10/01(火) 20:27:06.74

おー
出るのか。

**デフォルトの名無しさん** · 2019/10/01(火) 21:06:49.32

RDBをオブジェクトにマップするようにモナドをオブジェクトにマップするのがJava系
オブジェクト無視してHaskellそのまま全部再現するのがAltJS

**デフォルトの名無しさん** · 2019/10/01(火) 21:52:47.37

>>46
Scalaは高階カインド多相が使えるからファンクタやモナドが普通に作れるがTypeScriptなどの他の言語はそうではない

**デフォルトの名無しさん** · 2019/10/01(火) 21:56:51.81

高階カインド多層をTSに入れたら完全におもちゃにされるだろうね
今ですら型パズルがどうのっていってるし

**デフォルトの名無しさん** · 2019/10/01(火) 22:07:51.02

難しそうな用語だと思ってググったけどC++のテンプレートと同じやつか

・・・入れない方が良い

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

出たよモナダー
そりゃ嫌われるわ

**デフォルトの名無しさん** · 2019/10/01(火) 22:17:19.36

モナドという概念はややこしくてもひとつひとつのモナドはそれ自体のコードも使い方も別にふつうだし
使いやすいライブラリ設計してたら自然にモナドになっていることもある

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

開けモナドよ

**デフォルトの名無しさん** · 2019/10/01(火) 22:34:17.59

モナド語ってる奴も別にマクレーンの圏論の基礎とか読んでるわけでもないし半端もんよ。

**デフォルトの名無しさん** · 2019/10/01(火) 22:41:20.42

本当にマクレーン読んだ？

**デフォルトの名無しさん** · 2019/10/01(火) 22:49:10.23

>>57
お前モナー
モナドだけに

**デフォルトの名無しさん** · 2019/10/01(火) 23:08:36.80

今どき圏論やるのにCWMから始める方が半端もん

**デフォルトの名無しさん** · 2019/10/01(火) 23:40:18.89

Zen言語なる言語がリリースされたらしい
https://zen-lang.org/ja-JP/

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

より宗教色の強い言語です

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

>>61
rust から次世代的な機能を全部取り除いた一見次世代っぽいけど全然次世代じゃない言語に見えるけど
何か良い所があるのだろうか？

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

もともとZigという言語があって、そこからforkした言語だからRustはあまり関係ない

**デフォルトの名無しさん** · 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++にはバグがないということになるが？