次世代言語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/11/24(火) 18:12:04.57

>>365
型推論には限界があって、型に機能を加えれば加えるほど実装が困難になり最終的には不可能になるので、高度な型推論とOOP的クラスに由来する静的型付けの導入（と実装コスト）はトレードオフだ
というのは特に型推論の限界については先行研究があるし理論的なトレードオフの一例だというつもりで書いたのだけれど

型推論で有名なOCamlのOOP的クラスも結構制約あるし型システムはその分複雑になってるからね

◆QZaw55cn4c · 2020/11/24(火) 18:53:03.86

>>370
誉めてどうする？

**デフォルトの名無しさん** · 2020/11/26(木) 15:38:50.46

>>高度な型推論とOOP的クラスに由来する静的型付けの導入（と実装コスト）はトレードオフだ
なんか言ってることめちゃくちゃじゃないか？

**デフォルトの名無しさん** · 2020/11/26(木) 17:20:08.08

ごめんなさい
トレードオフって言ってみたかっただけです

**デフォルトの名無しさん** · 2020/11/26(木) 18:45:14.84

ハードオフ

**デフォルトの名無しさん** · 2020/11/26(木) 22:08:38.81

>>373
言い方が悪いね申し訳ない
高度な型推論をさせたい所にクラスの継承オーバーロードオーバーライド由来の多相性やディスパッチが絡むと面倒くさいくらいでどうだろう

**デフォルトの名無しさん** · 2020/11/27(金) 01:30:32.59

どこまでを同じ型とするかってのと、型推論をどこまでやるかって話か。
くっだらねー話だな。
型をどこまで強くするか(暗黙の変換をどこまで認めるか)なんて今更すぎて。。

**デフォルトの名無しさん** · 2020/11/27(金) 02:57:38.45

>>377
全然違ってて草る
今更すぎてww

**デフォルトの名無しさん** · 2020/11/27(金) 08:35:22.42

型推論と聞いて暗黙の変換に結びつけるのは、LL界から来たウンコ脳あるある

**デフォルトの名無しさん** · 2020/11/27(金) 11:38:18.35

暗黙の型変換を気にするのはむしろ静的型付け言語やで

今どきLLなんて言葉を使う方は流石にわかってらっしゃらない

**デフォルトの名無しさん** · 2020/11/27(金) 17:52:45.14

なにいってんだこいつ

**デフォルトの名無しさん** · 2020/11/27(金) 21:22:17.08

暗黙の型変換がコンパイル言語にないと思ってる馬鹿はc言語からやり直しやな。

**デフォルトの名無しさん** · 2020/11/27(金) 21:43:26.23

LLは2010年頃を最後に聞かなくなったな
JavaScriptが原因だろうね

**デフォルトの名無しさん** · 2020/11/27(金) 21:44:58.71

Python以外踏み潰してしまってすまんなｗｗ

**デフォルトの名無しさん** · 2020/11/27(金) 22:08:13.46

せっかくＪａｖａを殺したのに第二のＪａｖａを作るわけにはいかんのだよ

**デフォルトの名無しさん** · 2020/11/27(金) 22:20:44.61

とおもったけど
どちらかというと浸透して普通になったんでは

**デフォルトの名無しさん** · 2020/11/27(金) 22:47:47.39

>>382
さすがにここまで明後日の話を自信満々にするのは清々しい

**デフォルトの名無しさん** · 2020/11/27(金) 23:14:56.50

日曜日に何かあるの？

**デフォルトの名無しさん** · 2020/11/29(日) 00:39:38.28

>高度な型推論をさせたい所にクラスの継承オーバーロードオーバーライド由来の多相性やディスパッチが絡むと面倒くさいくらいでどうだろう
継承オーバーロード、オーバーライドが絡む多層生の問題が型推論をめんどくさくなるって
型をどのレベルで同一と考えるかって話にしか普通ならんよね？
まあ元々の文章もどうかしてたし、まともに突っ込むだけ野暮なんだろうが。

**デフォルトの名無しさん** · 2020/11/29(日) 13:21:38.74

もしかして暗黙の型変換と部分型関係を混同していらっしゃる？？

**デフォルトの名無しさん** · 2020/11/29(日) 18:57:40.67

>>389
型をどのレベルで同一と考えるかは関係ないって
推論時の制約の識別だったり制約を満たす型候補の識別や選択が複雑になるという話

型推論時に暗黙の型変換をしてると思ってるのかな？

**デフォルトの名無しさん** · 2020/11/30(月) 14:23:30.47

V言語いまさらだけど
メモリリークはともかく全体的にバグだらけ
インターフェースとジェネリックまわりもバグらだけ
作者コンパイル速度にばっかりこだわってて
安定性は二の次以下で放置しっぱなし
文法的には好きなんで惜しいなー
あと3年もすれば安定するかな？

**デフォルトの名無しさん** · 2020/11/30(月) 14:32:55.83

だから詐欺だとあれほど…

**デフォルトの名無しさん** · 2020/11/30(月) 14:36:28.77

C言語で暗黙の型変換が発生する16のパターン(＋演算子の結果型5パターン)
https://qiita.com/yz2cm/items/0e24e1df40ef5cd43249
Cプログラミング診断室／キャストが好き／自動的型変換
http://www.pro.or.jp/~fuji/mybooks/cdiag/cdiag.4.3.html

**デフォルトの名無しさん** · 2020/12/01(火) 00:38:08.03

>>391
>推論時の制約の識別だったり制約を満たす型候補の識別や選択
継承されようが型変換を一切考えないで良いなら制約としては何も困ることはないが？
型推論の問題以前に多相性のメリット、デメリットすら理解できてないのでは？

**デフォルトの名無しさん** · 2020/12/01(火) 02:47:37.79

>>395
これだけ指摘されても自分の知識不足を省みず同じ言い分を毎日繰り返すおじいちゃん相当ヤバイで

少しでも自覚症状あるなら早めに病院行きなはれ

**デフォルトの名無しさん** · 2020/12/01(火) 10:09:32.31

ここまで必死になって反論してくれるということは、きっと表現力が高く型推論もできる型システム、俺なら作れるぜ！ってことなんだろう
期待してるわ

**デフォルトの名無しさん** · 2020/12/01(火) 10:33:22.17

いくらなんでもこの逆ギレは恥ずかしい

**デフォルトの名無しさん** · 2020/12/01(火) 14:29:58.48

型推論「これはたぶん弐ノ型だな」

**デフォルトの名無しさん** · 2020/12/01(火) 15:57:28.00

おじいちゃんにオススメ
20年前のペーパーだけど型推論とオーバーローディングの関係は分かるはず
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/overloading.pdf

**デフォルトの名無しさん** · 2020/12/01(火) 18:02:36.90

3行にまとめろよカス

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

>>400
だからまんま弱い型で可能性が広がるからってだけじゃねーかw
お前、さてはちゃんと読んでねーなw

**デフォルトの名無しさん** · 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

今北さん魚