次世代言語21 Go Nim Rust Swift Kotlin TypeScript

**デフォルトの名無しさん** · 2020/04/19(日) 15:06:02.92

スレタイ以外の言語もok

前スレ
次世代言語18 Go Rust Elixir Kotlin TypeScript (実質20)
https://mevius.5ch.net/test/read.cgi/tech/1569866283/

**デフォルトの名無しさん** · 2020/12/03(木) 18:35:40.61

とりあえずTaPL読んで

**デフォルトの名無しさん** · 2020/12/03(木) 21:11:04.97

翻訳めちゃくちゃ叩かれててワロタｗｗｗ

**デフォルトの名無しさん** · 2020/12/04(金) 00:09:50.97

マウント取った気分になれれば何でもいいんだなこいつ

**デフォルトの名無しさん** · 2020/12/04(金) 01:17:58.73

お前ら面白い奴らだな
コロナが流行っていなかったら
オフミ開いて喧々諤々したいところだわ

**デフォルトの名無しさん** · 2020/12/04(金) 02:13:30.09

喧々諤々もいいけれど
クラスベースオブジェクト指向の継承と
モジュラリティーが相反することは
共通認識ということでいいよな

**デフォルトの名無しさん** · 2020/12/04(金) 03:05:02.00

喧々諤々は間違い
喧々囂々、侃々諤々、が正しい
いい歳こいて恥ずかしいぞ
ていうか変換時に気づけ

**デフォルトの名無しさん** · 2020/12/04(金) 07:24:18.06

>>407
モジュラリティ？型推論の話どこいったん？

**デフォルトの名無しさん** · 2020/12/05(土) 21:04:04.49

まさにこの症状
https://qiita.com/hirokidaichi/items/adccebb41f77eaa6132f

**デフォルトの名無しさん** · 2020/12/06(日) 11:05:17.77

話者をdisったところでOOP関係なく型に機能付けすぎると決定不能になるのは事実だからなぁ

**デフォルトの名無しさん** · 2020/12/06(日) 18:17:03.73

だから型に機能をつけすぎるじゃなくて問題は型の分類をどこまでやるかってことだっての。。何回言わせるんだよ。。

**デフォルトの名無しさん** · 2020/12/06(日) 19:03:42.13

>>412
一般的に通用する定義を使って話さないと、一生かかっても誰にも理解されないよ
その分類ってのは厳密にはなに？

**デフォルトの名無しさん** · 2020/12/06(日) 22:48:01.01

型はないほうがいい。究極的には。

**デフォルトの名無しさん** · 2020/12/07(月) 00:18:42.29

ねーよ

**デフォルトの名無しさん** · 2020/12/07(月) 07:36:57.33

シェルスクリプトかな？

**デフォルトの名無しさん** · 2020/12/07(月) 23:25:24.59

ざっくり言うとインライン展開できない関数は型推論もできない

**デフォルトの名無しさん** · 2020/12/08(火) 11:27:25.28

なんでJSXなんてものまで出てきたのにHTMLを書かなきゃいけないんだ？

**デフォルトの名無しさん** · 2020/12/08(火) 11:58:19.43

ハァ？HTMLの文法に未練があるからJSX使うんだろ？
あれコンパイル後はJSの関数呼び出しになるんだぞ？
HTMLの文法に未練がないなら最初からReact.createElement使って入れ子の関数で自分で書けばいい。
誰もそうしないのはHTMLの文法に未練があるから。

**デフォルトの名無しさん** · 2020/12/11(金) 15:59:53.87

wasmにコンパイルされる言語探してたら良さげなもん見つけた
https://github.com/grain-lang/grain

**デフォルトの名無しさん** · 2020/12/19(土) 00:30:47.02

普通にrustじゃん？お漏らしスコープでtraitの無い

**デフォルトの名無しさん** · 2020/12/19(土) 09:06:04.43

ところでscalaはダメなんですか？

kotlinてのがあるらしい
↓
見てみるとさほど惹かれない
↓
scalaてのがあるらしい
↓
kotlinにくらべて随分意欲的やんけ！
↓
_=とか？.curriedつけないとカリー化されないとか？
複数パラメータリストに部分適用しようとして _ をつけないといけないとか？
ヴァリアントがないとか？うーん？　←いまここ

**デフォルトの名無しさん** · 2020/12/19(土) 09:23:44.43

jvmが取り憑いてるから

**デフォルトの名無しさん** · 2020/12/19(土) 10:12:52.69

信者がアレだから

**デフォルトの名無しさん** · 2020/12/19(土) 10:14:58.08

関係なかろう

**デフォルトの名無しさん** · 2020/12/19(土) 14:34:57.88

雑食系エンジニア・KENTA、2020/3

Scalaが日本で衰退し始めている理由を説明します
https://www.youtube.com/watch?v=kFzLia7YZQU

Scala は、キャズムを超えられなかった

新規参入してくる初心者に、マウントを取ってくるベテが多い。
そういうベテに誰も注意しないから、コミュニティーが廃れた。
学習コストが高いから、偏屈な人間が多い

Ruby は全く逆。
親切な人が多く、コミュニティーが強い

他にも、キャズムを超えられなかった言語は、Rust, Elixir。
キャズムを超えた言語は、Go

よって、初心者が学ぶべき順番は、Ruby → Go

**デフォルトの名無しさん** · 2020/12/19(土) 17:28:00.48

えええええええええ

**デフォルトの名無しさん** · 2020/12/19(土) 18:00:53.27

5chのような人が多いってこと？

**デフォルトの名無しさん** · 2020/12/19(土) 18:23:51.65

名探偵ホームズで
田舎の警官は親切で優秀だと
どう考えても事実と真逆のことが何度も書いてあったのを思い出して
なんというか
人心誘導的な感じがする

**デフォルトの名無しさん** · 2020/12/19(土) 19:41:31.71

>>426
その動画は的外れと思う
心理的安全とやらじゃなくて言語の魅力という点で伸びがなかったのが原因と思う
なんとなく期待するいろいろに対して
調べていくうちのあれあれあれーっ？が多すぎた
（個人の感想です）

**デフォルトの名無しさん** · 2020/12/19(土) 21:20:19.06

ケンタはホモ（個人的な観測の範囲からの推測です）

**デフォルトの名無しさん** · 2020/12/19(土) 21:56:11.82

つかどう考えてもだめだろこれ
昔自分の記事をこきおろされたのを根に持って
人を名指しで侮辱したあげくにコミュニティからの排除を煽るとか
クズにもほどがある

**デフォルトの名無しさん** · 2020/12/19(土) 21:56:27.33

>>426
聞いたことないけど、キャズムってどんな言語なの？
コイツが考えた言語？

**デフォルトの名無しさん** · 2020/12/19(土) 22:03:48.02

>>433
英単語のchasmが由来のカタカナ語
意識高い系いつもの日本語でおk案件

**デフォルトの名無しさん** · 2020/12/19(土) 22:14:00.45

イノベーター理論だよ

**デフォルトの名無しさん** · 2020/12/19(土) 22:26:25.16

>>434
キャズム => 断絶
破壊的イノベーション => 破壊的革新
ブルーオーシャン => 青い大海
リーンスタートアップ => 痩せ型新興企業

横文字にすると一般的な単語との区別がつきやすくて付随する意味がとりやすいんだよ
プログラミング、コンパイル、データベースなんかも同じ

**デフォルトの名無しさん** · 2020/12/19(土) 22:40:02.67

>>436
それはそう
ただその文脈が共有されてない外部向けにまで使ってるのは、受け手にとって未知で特殊な単語を使ってる事から発生する権威性によるマウントの側面があって私は嫌いなので日本語でおkと言っている

**デフォルトの名無しさん** · 2020/12/19(土) 23:22:22.02

アグリーとか言ってんのは賛成では表現できない
深い意味合いあるんかね

**デフォルトの名無しさん** · 2020/12/19(土) 23:30:46.86

>>437
めんどくさいやっちゃな

知ってて当然と思われてるだろう用語を知らない自分を認識していて
それをどこか後ろめたく思ってるから権威性マウントと感じてしまうんでしょ
知らないのが当たり前で発信する側が当然説明すべきと考えてたらそうは感じないよね
(>>433がいい例)

5chなら”お前こんな事も知らないのかよ”って煽られるけど
人間知らないことのほうが多いんだから開き直っとけばいいよ

**デフォルトの名無しさん** · 2020/12/20(日) 00:01:36.19

>>438
それは専門用語ではないからまた違った横文字の使われ方だと思うよ

**デフォルトの名無しさん** · 2020/12/20(日) 03:37:23.15

>>438
書いといた
三大バカが意味も分からず使いたがる用語デプロイ
https://medaka.5ch.net/test/read.cgi/prog/1597086668/

**デフォルトの名無しさん** · 2020/12/20(日) 06:34:20.05

>>436
「断絶」にしても意味がわからないな。

**デフォルトの名無しさん** · 2020/12/20(日) 08:13:45.54

>>439
自分がどうこうというよりも無知な人々から金をかすめとろうとするタイプの人がそういうムーブをしがちなので嫌いなのよ
言われてる側面が自分に全くないかと言われると否定しきれないけどね

**デフォルトの名無しさん** · 2020/12/20(日) 08:29:03.54

ScalaはScalaエンジニアが多言語をバカにするせいで誰も近寄らなくなって衰退したって聞いた
初心者お断りの空気感とか

**デフォルトの名無しさん** · 2020/12/20(日) 09:16:27.99

多言語をバカにしうる根拠を一個でも知りたい
いやほんとscalaを勉強したいという意味で

**デフォルトの名無しさん** · 2020/12/20(日) 09:21:51.02

ただの足し算をわざわざ加算とか言うのも権威なのか

**デフォルトの名無しさん** · 2020/12/20(日) 10:03:32.43

>>443
ムーブって何すか
行動とは違うんすか

**デフォルトの名無しさん** · 2020/12/20(日) 10:34:15.89

自由な行動とは違う
義務や目的により強制された行動
キャズムを超えるとかいう謎の目的が設定されている時点で自由とは違う

**デフォルトの名無しさん** · 2020/12/20(日) 10:38:53.81

>>447
これはやらかし
ダブスタもとい自己矛盾して私が恥をかいてしまった

一応補足すると立ち回り辺りが適切な日本語になる

**デフォルトの名無しさん** · 2020/12/25(金) 03:01:00.46

そんなことよりodinの話しようぜ！

**デフォルトの名無しさん** · 2020/12/27(日) 10:18:53.79

国産検索エンジンが復活するのか

**デフォルトの名無しさん** · 2020/12/27(日) 11:50:44.61

千里眼作り直せ

**デフォルトの名無しさん** · 2020/12/27(日) 12:15:19.38

サーチエンジンはやぶさはつい最近復活したのか。

**デフォルトの名無しさん** · 2021/01/04(月) 21:44:33.11

Googleが検索シェアのトップじゃない国って結構あるんだよな

**デフォルトの名無しさん** · 2021/01/06(水) 21:16:27.99

最近グーグルで検索しても目当てのもにが全然ヒットしなくなってるんだけど
同じようなやついる？

**デフォルトの名無しさん** · 2021/01/06(水) 22:37:25.61

開発者から見た V 言語とその(誇大)広告について
https://zenn.dev/zakuro9715/articles/vlang-from-contributor-perspective

**デフォルトの名無しさん** · 2021/01/07(木) 01:48:45.23

だから詐欺だって言ったじゃん…

**デフォルトの名無しさん** · 2021/01/07(木) 11:59:43.85

>>457
せめて456を読めよ

**デフォルトの名無しさん** · 2021/01/07(木) 14:49:07.84

自分の理解出来ないことは否定したいんだろ。

**デフォルトの名無しさん** · 2021/01/07(木) 19:07:22.37

え？実際詐欺じみた誇大広告してるって内容じゃね？

**デフォルトの名無しさん** · 2021/01/07(木) 19:34:58.81

メモリ管理がすごいぞ→時々リークします

何をどう弁護すれば…

**デフォルトの名無しさん** · 2021/01/07(木) 20:42:06.72

まあrustよりまともな方向性だな。
c++駆逐しようとしてミイラとりがミイラになった感があるわ。

**デフォルトの名無しさん** · 2021/01/07(木) 21:30:03.88

開発中だからなおるんじゃないか

**デフォルトの名無しさん** · 2021/01/07(木) 21:30:47.34

コンパイラの実行ファイルサイズなんて嘘でだれが気にするんだ

**デフォルトの名無しさん** · 2021/01/07(木) 21:48:51.91

5GB とかあったらイヤだけどな。

**デフォルトの名無しさん** · 2021/01/07(木) 21:51:10.47

少なくともLobsterのリンク先の時点でいくつかの問題点を認めてて、その辺をどうするんだろうなって話だな

**デフォルトの名無しさん** · 2021/01/08(金) 02:05:47.72

>>462
どの辺が？

**デフォルトの名無しさん** · 2021/01/13(水) 09:02:56.94

Vlangはmut mutが出てきた時点でGC搭載する気ないでしょ、簡単で安全な自動メモリ管理
なんて言ってるけど循環参照のリークチェックは簡単じゃ無いわけで、方向性は
Goルーチェン+Rustで行くと思われる。
でも本当にGCなくて良いんですかね？サーバーサイドなんて特にそうだが、メモリリーク
しないことが保証されるのは所有権/借用を使いこなしてこそ（マップに無限に追加してたら
どんな言語でもメモリーが解放されないが）ワイはNim推しますわ、必要なければGCはOFFに
出来るべきでストップ・ザ・ワールドが嫌なら、それをしないGCを選べる選択肢を用意すべき。
年々GCの速度が改善されるように、そしてファイル・システムに用途別に色々な実装があるが
Rustを書いて良いてボローチェッカーにイラつかないのが不思議、初回実行のcargoも異様に
遅いし、unwrapの連打はまだ良いが・・・Goは一貫性は欠けるけど単純で敷居が圧倒的に低く
他にないCPUバウンドなGoroutineの特徴がよく出ている。IOバウンドなAsyncはどれも彼も
使いづら過ぎ、N:Mライトスレッドの高速な切り替えは他にない。だが
これは言語の特徴とは言いづらいよ

**デフォルトの名無しさん** · 2021/02/07(日) 09:37:39.73

なんでもいいけど読みにくい

**デフォルトの名無しさん** · 2021/02/10(水) 13:48:10.99

今北さん魚

**デフォルトの名無しさん** · 2021/02/14(日) 05:19:27.74

年明けて過疎りだしてるな

**デフォルトの名無しさん** · 2021/02/16(火) 04:23:15.71

今からnimerに入門するのありですか

**デフォルトの名無しさん** · 2021/02/16(火) 10:34:02.43

ハゲめ

**デフォルトの名無しさん** · 2021/02/16(火) 12:06:45.72

誰がハゲやねん！

**デフォルトの名無しさん** · 2021/02/16(火) 17:47:18.34

nimerがハゲってこと？

**デフォルトの名無しさん** · 2021/02/21(日) 18:14:07.92

vim→vimmerなんだから
nim→nimmerなんじゃないの？
nimerではなく。

**デフォルトの名無しさん** · 2021/02/22(月) 00:22:55.21

>>476
たしかに。
このスレで返事ないところ見ると、
nimmer人口少ないんですね

**デフォルトの名無しさん** · 2021/02/22(月) 12:13:29.30

最近nimmerに入門しました！

golangのvscodeくらいの開発環境を探しているんだけど、
無さそうで、そういうところで使ってる人少ないのかなって感じる。

**デフォルトの名無しさん** · 2021/02/22(月) 13:25:25.28

>>478
その辺の周辺ツール、プラグインが充実してないとつらいですね...そして入門者も減ると言う悪循環

**デフォルトの名無しさん** · 2021/02/22(月) 15:23:47.78

nim はもっとpythonにすり寄れ

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

NimとJuilliaは棲み分けできるんか？

**デフォルトの名無しさん** · 2021/02/23(火) 03:11:07.41

>>478
https://github.com/pragmagic/vscode-nim
>>479
https://github.com/alaviss/nim.nvim
>>480
https://github.com/nim-lang/Nim/wiki/Nim-for-Python-Programmers
https://github.com/yglukhov/nimpy

**デフォルトの名無しさん** · 2021/02/23(火) 07:39:59.89

>>482
rustのpyo3みたいなのがnimにもあるんだ
逆にnimから豊富なpythonのライブラリ呼べたりもする？

**デフォルトの名無しさん** · 2021/02/23(火) 11:42:17.39

>>481
方向が真逆だと思うけど。

**デフォルトの名無しさん** · 2021/02/23(火) 11:56:44.11

Nimの仮想敵（？）はRustあたりでは？

**デフォルトの名無しさん** · 2021/02/23(火) 12:30:41.78

サーバーサイドの言語はもう伸びない

**デフォルトの名無しさん** · 2021/02/23(火) 13:50:00.91

サーバーサイドでやればiOSでもAndroidでも同じコードが動くんだろ？
一体なぜ伸びないんだ…

**デフォルトの名無しさん** · 2021/02/23(火) 14:47:06.25

結局分けたほうがいい事ありそうだし

**デフォルトの名無しさん** · 2021/02/23(火) 17:25:16.05

serverlessにシフトしよう

**デフォルトの名無しさん** · 2021/02/23(火) 18:08:32.97

Nimは現状GCベースの時点でRustと同じ土俵には立たないよ
速度面でJava・Go、抽象度面でML系・Haskellと、両立の面ではMLton・Scala・Lisp系とかと比較される言語でしょ
ORCの速度面レイテンシ面の改善は興味深いけどRustのメモリを生でべたべた弄りやすい点とは競合しないと思うなぁ

**デフォルトの名無しさん** · 2021/02/23(火) 22:17:25.21

nimはいろんなGC選べるって言ってなかった？
GC無しも選べるとか…

**デフォルトの名無しさん** · 2021/02/24(水) 07:46:47.30

デフォルトは、GCからARCへ移行したんだっけ？

**デフォルトの名無しさん** · 2021/02/24(水) 19:10:12.66

nimのarc/orc情報です。
https://nim-lang.org/blog/2020/10/15/introduction-to-arc-orc-in-nim.html

**デフォルトの名無しさん** · 2021/02/24(水) 21:35:05.72

TypeScript は補完が便利！ってなるけど、

コードジャンプで元のコードじゃなく d.ts に飛ぶのがうんｋ

d.ts がないライブラリみるとめっちゃがっかりしてしまう点もうんｋ

型情報の union とか intersection とか、
ぐちゃぐちゃになって頭もぐちゃぐちゃになる点もうんｋ

VSCode のポップアップヘルプ見にくい点もうんｋ
function のシグニチャ見にくすぎ

React とかと親和性が低い点もうんｋ

なんだかんだで型ヒントくらいの機能がちょうどいいのかなって思える

Java みたいにゴリゴリにょきにょき補完してくれるならいいんだけど、
やっぱり後ろに JavaScript さんが控えてるからいろいろ大変そう

でも、TypeScript 使っちゃうビクンビクン

**デフォルトの名無しさん** · 2021/02/24(水) 22:38:38.73

tsと来ればDeno、Denoと来ればRust

**デフォルトの名無しさん** · 2021/02/24(水) 22:49:36.21

console.log がもうめんどくさい
System.out.println なんて論外
print ちゃんは好き

**デフォルトの名無しさん** · 2021/02/25(木) 18:41:49.97

Nipple なら延びたかもしれんね

**デフォルトの名無しさん** · 2021/02/25(木) 19:38:03.28

kokaってやつ今日知ったんだが既出？

**デフォルトの名無しさん** · 2021/02/25(木) 20:36:41.26

静的型付けで嫌なのって、ちょっとごちゃっとした構造のある引数を渡したいときに
毎回その引数のためだけにクラスつくるみたいな事がある点かな

それさえなくなれば他は静的型づけに特に不満ないんだけど

あ、でもやっぱりキャストと複雑なジェネリクスは面倒か

**デフォルトの名無しさん** · 2021/02/25(木) 20:40:00.64

>>491
--gc:noneでGC無しだが、このオプションを使用し、当然ながらRustのような所有権と借用は無いので
ヒープに関しては自分でproc dealloc(p: pointer)管理する必要がある。Rustはunsafeでなければ極端に
セキュリティ重視（リーク、オーバーフロー、再解放）でプログラマにそれを強要する。速度面ではGCが
無いので紙一重で早いが、所有権と借用のスコープで自動的にGCされるはず?なので--gc:noneで手動で
解放する方が紙一重で有利。ま、それを言ったらRustでunsafeを使って自分で解放も同じだがｗ

Nimは（Rustも?）コンパイル時のマクロ実行があるので、GC有りとGC無しはwhen defineで分岐すれば
同じコードベースに書ける。これが何の役に立つかといえばGCの時間が極端に問題になるメモリが潤沢な
ハードやシステムでGCをOFFにして、メモリが厳しい環境ではGCをORCにしておくとか書ける訳ね。
例えば、短期間しか走らないプログラムで(夜間)バッチ実行なども、毎回GCが走るのは嫌な訳だが
メモリが増え続けても良いならプログラムで随時メモリ解放なんてする意味があまりない。
当然ながらテストもしなくちゃならないけど、出来上がるバイナリはamd64, Linux, GC:ORC, SSLとか。
Rustの#[cfg(target_os = "linux")]もある意味同じだが、#[]とか言語と解離していて冗長的でキモい…

**デフォルトの名無しさん** · 2021/02/25(木) 21:34:27.27

lispみたいに見た目で区別できずにコード追わなきゃマクロか関数呼び出しか分からんほうが嫌だから解離してるほうが見ただけで分かっていいわ

**デフォルトの名無しさん** · 2021/02/25(木) 23:07:08.85

C/C++でいう&&や||の定義をライブラリに丸投げできないかという問題
その解決策の一つがマクロ
&&と||は見た目というか意味的に積と和なので関数と同じになるのは必然

**デフォルトの名無しさん** · 2021/02/26(金) 01:38:20.80

まあ好みの問題でprintln!()とかが好みの人が居るだろうけど、nimのマクロはnimの構文でほとんど
書けて特殊性がほとんど無い。現状はAST木をそのまま使うのと、parseStmtで文字列のようにして
使うのと、quote do:するのと３通りあるが、Rustを完全に学習するなら当然ながら所有権と借用、
Optionなど、そして、何よりあちこちに出てくる全然構文が違うRust のマクロを理解しないとね。
Lispのようなバッククオートで呼び出し先でそれがマクロだと分かるのが嫌だという人も分かるがね。
それは関数の見た目で区別がつくだけで、引数の先が#[derive(xxx)]とかアトリビュートがついてたら
動きが変わるわけで、結局見なきゃいけないよね。一応言うとくとディスってる訳じゃなく好みの問題