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

■ このスレッドは過去ログ倉庫に格納されています
2020/04/19(日) 15:06:02.92ID:jAOW5aqE
スレタイ以外の言語もok

前スレ
次世代言語18 Go Rust Elixir Kotlin TypeScript (実質20)
https://mevius.5ch.net/test/read.cgi/tech/1569866283/
338デフォルトの名無しさん
垢版 |
2020/10/27(火) 23:59:10.81ID:3AmRv/Cj
nimなんて聞いたことねーぞ
339デフォルトの名無しさん
垢版 |
2020/11/03(火) 02:03:32.62ID:Ir5rYGmc
よし！rustでhello world書いたぞ！
コンパイルしてみよ！
$ cargo build
っと。
…えっ、さ、さささ356,420バイト？たかだかhello worldで？？？
…
…あっ、デバッグビルドね！
あービックリした。
そうだよね、リリースビルドにしなきゃ。
$ cargo build --release
っと。
…さ、351,996バイト…

僕はC/C++に戻った
340デフォルトの名無しさん
垢版 |
2020/11/03(火) 12:10:40.93ID:1IAISP6j
Nimも良いけどDも良いで
2020/11/03(火) 18:06:07.49ID:t3pT9PGn
>>339
いろいろスタティックリンクするから
モダンな言語ってだいたいそんなもん
Goなんてたしか1MB超えるはず
（その代わりHelloWorld100行書いても少ししか増えない）

それが問題になるほどリソース制限がきつければC/C++しかない
342デフォルトの名無しさん
垢版 |
2020/11/14(土) 11:16:24.29ID:R1HTKNlU
>>331
Webassemblyが近そう。
ブラウザマシン専用中間言語ぽいやつ。
くろむブックもジワジワ普及しているから、次の時代の主流になるのは間違いないと確信している。
生成元の言語はタイプスクリクプトたろう。
ブートストラップ4とかあんぎゅらーとかのフレームワークつけて。
というか、最近のecサイトはGoogle系はあんぎゅらー、あどべアップル系がブートストラップにみえる。
343デフォルトの名無しさん
垢版 |
2020/11/14(土) 11:24:00.95ID:rlfQnoKb
>>341
Goはどのバイナリも中にnagix積んでるようなもんだしな。
でもwebapiサーバ(Grpc;グローバルリモートプロシージャコールんるん)の中身実装するなら、goが一番楽。手間要らず。

ポイントは、jsonのmarshalと案marshalメソッドのマッチョな便利さ。
uriとメソッドを紐付けてポスト駆動で記号的な直感さでイベント書けるところ。
あとバイナリでかいがプロセス起動が比較的に早い。
アンギュラーの起動の遅さときたら。。。
344デフォルトの名無しさん
垢版 |
2020/11/14(土) 11:43:18.75ID:YQeFE5ux
まだこのスレ続いてて草
2020/11/14(土) 13:18:18.50ID:DnZAmAgg
記号的な直感さ（笑）
346デフォルトの名無しさん
垢版 |
2020/11/15(日) 01:14:33.33ID:nkfeeuzq
>>342
>>343
この二人について何か言うことないの？
2020/11/16(月) 15:59:07.35ID:UwqGwG/i
ねえー
2020/11/16(月) 17:43:00.62ID:UqEVzIVF
何を語れと？
Golangは使いやすい。
ちな、その二つは俺が書いた。
2020/11/16(月) 18:14:31.42ID:2ijHHLJY
Go言語がダメな理由
https://postd.cc/why-go-is-not-good/

6年経ちましたがよくなりましたか？
2020/11/17(火) 18:04:47.39ID:YCT/6MoE
低学習コスト優先であえて採用しなかった機能ばっかり？
2020/11/18(水) 08:29:07.36ID:ec2Z+hpL
ゴルーチンを後世に残すのが目的の言語だったんだ
2020/11/22(日) 16:13:58.68ID:L0EkE2ab
>>349
クソ言語かしそうな機能ばっかw
2020/11/22(日) 18:56:24.06ID:0mjGeKEB
Haskellにある機能を取り入れれば取り入れるほど、その言語は流行らなくなるという法則はある？
2020/11/22(日) 20:15:49.45ID:ujQ9d+0r
そこに気付くとはやはり天才
2020/11/22(日) 23:21:01.97ID:Erty2L4C
仕様としてのHaskell2010は意外と貧弱という話もある
2020/11/23(月) 21:14:40.11ID:gAkTmGSN
最近のコンパイル時になんでもやったらええっていう流れは揺り返しくると思うぞ。
2020/11/23(月) 22:26:56.07ID:XIoHPhIo
実行時になんでもやるのはJavaScriptで飽きるほどやったでしょ！
今がそれの揺り返しだよ！
2020/11/24(火) 03:02:40.15ID:dNje8QjT
だからそういう極端に触れるのはもう流行らんって言ってるんだが。
2020/11/24(火) 04:41:00.67ID:nYSkOGZz
おまえらはほんと極端が好きだからな
nullは駄目だっていったら、もうキチガイみたいにnullの存在はすべて悪
根源的にすべて消去せよ!みたいに極端にはしったり
手続きオブジェクト指向は古い!これからは関数型だ!っていうと
キチガイみたいになんでもかんでも関数型にして挙句のはてにクラスの機能は
一切排除する!とかな
なんでも普通にバランスよく、まあこれはだめかもしれないけどたまには
あってもいいよね、つぶしもきくし
こんぐらいでいいんだがそういうバランスよく中途半端にすると
中途半端はだめだ!!とかいってキチガイみたいに暴れだすし
2020/11/24(火) 07:06:36.44ID:wCic/rFb
流行るって誰か言ってたん？
2020/11/24(火) 08:57:19.09ID:JUfZpr0a
>>359
何がこれは有ってもいいかなだ、迷惑なんだよ。キチガイはてめーだよカス
2020/11/24(火) 10:14:10.72ID:ETG1tMPZ
>>361
お、早速発狂してるねぇ……w
技術的負債作るの頑張ってねー
2020/11/24(火) 10:47:41.99ID:j055waEy
極端言語は2個しかない
バランス言語は10個でも20個でも作れる
10個覚えるより2個覚える方がいい
2020/11/24(火) 11:34:24.18ID:i4288F00
だから最近の言語はnullを根源的に排除しなくていいように無効値は無効値でnull許容型にしたりチェックを簡易なイディオムに落とし込めるような文法や機能を持ってるよね

クラスに関しては、オブジェクト指向側の流れとしてもクラスは機能として過剰だからと古典的にはインターフェイス/トレイトがまず分離されたし、最近ではJavaでもデータクラスの提案が行われてる話をした方が分かりやすいかな
その上でHM型推論を導入する時クラス的静的型の扱いが難しい（というか型のできる事の多さによっては不可能な場合すらある）から外さざるをえなかったりするという話がある

罵倒するだけじゃなく勉強して技術的に/理論的に何がトレードオフなのか、その上で言語開発者が何をどう取捨選択したのか読めると楽しめるようになるしいいと思うよ

まぁその上でも極端なものを見て不快になるのかもしれないけど、極端なものがなけりゃ中庸やほどほどは出てこないからそういう意見を言う人間の存在も含めてある程度は必要経費として諦めてくれ
2020/11/24(火) 13:41:26.47ID:dNje8QjT
>技術的に/理論的に何がトレードオフなのか
自分が全く語ってないっていうw
2020/11/24(火) 14:25:33.58ID:LJZ1Sdrv
>>363
LISPとFORTHかな？
2020/11/24(火) 15:04:58.61ID:p7TzmKlx
P　R　O　L　O　G
2020/11/24(火) 15:31:15.48ID:j055waEy
そっち側はPythonが平定したから比較的平和なんだよな
逆側は勝負が決まったのに敗北宣言しないクズが多い
2020/11/24(火) 16:15:01.48ID:HgpgxAFc
笑
2020/11/24(火) 17:56:01.23ID:svYBEQzM
たしかに俺が今迄みてきたなかで最悪に頭おかしい馬鹿(褒め要素ゼロ)
と思った二大アホ信者は、LISP信者とFORTH信者だったな
2020/11/24(火) 18:12:04.57ID:Px3mcDE+
>>365
型推論には限界があって、型に機能を加えれば加えるほど実装が困難になり最終的には不可能になるので、高度な型推論とOOP的クラスに由来する静的型付けの導入（と実装コスト）はトレードオフだ
というのは特に型推論の限界については先行研究があるし理論的なトレードオフの一例だというつもりで書いたのだけれど

型推論で有名なOCamlのOOP的クラスも結構制約あるし型システムはその分複雑になってるからね
2020/11/24(火) 18:53:03.86ID:u+mtDBRk
>>370
誉めてどうする？
2020/11/26(木) 15:38:50.46ID:aj/sudBx
>>高度な型推論とOOP的クラスに由来する静的型付けの導入（と実装コスト）はトレードオフだ
なんか言ってることめちゃくちゃじゃないか？
2020/11/26(木) 17:20:08.08ID:O9/RzT4k
ごめんなさい
トレードオフって言ってみたかっただけです
2020/11/26(木) 18:45:14.84ID:i3o/tq0Q
ハードオフ
2020/11/26(木) 22:08:38.81ID:9Ff8ZZge
>>373
言い方が悪いね申し訳ない
高度な型推論をさせたい所にクラスの継承オーバーロードオーバーライド由来の多相性やディスパッチが絡むと面倒くさいくらいでどうだろう
2020/11/27(金) 01:30:32.59ID:kjR/dkMj
どこまでを同じ型とするかってのと、型推論をどこまでやるかって話か。
くっだらねー話だな。
型をどこまで強くするか(暗黙の変換をどこまで認めるか)なんて今更すぎて。。
2020/11/27(金) 02:57:38.45ID:o8mcz0Pl
>>377
全然違ってて草る
今更すぎてww
2020/11/27(金) 08:35:22.42ID:suMZl+3n
型推論と聞いて暗黙の変換に結びつけるのは、LL界から来たウンコ脳あるある
2020/11/27(金) 11:38:18.35ID:7OB9oyZa
暗黙の型変換を気にするのはむしろ静的型付け言語やで

今どきLLなんて言葉を使う方は流石にわかってらっしゃらない
2020/11/27(金) 17:52:45.14ID:ri5grbAb
なにいってんだこいつ
2020/11/27(金) 21:22:17.08ID:kjR/dkMj
暗黙の型変換がコンパイル言語にないと思ってる馬鹿はc言語からやり直しやな。
2020/11/27(金) 21:43:26.23ID:vu5n6mzG
LLは2010年頃を最後に聞かなくなったな
JavaScriptが原因だろうね
2020/11/27(金) 21:44:58.71ID:W+zDVYCR
Python以外踏み潰してしまってすまんなｗｗ
2020/11/27(金) 22:08:13.46ID:0HPijqQz
せっかくＪａｖａを殺したのに第二のＪａｖａを作るわけにはいかんのだよ
2020/11/27(金) 22:20:44.61ID:0HPijqQz
とおもったけど
どちらかというと浸透して普通になったんでは
2020/11/27(金) 22:47:47.39ID:YYM6Dd5g
>>382
さすがにここまで明後日の話を自信満々にするのは清々しい
2020/11/27(金) 23:14:56.50ID:lTXB/QWu
日曜日に何かあるの？
2020/11/29(日) 00:39:38.28ID:tTYihsqx
>高度な型推論をさせたい所にクラスの継承オーバーロードオーバーライド由来の多相性やディスパッチが絡むと面倒くさいくらいでどうだろう
継承オーバーロード、オーバーライドが絡む多層生の問題が型推論をめんどくさくなるって
型をどのレベルで同一と考えるかって話にしか普通ならんよね？
まあ元々の文章もどうかしてたし、まともに突っ込むだけ野暮なんだろうが。
2020/11/29(日) 13:21:38.74ID:c6bFSJ+B
もしかして暗黙の型変換と部分型関係を混同していらっしゃる？？
2020/11/29(日) 18:57:40.67ID:tcENDjhy
>>389
型をどのレベルで同一と考えるかは関係ないって
推論時の制約の識別だったり制約を満たす型候補の識別や選択が複雑になるという話

型推論時に暗黙の型変換をしてると思ってるのかな？
392デフォルトの名無しさん
垢版 |
2020/11/30(月) 14:23:30.47ID:3rsg5agA
V言語いまさらだけど
メモリリークはともかく全体的にバグだらけ
インターフェースとジェネリックまわりもバグらだけ
作者コンパイル速度にばっかりこだわってて
安定性は二の次以下で放置しっぱなし
文法的には好きなんで惜しいなー
あと3年もすれば安定するかな？
2020/11/30(月) 14:32:55.83ID:5LwFg3Ca
だから詐欺だとあれほど…
2020/11/30(月) 14:36:28.77ID:BSk0huJF
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.03ID:PxTcCeoD
>>391
>推論時の制約の識別だったり制約を満たす型候補の識別や選択
継承されようが型変換を一切考えないで良いなら制約としては何も困ることはないが？
型推論の問題以前に多相性のメリット、デメリットすら理解できてないのでは？
2020/12/01(火) 02:47:37.79ID:SzMvahRJ
>>395
これだけ指摘されても自分の知識不足を省みず同じ言い分を毎日繰り返すおじいちゃん相当ヤバイで

少しでも自覚症状あるなら早めに病院行きなはれ
2020/12/01(火) 10:09:32.31ID:VSZnTJcU
ここまで必死になって反論してくれるということは、きっと表現力が高く型推論もできる型システム、俺なら作れるぜ！ ってことなんだろう
期待してるわ
2020/12/01(火) 10:33:22.17ID:VBLLvmcX
いくらなんでもこの逆ギレは恥ずかしい
399デフォルトの名無しさん
垢版 |
2020/12/01(火) 14:29:58.48ID:svWaRz3S
型推論「これはたぶん弐ノ型だな」
2020/12/01(火) 15:57:28.00ID:TYZeCD93
おじいちゃんにオススメ
20年前のペーパーだけど型推論とオーバーローディングの関係は分かるはず
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/overloading.pdf
2020/12/01(火) 18:02:36.90ID:NPaComTE
3行にまとめろよカス
2020/12/01(火) 21:00:36.73ID:PxTcCeoD
>>400
だからまんま弱い型で可能性が広がるからってだけじゃねーかw
お前、さてはちゃんと読んでねーなw
2020/12/03(木) 18:35:40.61ID:W3dmrQm9
とりあえずTaPL読んで
2020/12/03(木) 21:11:04.97ID:QOvIykSz
翻訳めちゃくちゃ叩かれててワロタｗｗｗ
2020/12/04(金) 00:09:50.97ID:ONRwTAv7
マウント取った気分になれれば何でもいいんだなこいつ
2020/12/04(金) 01:17:58.73ID:nObgG/+C
お前ら面白い奴らだな
コロナが流行っていなかったら
オフミ開いて喧々諤々したいところだわ
2020/12/04(金) 02:13:30.09ID:9rlWhRRz
喧々諤々もいいけれど
クラスベースオブジェクト指向の継承と
モジュラリティーが相反することは
共通認識ということでいいよな
2020/12/04(金) 03:05:02.00ID:2+VKdPy1
喧々諤々は間違い
喧々囂々、侃々諤々、が正しい
いい歳こいて恥ずかしいぞ
ていうか変換時に気づけ
2020/12/04(金) 07:24:18.06ID:ONRwTAv7
>>407
モジュラリティ？ 型推論の話どこいったん？
2020/12/05(土) 21:04:04.49ID:IToZisS4
まさにこの症状
https://qiita.com/hirokidaichi/items/adccebb41f77eaa6132f
2020/12/06(日) 11:05:17.77ID:Md9wORf7
話者をdisったところでOOP関係なく型に機能付けすぎると決定不能になるのは事実だからなぁ
2020/12/06(日) 18:17:03.73ID:2tpoK6vU
だから型に機能をつけすぎるじゃなくて問題は型の分類をどこまでやるかってことだっての。。何回言わせるんだよ。。
2020/12/06(日) 19:03:42.13ID:hVhD6Or5
>>412
一般的に通用する定義を使って話さないと、一生かかっても誰にも理解されないよ
その分類ってのは厳密にはなに？
2020/12/06(日) 22:48:01.01ID:cXTltfR7
型はないほうがいい。究極的には。
2020/12/07(月) 00:18:42.29ID:obD3rptW
ねーよ
2020/12/07(月) 07:36:57.33ID:GM+ljNhw
シェルスクリプトかな？
2020/12/07(月) 23:25:24.59ID:8m4VcT76
ざっくり言うとインライン展開できない関数は型推論もできない
2020/12/08(火) 11:27:25.28ID:TVoYF8xt
なんでJSXなんてものまで出てきたのにHTMLを書かなきゃいけないんだ？
2020/12/08(火) 11:58:19.43ID:FU97XkxI
ハァ？HTMLの文法に未練があるからJSX使うんだろ？
あれコンパイル後はJSの関数呼び出しになるんだぞ？
HTMLの文法に未練がないなら最初からReact.createElement使って入れ子の関数で自分で書けばいい。
誰もそうしないのはHTMLの文法に未練があるから。
2020/12/11(金) 15:59:53.87ID:B7/V4mDP
wasmにコンパイルされる言語探してたら良さげなもん見つけた
https://github.com/grain-lang/grain
421デフォルトの名無しさん
垢版 |
2020/12/19(土) 00:30:47.02ID:19FeYV4h
普通にrustじゃん？お漏らしスコープでtraitの無い
2020/12/19(土) 09:06:04.43ID:ZHiT7c2p
ところでscalaはダメなんですか？

kotlinてのがあるらしい
↓
見てみるとさほど惹かれない
↓
scalaてのがあるらしい
↓
kotlinにくらべて随分意欲的やんけ！
↓
_=とか？.curriedつけないとカリー化されないとか？
複数パラメータリストに部分適用しようとして _ をつけないといけないとか？
ヴァリアントがないとか？うーん？　←いまここ
423デフォルトの名無しさん
垢版 |
2020/12/19(土) 09:23:44.43ID:2Cvgn7yg
jvmが取り憑いてるから
2020/12/19(土) 10:12:52.69ID:jiYjRuFZ
信者がアレだから
2020/12/19(土) 10:14:58.08ID:sSGRlhWr
関係なかろう
2020/12/19(土) 14:34:57.88ID:W83u/fSR
雑食系エンジニア・KENTA、2020/3

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

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

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

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

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

よって、初心者が学ぶべき順番は、Ruby → Go
2020/12/19(土) 17:28:00.48ID:dhA5fnTq
えええええええええ
2020/12/19(土) 18:00:53.27ID:Wex6Ix7T
5chのような人が多いってこと？
2020/12/19(土) 18:23:51.65ID:dhA5fnTq
名探偵ホームズで
田舎の警官は親切で優秀だと
どう考えても事実と真逆のことが何度も書いてあったのを思い出して
なんというか
人心誘導的な感じがする
2020/12/19(土) 19:41:31.71ID:0cJ95+HZ
>>426
その動画は的外れと思う
心理的安全とやらじゃなくて言語の魅力という点で伸びがなかったのが原因と思う
なんとなく期待するいろいろに対して
調べていくうちのあれあれあれーっ？が多すぎた
（個人の感想です）
2020/12/19(土) 21:20:19.06ID:dhA5fnTq
ケンタはホモ（個人的な観測の範囲からの推測です）
2020/12/19(土) 21:56:11.82ID:dhA5fnTq
つかどう考えてもだめだろこれ
昔自分の記事をこきおろされたのを根に持って
人を名指しで侮辱したあげくにコミュニティからの排除を煽るとか
クズにもほどがある
2020/12/19(土) 21:56:27.33ID:g7ChEFMN
>>426
聞いたことないけど、キャズムってどんな言語なの？
コイツが考えた言語？
2020/12/19(土) 22:03:48.02ID:RW00uZdG
>>433
英単語のchasmが由来のカタカナ語
意識高い系いつもの日本語でおk案件
2020/12/19(土) 22:14:00.45ID:jiYjRuFZ
イノベーター理論だよ
2020/12/19(土) 22:26:25.16ID:1ZOkfUtM
>>434
キャズム => 断絶
破壊的イノベーション => 破壊的革新
ブルーオーシャン => 青い大海
リーンスタートアップ => 痩せ型新興企業

横文字にすると一般的な単語との区別がつきやすくて付随する意味がとりやすいんだよ
プログラミング、コンパイル、データベースなんかも同じ
2020/12/19(土) 22:40:02.67ID:RW00uZdG
>>436
それはそう
ただその文脈が共有されてない外部向けにまで使ってるのは、受け手にとって未知で特殊な単語を使ってる事から発生する権威性によるマウントの側面があって私は嫌いなので日本語でおkと言っている
2020/12/19(土) 23:22:22.02ID:aGDb/Jxi
アグリーとか言ってんのは賛成では表現できない
深い意味合いあるんかね
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況