次世代言語18 Go Rust Elixir Kotlin TypeScript

■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん
垢版 |
2019/10/01(火) 02:58:03.93ID:aEwUIB6s
スレタイ以外の言語もok

前スレ
次世代言語17 Go Rust Kotlin TypeScript Julia
https://mevius.5ch.net/test/read.cgi/tech/1567602619/
509デフォルトの名無しさん
垢版 |
2020/02/27(木) 20:01:01.74ID:SC3VM5LZ
型宣言のないネイティブJavaScriptが
いかに最強かが分かるな
2020/02/27(木) 20:15:45.52ID:gmGuUzNT
標準で型のあるなし選択できるPHPこそ最強
2020/02/28(金) 15:33:40.60ID:Oxj0VwoG
void* で全部持てばいいみたいな糞議論し始めたぞ。。
2020/02/28(金) 20:40:45.71ID:l4cSWDtI
やはりグローバル変数こそ至高
2020/02/28(金) 21:49:36.13ID:eKvCiVmD
型という概念すらないbrainf*ckこそ最強
514デフォルトの名無しさん
垢版 |
2020/03/01(日) 00:36:11.71ID:D/Yz/cH7
高カインド型は、要は型引数を取るジェネリック型の総称だよ

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

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

同様に型引数2個のジェネリック型は2階カインドだったり、具体型は0階カインドともいう。
0階以外のカインドを持つ型を総称し高カインド型と呼ぶ
2020/03/01(日) 00:39:07.10ID:us3Jsokx
Indoの配列って何だよ
516デフォルトの名無しさん
垢版 |
2020/03/01(日) 00:47:37.29ID:D/Yz/cH7
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.02ID:S7tJWbi5
ゴチャゴチャ言わずも508でfinal fugure っしょ
2020/03/01(日) 08:55:19.40ID:Es9RVpwC
機能足りないと思うやつが自分で実装してPR送るんだよ
519デフォルトの名無しさん
垢版 |
2020/03/01(日) 09:39:10.97ID:wTWFPuO/
高力インド型
2020/03/01(日) 09:46:16.48ID:J3IrN4Ey
higher-kinded typesの日本語訳は高階型で別に良いと思うんだがな
カインド強調する意味がゼロとは言わないがデメリットのほうが大きい
2020/03/01(日) 10:24:35.13ID:TbG8Ke0I
高階関数という言葉を知ってれば、そこから類推できる高階型って呼び方の方が良いよね
2020/03/01(日) 11:23:12.58ID:us3Jsokx
high power indo type
2020/03/01(日) 12:37:26.26ID:GdO9iGlh
何でもできる方がいいと思い込んでるのはバカにありがちなセンスなのでしょうがない。
2020/03/01(日) 15:16:31.84ID:TbG8Ke0I
変につまみ食いしようとして使い勝手が悪くなるってこともあるよ
Java8から入ったStreamとOptionalみたいなのを自分で書くのすごい面倒くさい
2020/03/01(日) 16:33:14.39ID:hFYkB74O
null禁止型の配列の初期化に必要な無引数コンストラクタ
が無かったらコンパイルエラーになるコンパイラを自分で書けない
2020/03/01(日) 16:48:14.31ID:us3Jsokx
書く必要ないじゃん
はい論破
527デフォルトの名無しさん
垢版 |
2020/03/01(日) 19:10:26.22ID:D/Yz/cH7
高階型はまた別じゃね？
Higher-kinded typesじゃなくてrank-N typesのことかと
2020/03/01(日) 19:27:05.36ID:us3Jsokx
高階してすぐ後悔YO
2020/03/01(日) 21:22:24.37ID:GdO9iGlh
そんな糞機能がほしけりゃマクロ使ってでも実装すりゃいいんだよ。
そうすればゴミ機能ってことに気づくから。
2020/03/01(日) 22:16:25.66ID:0mRiQY7q
高力インド人を右へ
531デフォルトの名無しさん
垢版 |
2020/03/02(月) 02:25:57.25ID:fKVy9ahu
>>92
https://juliacomputing.com
https://i.imgur.com/cz3K43o.jpg
情弱乙
世界の強キャラ企業は全部Juliaを絶賛してるぞ
532デフォルトの名無しさん
垢版 |
2020/03/02(月) 08:24:29.53ID:vmTfu2dg
>>529
自分が理解できなかったものを話してる人がいるからってイライラするなよw
2020/03/02(月) 13:22:02.15ID:dzgadk5u
本当にいい言語は遠くから絶賛なんかじゃく、
自分ところの基幹言語としてプロジェクト全体の10%以上ぐらいの割合で採用するから。
2020/03/02(月) 13:48:47.72ID:JudLh/rB
>>532
理解してるから下らねーつってんだよカス。
お前こそその機能の無駄さとバギーさを理解しろ。
535デフォルトの名無しさん
垢版 |
2020/03/02(月) 17:54:10.41ID:lNfcnDid
>>534
わかったわかった。
ジェネリクスについてちゃんと勉強してきてからまた読み直してくれよ。
2020/03/02(月) 18:08:36.58ID:1of+/HmK
C/C++が絶賛されないのはテストしすぎてリスクの大きさが見えるからだろ
本当に科学的なやつらはテストを嫌う
2020/03/02(月) 19:15:10.70ID:2ci/vrTp
誰でもテストは嫌いだけど？
2020/03/02(月) 19:55:38.54ID:JudLh/rB
>>535
勉強しても問題が理解できてないのかよ。。少しは自分でコード組んでみれば？

>本当に科学的なやつらはテストを嫌う
こんな大嘘をよく平気で言えるな。
539デフォルトの名無しさん
垢版 |
2020/03/03(火) 00:50:53.97ID:halZ50DI
>>538
確かに中途半端にしかポリモーフィズム意識してないお前みてーなやつには
難しくて理解できんのでメンテできる人が限られたコードにはなるという問題はあるな…
540デフォルトの名無しさん
垢版 |
2020/03/03(火) 01:30:28.89ID:9peK0gCx
くりかーえーす♪この
2020/03/03(火) 01:40:19.91ID:K1m6EpnB
Androidアプリ開発ってGoogle自身は未だにJava使ってるのかな？
542デフォルトの名無しさん
垢版 |
2020/03/03(火) 14:51:04.88ID:9peK0gCx
Rust勉強してんだけど、
let mut n = 5;
println!("{}", n = 4);
println!("{}", n);
〜結果〜
4
5
なるほど分からん
2020/03/03(火) 15:42:26.74ID:lzYVFoFM
>>542
>println!("{}", n = 4);

named parameterがformat stringで使われてないから
エラーにすべきケースかもね
544デフォルトの名無しさん
垢版 |
2020/03/03(火) 17:25:37.47ID:9peK0gCx
あー、assignmentではなく…
なるほどだけど、
えー…
Rustでは代入式は右辺の評価値ではなく空のタプルを返すとあったから確かめようとしたらこうなったｗ
大根乱ですよ
545デフォルトの名無しさん
垢版 |
2020/03/03(火) 17:31:22.84ID:EXykEa9V
むしろ何で代入してると思ったのか
546デフォルトの名無しさん
垢版 |
2020/03/03(火) 18:04:04.14ID:9peK0gCx
？
いや以下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.59ID:uIYzrTnG
nを定義しても呼び出された側からは見えないのがレキシカルスコープ
でもやっぱり見えるスコープが欲しい
これはダイナミックスコープの再発明だな
2020/03/03(火) 21:48:28.93ID:Bj/i6Nw/
マクロの中がRustのコードだなんて思っちゃ火傷するぜ
https://github.com/fusion-engineering/inline-python
https://docs.rs/cpp/0.5.4/cpp/
2020/03/04(水) 10:26:08.15ID:g+Yoq0EE
エラーを出すとどっか破綻すんのかね
2020/03/04(水) 22:33:59.46ID:/mNi51EN
行儀の悪いことするな、で終わってもいいかもしれんが、結局>>542はどう解釈するのが正しいの？
2020/03/04(水) 22:54:37.02ID:yiNVycVp
>>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.25ID:4yioSA0z
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.14ID:po15mmZE
書けば書くほどPython嫌いになるわ
機械学習とかやるにはいいんだろうけど、これでサーバーサイド組むとか狂気もいいとこ
やっぱ型無し言語って糞だわ
2020/03/07(土) 08:46:48.72ID:/ejMiS3D
どの程度の型が欲しいの？
2020/03/07(土) 10:01:11.59ID:XLWmxUUx
サーバー組むならgo使えばええやん。なぜpython?
2020/03/07(土) 10:09:34.67ID:po15mmZE
>>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.99ID:Gh4Y79Ev
PythonとJavaScriptだけって結論出した奴も含めておガイジやん
つまるところ一番の糞はその職場や
2020/03/07(土) 10:38:36.62ID:XLWmxUUx
>過去のおガイジどもが色んな言語使いすぎて保守不能になって
これはまあよくある話だが
>社内標準言語がPythonとJavaScriptだけになったから
こうなるのは珍しいな。。普通は逆にこいつの言うように堅めのやつでjava一択とかなりそうな気はするが。
559デフォルトの名無しさん
垢版 |
2020/03/07(土) 10:49:17.19ID:tB1OTpLA
今javaは時期が悪いよ
2020/03/07(土) 11:19:48.16ID:po15mmZE
>>557
わかっとるわそんなん
だがPythonが糞なのも事実

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

他はなんも考えてない
笑えよ
2020/03/07(土) 11:31:51.02ID:XLWmxUUx
またとりあえず機械学習に手を出しちゃうところも糞要素として取り上げたいｗ
2020/03/07(土) 12:21:08.97ID:z518jRtl
>>556
>どんなに type hinting 書いても IDE は黙ったままだし補完も大して効かないし

これはIDE自体の問題か使う側の問題じゃないか？
2020/03/07(土) 12:41:54.68ID:po15mmZE
>>562
じゃあVSCodeが糞かpythonのlspが糞かだな
糞ばっかりだ
2020/03/07(土) 12:52:50.19ID:3vujaOiu
>>563
お前がうんこなんだと思うよ
職場でも無能と思われてそうw
565デフォルトの名無しさん
垢版 |
2020/03/07(土) 13:13:17.74ID:e127m1PH
Pythonどちらかと言うと好きな方だけど開発環境周りは糞極めてるよね
2020/03/07(土) 13:30:02.16ID:po15mmZE
うるせーコロナで死ね
俺の言うこと聞かない言語は全て糞なんだよ糞、糞糞糞の糞
2020/03/07(土) 13:40:37.80ID:hl5qkDBY
まあ発狂してもおかしくなさげな環境なのは同情の余地あるわな。。
2020/03/07(土) 13:45:28.33ID:S0pb9ZoR
Pythonの
JavaScriptに対するTypescript相当
の言語欲しい
569デフォルトの名無しさん
垢版 |
2020/03/07(土) 15:06:23.05ID:Zs2bgd34
TypeScript作ってる当のMicrosoftがPyright出してるじゃん。何の不満が？
2020/03/07(土) 15:15:02.73ID:po15mmZE
>>569
使ったことあるか？
import先もまともに検知できないガチゴミガイジだぞ
571デフォルトの名無しさん
垢版 |
2020/03/07(土) 15:41:21.16ID:Zs2bgd34
乞食の癖に贅沢言うな！じゃあお前が作れ！
2020/03/07(土) 17:04:18.90ID:po15mmZE
>>571
そういう問題じゃねえーだろカスが！
2020/03/07(土) 17:10:01.53ID:/3GyPk4K
要はライブラリでPythonを超えればPythonは消えるよね
でも大抵の言語はライブラリを管理するツール自体が保守不能になる
Pythonは手動またはC言語のツールに丸投げしておけば保守不能にはならない
2020/03/07(土) 19:26:36.13ID:XLWmxUUx
まあc言語のライブラリ管理はそんな簡単じゃないがな。
低レイヤー触るとどうしてもそうなる。
2020/03/07(土) 21:21:55.92ID:zyQisfjb
PythonがC FFI側に投げてるライブラリのバージョンの複雑さは結局ユーザじゃなくてメンテナがコスト払ってるだけな部分もあるからな……
576デフォルトの名無しさん
垢版 |
2020/03/07(土) 22:13:32.23ID:7WCIBliR
>>574,575
そんな低レイヤーうんぬんなど些細な話だ
そもそも2系から3系への移行ではPython本体やCライブラリだけでなく、
あまたの2系ライブラリのメンテナが膨大なコストを払っているのだから…
「後方互換性の断絶」とはそうゆうものだ

Python利用者はそうした神の決定に逆らうことは許されない
神の行いは絶対であり、聖書PEPを疑ってはならない
2020/03/07(土) 22:48:02.52ID:XLWmxUUx
2のメンテは終了しただろ。何言ってんだこの馬鹿は。
2020/03/07(土) 22:50:53.56ID:z518jRtl
Pythonとか言うレガシー言語の話はスレチだぞ
2020/03/07(土) 23:32:00.06ID:po15mmZE
最新の3.8ですらJavaにすら劣るゴミという事実
2020/03/08(日) 07:27:02.29ID:8cCRMkvW
一方で単一の言語処理系に過去バージョン互換をさせるとそれ自身の複雑さが極端に増すのは間違いない訳で
結局どこかしらでコストは払ってるんだよ
この辺はいくら次世代のいい感じの言語が出ようとも変わらないと思う
2020/03/08(日) 08:57:57.34ID:WHPmDMrq
んなあたりまえのこといわれても、でっ？ていう。
最適な互換性の維持具合についてなんか意見でもあるなら言えばいいけど
なんも考えてなさげだな。
2020/03/08(日) 09:38:38.42ID:oRQj+xWf
Pythonには2と3があるから駄目
そしてPythonをJavaに置き換えることを意識した時点で
Javaもその駄目なグループのメンバーになったようなもの

GCがある言語は多分みんな駄目になってしまう
2020/03/08(日) 09:56:41.58ID:I0GhLDrC
>>578
ここは「次世代言語に憧れるレガシー言語労働者の愚痴スレ」だから
584デフォルトの名無しさん
垢版 |
2020/03/08(日) 10:06:42.70ID:ZuSBaXSz
いやJSもGCあるだろ…
2020/03/08(日) 14:22:36.07ID:jdr/SdJJ
>GCがある言語は多分みんな駄目になってしまう
なんの根拠もなく現状を全く無視したことを平然とのたまう精神はどこからきてるんだろうか。

こういう輩が好みそうなのはrustですかね。
2020/03/08(日) 16:42:21.18ID:8nAE6D2E
そうだね
なんの根拠もないものは全く無視されて当然
その精神がある限り、古い仕様は無視されて互換性が無くなる
587デフォルトの名無しさん
垢版 |
2020/03/08(日) 17:08:13.34ID:aNSOANJ3
仕様は根拠では？
2020/03/09(月) 12:56:13.44ID:sMpZHxT3
静的型付け言語(typescript)の設計を学ぶためには、HaskellとF♯どっちが向いてるんだろう。
2020/03/09(月) 13:55:56.02ID:ufIdRt45
javaでええやん
2020/03/09(月) 15:09:02.70ID:3YbuMVaT
TypeScriptの設計を学ぶならTypeScript以外に無いだろ
591デフォルトの名無しさん
垢版 |
2020/03/09(月) 16:12:01.63ID:yVhMK1Dj
Javaとか型システム微妙言語の代表だろ
592デフォルトの名無しさん
垢版 |
2020/03/09(月) 16:54:47.41ID:SsKgVmjs
javaScriptの数値は浮動小数点数だけなんたな
2020/03/09(月) 17:45:31.41ID:lIxpUDM9
なんでそうなったん
594デフォルトの名無しさん
垢版 |
2020/03/09(月) 19:28:17.56ID:vLcN6ouJ
NumberとBigIntの二種類あるよ。
かつてNumberしかなかったのは、
JS作ってるほうも「JSで数値計算？そんなやつおらへんやろ〜」って感じだったんだと思う。
実際はそんなことはなかったという歴史は知っての通り。
2020/03/09(月) 20:29:51.94ID:8jAtqHAE
昔から知ってるやつからすると
ホームページ上で動的にデザイン変えるための言語だよなそもそもは
2020/03/09(月) 20:44:02.12ID:vwFp+YAO
昔だけ知ってるだろ？
2020/03/09(月) 21:37:38.49ID:ZpX38Mjq
TypeScript、普通にトップクラスに書きやすいから困る
json 扱うなら TypeScript さいつよ
598デフォルトの名無しさん
垢版 |
2020/03/09(月) 21:57:00.16ID:y1num/wG
JavaScriptでも、ビット演算は32bit符号付き整数に対する演算と決められてるので、
直接32bit整数の値を作れはしなくても、内部的にそのような型は存在はしてるはず

JavaScriptではビット演算はオペランドをこの32bit整数に暗黙的に型変換してから
実行するので、これを利用してNumber型を"整数型"に変換できる
a = Math.PI | 0
a == 3 // --> true

実際、JavaScriptにトランスパイルされるAltJSのPureScriptではInt型があるけど、
PSからコンパイルされたJS見てみると、Intは|0で実装されてるのがわかる。
2020/03/09(月) 22:05:45.05ID:m8/R2X0g
asm.jsと言うのものがあってだな・・・
元々誰も使ってなかった上にwasmの登場で完全にいらない子になったけど
2020/03/09(月) 22:09:10.66ID:+A4ZnB3N
int型の有無で言語を2つ以上作る世代は早く終わってほしい
ライブラリを追加するだけですむようにしてくれ
2020/03/09(月) 22:23:03.50ID:3YbuMVaT
>>599
むしろ要る子だったからwasmに進化したんだが
分けて考えるのはナンセンス
2020/03/10(火) 00:01:49.26ID:JL6LcQ03
なお誰も使わんもよう
2020/03/10(火) 00:11:22.94ID:XfE8NJsh
>>602
https://github.com/WebAssembly/design/blob/12ee148fb5cfa33331dbffadae06752b1759a7bf/HighLevelGoals.md

> WebAssembly High-Level Design Goals
> 4. Design v.1 as a Minimum Viable Product: basically what you can do with asm.js.

これが出発点だからな
そのレスはかなり間抜け
2020/03/10(火) 00:35:40.04ID:JL6LcQ03
ｖ８が優秀すぎてasmなんていらねンだわ
605デフォルトの名無しさん
垢版 |
2020/03/10(火) 01:26:22.74ID:p2qIixd6
優秀つってもしょせんC++で作られたプログラムだろ？C++褒め称えろよ
2020/03/10(火) 02:25:56.91ID:pLogcX5n
出発点だったら何なんだよ
すべてのC言語プログラマはBCPLを崇め奉らなきゃいけないのか？
どっちが間抜けだよ
607デフォルトの名無しさん
垢版 |
2020/03/10(火) 02:57:32.01ID:YCA0GKqZ
？
V8はC++で作られてるでしょ？
CコンパイラはBCPLで書かれてるの？
違うでしょ？大抵CかC++で書かれてるでしょ？
何で書かれてるかと何が先祖かの区別つかないとか、頭大丈夫？ｗ
2020/03/10(火) 03:57:53.48ID:Vh3kisjp
つまり機械語が神
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況