次世代言語18 Go Rust Elixir Kotlin TypeScript

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

スレタイ以外の言語もok

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

**デフォルトの名無しさん** · 2020/02/25(火) 21:30:57.62

おまえは優秀なんだろうな
何がしたいのかわからんアホのために
仕事をし、結論をだし、さらにはその意味付けまで考え出す

馬鹿がトップにいても優秀に見えるようにふるまえる

おれはそんなに優秀じゃない
心が死ぬ

**デフォルトの名無しさん** · 2020/02/25(火) 21:40:22.90

雑談スレじゃないじゃねーか
赤っ恥かいた
もう来ない

**デフォルトの名無しさん** · 2020/02/26(水) 19:03:12.30

RustもPythonないとビルドできないクソ言語。
しかも2.7系。依存が深すぎて3系にアップグレードできないｗ

**デフォルトの名無しさん** · 2020/02/26(水) 19:07:45.10

>>493
マジンゴーZ？？
２０２０年でサポートおわりやん
ウンコマンﾌﾞﾘｯﾁｮか？

**デフォルトの名無しさん** · 2020/02/26(水) 21:17:35.91

IBMがSwift開発を終了 - Chris Bailey氏とのQ&A
https://www.infoq.com/jp/news/2020/02/ibm-stop-work-swift-server/

IBMは先頃、サーバサイドSwiftの開発を中止した。これはSwiftがオープンソース化して間もなく開始されたもので、Swift Server Worl Griup[SSWG]のリーダシップも同時に譲渡されている。

GoとRust、そしてSwiftは、型安全でコンパイル可能なネイティブ言語として、CおよびC++の代替となる"現代的ネイティブ言語"としてグループ分けされることが少なくありません。

GoはKubernetesのようなクラウドテクノロジのコアインフラストラクチャや、CLIの開発などに使われるシステム言語として、真の得意分野を見つけることに成功しました。
Rustはまだ展開すべき場所を模索している段階ですが、Web Assemblyによって大きな関心を集めるようになっています。
Swiftが採用曲線において遅れを取っていることは否めない事実です。

**デフォルトの名無しさん** · 2020/02/26(水) 22:47:29.71

TypeScriptは高カインド型作れないのを早くなんとかしてくれ
インターフェース使って無理やり実現するハックもあるけど、ポリモーフィックな関数のUnionをちゃんと単一化できないあたり雑魚いなあという印象

**デフォルトの名無しさん** · 2020/02/26(水) 23:00:43.71

高カインド型

**デフォルトの名無しさん** · 2020/02/26(水) 23:01:04.23

高力　インド型

**デフォルトの名無しさん** · 2020/02/26(水) 23:25:33.17

const people: Namasute = new Indo()
people.eat(curry).yogaFire()

こんな感じか？

**デフォルトの名無しさん** · 2020/02/27(木) 00:26:44.33

カリー化か

**デフォルトの名無しさん** · 2020/02/27(木) 01:14:55.96

高カインド型言いたかっただけだろこの馬鹿は。

**デフォルトの名無しさん** · 2020/02/27(木) 09:21:04.85

低知パキスタン型と戦わせよう

**デフォルトの名無しさん** · 2020/02/27(木) 12:48:26.71

$j = new Jap(colonaUirus)
$j.touhyo(jimin) === gaiji // true

**デフォルトの名無しさん** · 2020/02/27(木) 13:01:06.82

VIRUSをUIRUSって書くって古代ローマ人かよお前ｗｗｗ

**デフォルトの名無しさん** · 2020/02/27(木) 13:54:23.83

上のIndoもIndiaではない

**デフォルトの名無しさん** · 2020/02/27(木) 15:59:54.77

高力インド型ってなんぞ

**デフォルトの名無しさん** · 2020/02/27(木) 17:11:17.64

mapの引数がlist<A>ならlist<B>を
vector<A>ならvector<B>を返したい
だが引数の型をTとすると返り値の型を宣言できない

**デフォルトの名無しさん** · 2020/02/27(木) 17:43:30.43

c++の型出しテンプレートの不自由版みたいなもんか

**デフォルトの名無しさん** · 2020/02/27(木) 20:01:01.74

型宣言のないネイティブJavaScriptが
いかに最強かが分かるな

**デフォルトの名無しさん** · 2020/02/27(木) 20:15:45.52

標準で型のあるなし選択できるPHPこそ最強

**デフォルトの名無しさん** · 2020/02/28(金) 15:33:40.60

void* で全部持てばいいみたいな糞議論し始めたぞ。。

**デフォルトの名無しさん** · 2020/02/28(金) 20:40:45.71

やはりグローバル変数こそ至高

**デフォルトの名無しさん** · 2020/02/28(金) 21:49:36.13

型という概念すらないbrainf*ckこそ最強

**デフォルトの名無しさん** · 2020/03/01(日) 00:36:11.71

高カインド型は、要は型引数を取るジェネリック型の総称だよ

たとえばArrayは、Array<number>とかArray<Indo>は具体型(実行時に存在する値をとりうる型という意味で、抽象クラスに対する具象クラスという意味の具体ではないことに注意)だけど、
型引数を入れてないArray<_>のままだと実行時の値をつくれない
これにnumberなど具体型を入力してやれば、はじめてArray<number>などの具体型となる

そこでArray<_>は「具体型に作用して新たな具体型を作るもので、具体型ではないなにか」と考えられ、こういうものを1階カインドとか Type → Type のカインドを持つという

同様に型引数2個のジェネリック型は2階カインドだったり、具体型は0階カインドともいう。
0階以外のカインドを持つ型を総称し高カインド型と呼ぶ

**デフォルトの名無しさん** · 2020/03/01(日) 00:39:07.10

Indoの配列って何だよ

**デフォルトの名無しさん** · 2020/03/01(日) 00:47:37.29

TypeScriptのジェネリクスの高階カインド型サポートがいまいちなのは、
「ジェネリック型に入れられるのが具体型に限定されていること」で、

たとえば map をサポートするジェネリックインターフェースとして
Mappable<f>を作るとする

そのインターフェースを実装できるクラスはカインド１、つまりArray< >など
型引数を1個とるクラスだけにしたい　けど、できない

また、カインド Type -> Type -> Type の高カインド型に型１個入れたものは
カインドType -> Type になってほしいけど、こういうこともできない

たとえばkey-valueペアのMap<_, _>なんかは2階カインドだけど、
キータイプだけ指定した Map<string, _> を1階カインドと見なしてMappableを実装させたい（map はMapの各値を変換する関数になる)　けど、これもできない

**デフォルトの名無しさん** · 2020/03/01(日) 07:11:57.02

ゴチャゴチャ言わずも508でfinal fugure っしょ

**デフォルトの名無しさん** · 2020/03/01(日) 08:55:19.40

機能足りないと思うやつが自分で実装してPR送るんだよ

**デフォルトの名無しさん** · 2020/03/01(日) 09:39:10.97

高力インド型

**デフォルトの名無しさん** · 2020/03/01(日) 09:46:16.48

higher-kinded typesの日本語訳は高階型で別に良いと思うんだがな
カインド強調する意味がゼロとは言わないがデメリットのほうが大きい

**デフォルトの名無しさん** · 2020/03/01(日) 10:24:35.13

高階関数という言葉を知ってれば、そこから類推できる高階型って呼び方の方が良いよね

**デフォルトの名無しさん** · 2020/03/01(日) 11:23:12.58

high power indo type

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

何でもできる方がいいと思い込んでるのはバカにありがちなセンスなのでしょうがない。

**デフォルトの名無しさん** · 2020/03/01(日) 15:16:31.84

変につまみ食いしようとして使い勝手が悪くなるってこともあるよ
Java8から入ったStreamとOptionalみたいなのを自分で書くのすごい面倒くさい

**デフォルトの名無しさん** · 2020/03/01(日) 16:33:14.39

null禁止型の配列の初期化に必要な無引数コンストラクタ
が無かったらコンパイルエラーになるコンパイラを自分で書けない

**デフォルトの名無しさん** · 2020/03/01(日) 16:48:14.31

書く必要ないじゃん
はい論破

**デフォルトの名無しさん** · 2020/03/01(日) 19:10:26.22

高階型はまた別じゃね？
Higher-kinded typesじゃなくてrank-N typesのことかと

**デフォルトの名無しさん** · 2020/03/01(日) 19:27:05.36

高階してすぐ後悔YO

**デフォルトの名無しさん** · 2020/03/01(日) 21:22:24.37

そんな糞機能がほしけりゃマクロ使ってでも実装すりゃいいんだよ。
そうすればゴミ機能ってことに気づくから。

**デフォルトの名無しさん** · 2020/03/01(日) 22:16:25.66

高力インド人を右へ

**デフォルトの名無しさん** · 2020/03/02(月) 02:25:57.25

>>92
https://juliacomputing.com
https://i.imgur.com/cz3K43o.jpg
情弱乙
世界の強キャラ企業は全部Juliaを絶賛してるぞ

**デフォルトの名無しさん** · 2020/03/02(月) 08:24:29.53

>>529
自分が理解できなかったものを話してる人がいるからってイライラするなよw

**デフォルトの名無しさん** · 2020/03/02(月) 13:22:02.15

本当にいい言語は遠くから絶賛なんかじゃく、
自分ところの基幹言語としてプロジェクト全体の10%以上ぐらいの割合で採用するから。

**デフォルトの名無しさん** · 2020/03/02(月) 13:48:47.72

>>532
理解してるから下らねーつってんだよカス。
お前こそその機能の無駄さとバギーさを理解しろ。

**デフォルトの名無しさん** · 2020/03/02(月) 17:54:10.41

>>534
わかったわかった。
ジェネリクスについてちゃんと勉強してきてからまた読み直してくれよ。

**デフォルトの名無しさん** · 2020/03/02(月) 18:08:36.58

C/C++が絶賛されないのはテストしすぎてリスクの大きさが見えるからだろ
本当に科学的なやつらはテストを嫌う

**デフォルトの名無しさん** · 2020/03/02(月) 19:15:10.70

誰でもテストは嫌いだけど？

**デフォルトの名無しさん** · 2020/03/02(月) 19:55:38.54

>>535
勉強しても問題が理解できてないのかよ。。少しは自分でコード組んでみれば？

>本当に科学的なやつらはテストを嫌う
こんな大嘘をよく平気で言えるな。

**デフォルトの名無しさん** · 2020/03/03(火) 00:50:53.97

>>538
確かに中途半端にしかポリモーフィズム意識してないお前みてーなやつには
難しくて理解できんのでメンテできる人が限られたコードにはなるという問題はあるな…

**デフォルトの名無しさん** · 2020/03/03(火) 01:30:28.89

くりかーえーす♪この

**デフォルトの名無しさん** · 2020/03/03(火) 01:40:19.91

Androidアプリ開発ってGoogle自身は未だにJava使ってるのかな？

**デフォルトの名無しさん** · 2020/03/03(火) 14:51:04.88

Rust勉強してんだけど、
let mut n = 5;
println!("{}", n = 4);
println!("{}", n);
～結果～
4
5
なるほど分からん

**デフォルトの名無しさん** · 2020/03/03(火) 15:42:26.74

>>542
>println!("{}", n = 4);

named parameterがformat stringで使われてないから
エラーにすべきケースかもね

**デフォルトの名無しさん** · 2020/03/03(火) 17:25:37.47

あー、assignmentではなく…
なるほどだけど、
えー…
Rustでは代入式は右辺の評価値ではなく空のタプルを返すとあったから確かめようとしたらこうなったｗ
大根乱ですよ

**デフォルトの名無しさん** · 2020/03/03(火) 17:31:22.84

むしろ何で代入してると思ったのか

**デフォルトの名無しさん** · 2020/03/03(火) 18:04:04.14

？
いや以下expected `i32`, found `()`でエラーになるけど代入の結果空のタプルが返ったればこそでしょ？？どういう意味？
fn foo(x: i32) -> i32 {
x * 2
}
let mut n = 5i32;
let m = foo(n = 4i32);

**デフォルトの名無しさん** · 2020/03/03(火) 18:44:54.59

nを定義しても呼び出された側からは見えないのがレキシカルスコープ
でもやっぱり見えるスコープが欲しい
これはダイナミックスコープの再発明だな

**デフォルトの名無しさん** · 2020/03/03(火) 21:48:28.93

マクロの中がRustのコードだなんて思っちゃ火傷するぜ
https://github.com/fusion-engineering/inline-python
https://docs.rs/cpp/0.5.4/cpp/

**デフォルトの名無しさん** · 2020/03/04(水) 10:26:08.15

エラーを出すとどっか破綻すんのかね

**デフォルトの名無しさん** · 2020/03/04(水) 22:33:59.46

行儀の悪いことするな、で終わってもいいかもしれんが、結局>>542はどう解釈するのが正しいの？

**デフォルトの名無しさん** · 2020/03/04(水) 22:54:37.02

>>550
2行目のn=4は println!マクロの中で
`n`というnamed parameterを新しく定義してそれに4を入れてるので1行目のnとは別物
https://doc.rust-lang.org/std/fmt/index.html#named-parameters

個人的にはエラーにすべきケースだと思うけど
named parameterが明示的に使われてなくても
format stringが必要としてるパラメータの数に合致してるとエラーが出ないっぽい

let x = 100;
println!("{}, {}, {}", x, x=200, y=300); //=> 100, 200, 300

**デフォルトの名無しさん** · 2020/03/04(水) 23:01:20.25

fn print6(a:()){ println!("{}", 6); }
let mut n = 5;
println!("{}", n = 4); //マクロの引数：代入じゃない（マクロの仕様次第）
println!("{}", n);
print6(n = 7); //関数の引数：これは代入
println!("{}", n);

4
5
6
7

**デフォルトの名無しさん** · 2020/03/07(土) 00:08:15.14

書けば書くほどPython嫌いになるわ
機械学習とかやるにはいいんだろうけど、これでサーバーサイド組むとか狂気もいいとこ
やっぱ型無し言語って糞だわ

**デフォルトの名無しさん** · 2020/03/07(土) 08:46:48.72

どの程度の型が欲しいの？

**デフォルトの名無しさん** · 2020/03/07(土) 10:01:11.59

サーバー組むならgo使えばええやん。なぜpython?

**デフォルトの名無しさん** · 2020/03/07(土) 10:09:34.67

>>555
過去のおガイジどもが色んな言語使いすぎて保守不能になって
社内標準言語がPythonとJavaScriptだけになったから

>>554
最低でもJava8
どんなに type hinting 書いても IDE は黙ったままだし補完も大して効かないし
糞of糞、糞の山マウンテンがチョモランマ

__init__.pyがないとimportできない糞
pyenv使ってbuildしてもruntimeエラーがでる糞
venv,pipenv,poetry,pyflow, おまえいったいいくつパッケージ管理ツールつくるねんの糞

糞糞糞糞

**デフォルトの名無しさん** · 2020/03/07(土) 10:35:22.99

PythonとJavaScriptだけって結論出した奴も含めておガイジやん
つまるところ一番の糞はその職場や

**デフォルトの名無しさん** · 2020/03/07(土) 10:38:36.62

>過去のおガイジどもが色んな言語使いすぎて保守不能になって
これはまあよくある話だが
>社内標準言語がPythonとJavaScriptだけになったから
こうなるのは珍しいな。。普通は逆にこいつの言うように堅めのやつでjava一択とかなりそうな気はするが。

**デフォルトの名無しさん** · 2020/03/07(土) 10:49:17.19

今javaは時期が悪いよ

**デフォルトの名無しさん** · 2020/03/07(土) 11:19:48.16

>>557
わかっとるわそんなん
だがPythonが糞なのも事実

>>558
超消極的な理由で選ばれただけ
バックエンドは機械学習プロダクトもあるからPythonは必須
フロントエンドはJavaScript必須

他はなんも考えてない
笑えよ

**デフォルトの名無しさん** · 2020/03/07(土) 11:31:51.02

またとりあえず機械学習に手を出しちゃうところも糞要素として取り上げたいｗ

**デフォルトの名無しさん** · 2020/03/07(土) 12:21:08.97

>>556
>どんなに type hinting 書いても IDE は黙ったままだし補完も大して効かないし

これはIDE自体の問題か使う側の問題じゃないか？

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

>>562
じゃあVSCodeが糞かpythonのlspが糞かだな
糞ばっかりだ

**デフォルトの名無しさん** · 2020/03/07(土) 12:52:50.19

>>563
お前がうんこなんだと思うよ
職場でも無能と思われてそうw

**デフォルトの名無しさん** · 2020/03/07(土) 13:13:17.74

Pythonどちらかと言うと好きな方だけど開発環境周りは糞極めてるよね

**デフォルトの名無しさん** · 2020/03/07(土) 13:30:02.16

うるせーコロナで死ね
俺の言うこと聞かない言語は全て糞なんだよ糞、糞糞糞の糞

**デフォルトの名無しさん** · 2020/03/07(土) 13:40:37.80

まあ発狂してもおかしくなさげな環境なのは同情の余地あるわな。。

**デフォルトの名無しさん** · 2020/03/07(土) 13:45:28.33

Pythonの
JavaScriptに対するTypescript相当
の言語欲しい

**デフォルトの名無しさん** · 2020/03/07(土) 15:06:23.05

TypeScript作ってる当のMicrosoftがPyright出してるじゃん。何の不満が？

**デフォルトの名無しさん** · 2020/03/07(土) 15:15:02.73

>>569
使ったことあるか？
import先もまともに検知できないガチゴミガイジだぞ

**デフォルトの名無しさん** · 2020/03/07(土) 15:41:21.16

乞食の癖に贅沢言うな！じゃあお前が作れ！

**デフォルトの名無しさん** · 2020/03/07(土) 17:04:18.90

>>571
そういう問題じゃねえーだろカスが！

**デフォルトの名無しさん** · 2020/03/07(土) 17:10:01.53

要はライブラリでPythonを超えればPythonは消えるよね
でも大抵の言語はライブラリを管理するツール自体が保守不能になる
Pythonは手動またはC言語のツールに丸投げしておけば保守不能にはならない

**デフォルトの名無しさん** · 2020/03/07(土) 19:26:36.13

まあc言語のライブラリ管理はそんな簡単じゃないがな。
低レイヤー触るとどうしてもそうなる。

**デフォルトの名無しさん** · 2020/03/07(土) 21:21:55.92

PythonがC FFI側に投げてるライブラリのバージョンの複雑さは結局ユーザじゃなくてメンテナがコスト払ってるだけな部分もあるからな……

**デフォルトの名無しさん** · 2020/03/07(土) 22:13:32.23

>>574,575
そんな低レイヤーうんぬんなど些細な話だ
そもそも2系から3系への移行ではPython本体やCライブラリだけでなく、
あまたの2系ライブラリのメンテナが膨大なコストを払っているのだから…
「後方互換性の断絶」とはそうゆうものだ

Python利用者はそうした神の決定に逆らうことは許されない
神の行いは絶対であり、聖書PEPを疑ってはならない

**デフォルトの名無しさん** · 2020/03/07(土) 22:48:02.52

2のメンテは終了しただろ。何言ってんだこの馬鹿は。

**デフォルトの名無しさん** · 2020/03/07(土) 22:50:53.56

Pythonとか言うレガシー言語の話はスレチだぞ

**デフォルトの名無しさん** · 2020/03/07(土) 23:32:00.06

最新の3.8ですらJavaにすら劣るゴミという事実

**デフォルトの名無しさん** · 2020/03/08(日) 07:27:02.29

一方で単一の言語処理系に過去バージョン互換をさせるとそれ自身の複雑さが極端に増すのは間違いない訳で
結局どこかしらでコストは払ってるんだよ
この辺はいくら次世代のいい感じの言語が出ようとも変わらないと思う

**デフォルトの名無しさん** · 2020/03/08(日) 08:57:57.34

んなあたりまえのこといわれても、でっ？ていう。
最適な互換性の維持具合についてなんか意見でもあるなら言えばいいけど
なんも考えてなさげだな。

**デフォルトの名無しさん** · 2020/03/08(日) 09:38:38.42

Pythonには2と3があるから駄目
そしてPythonをJavaに置き換えることを意識した時点で
Javaもその駄目なグループのメンバーになったようなもの

GCがある言語は多分みんな駄目になってしまう

**デフォルトの名無しさん** · 2020/03/08(日) 09:56:41.58

>>578
ここは「次世代言語に憧れるレガシー言語労働者の愚痴スレ」だから

**デフォルトの名無しさん** · 2020/03/08(日) 10:06:42.70

いやJSもGCあるだろ…

**デフォルトの名無しさん** · 2020/03/08(日) 14:22:36.07

>GCがある言語は多分みんな駄目になってしまう
なんの根拠もなく現状を全く無視したことを平然とのたまう精神はどこからきてるんだろうか。

こういう輩が好みそうなのはrustですかね。

**デフォルトの名無しさん** · 2020/03/08(日) 16:42:21.18

そうだね
なんの根拠もないものは全く無視されて当然
その精神がある限り、古い仕様は無視されて互換性が無くなる

**デフォルトの名無しさん** · 2020/03/08(日) 17:08:13.34

仕様は根拠では？

**デフォルトの名無しさん** · 2020/03/09(月) 12:56:13.44

静的型付け言語(typescript)の設計を学ぶためには、HaskellとF♯どっちが向いてるんだろう。

**デフォルトの名無しさん** · 2020/03/09(月) 13:55:56.02

javaでええやん

**デフォルトの名無しさん** · 2020/03/09(月) 15:09:02.70

TypeScriptの設計を学ぶならTypeScript以外に無いだろ