次世代言語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/
2020/09/05(土) 10:34:06.80ID:Zt2jN5NI
メモリレイヤーのおかげで彼女ができました
2020/09/05(土) 12:18:42.56ID:6bX7Er3v
なんでメモリーレイヤーでもメモリレイヤでもなくメモリレイヤーなんだ？
2020/09/05(土) 12:30:23.21ID:xxmjhRdJ
メモリレイヤーのおかげで貯金が増えました
305デフォルトの名無しさん
垢版 |
2020/09/05(土) 12:57:25.52ID:6bF9LE2w
>> 297,300

https://www.hackerearth.com/ja/practice/notes/memory-layout-of-c-program/
2020/09/05(土) 12:59:43.79ID:qef5ttAc
レイアウトをレイヤーと間違えてましたというオチ？
まず土下座しなよ
307デフォルトの名無しさん
垢版 |
2020/09/05(土) 14:48:43.58ID:D6IgUwp/
これはひどい
2020/09/05(土) 21:31:43.79ID:4KLFZR2n
メモリレイアウトするのはメモリレイヤーだろ？
2020/09/05(土) 21:44:34.11ID:S08YuXMp
それはつまりコスプレイヤーはコスプレイアウトするということ？
2020/09/05(土) 22:30:54.33ID:OV3VFUME
なんでマキマはパワー殺したんや？

パワーちゃんを返せ！！(´；ω；｀)ﾌﾞﾜｯ
311デフォルトの名無しさん
垢版 |
2020/09/05(土) 22:44:48.98ID:PJOEuBz7
メモリイヤー
312デフォルトの名無しさん
垢版 |
2020/09/12(土) 04:26:21.84ID:qnwPZG87
もう書き込み止めたのか

次世代言語って幻想はどこにもないんだな
313デフォルトの名無しさん
垢版 |
2020/09/12(土) 09:04:47.51ID:gNCHDXQ0
ただの現実だからね
2020/09/12(土) 09:09:11.46ID:tObrdLHP
RustとGoでFAだろ
2020/09/12(土) 09:18:26.07ID:D2vMAItA
Rustは知らんがGoはもう普通に使われてるよ
Go+Lambdaは古いバッチやツールを一掃していくだろう
2020/09/12(土) 17:45:52.54ID:DngvGWWG
Rustだって機能が足りない足りない言われながらも1.0は2015だし、Goだって1.0は2012
TSも2.0すら2016だ
単純にここ数年に一発屋でなくかつそこそこの規模と注目度のある新言語が無いって話だろう

Juliaの1.0が2018ってくらいか？
Vはdiscoのコミュニティと宣伝は活発みたいだが結局メモリ管理の話が全然されていないのでここではお話にならないって扱いなのもある（そしてそれは正当な評価だと思う）
2020/09/12(土) 17:59:51.46ID:erdZI+Jx
julia意外だな。1.0未満の期間が長かったんだっけ？
2020/09/12(土) 18:22:29.95ID:uKAWBZoa
てかc++が35年前リリースで、その時点でcの互換性を気にするような時代だったわけで、
ライブラリ資産を考えれば現在ならさらに互換性重視になるのは当たり前といえば当たり前な話だな。
2020/09/12(土) 18:47:45.43ID:iYw8cktk
新言語が実用レベルになって注目を集めるまでには短くても5年くらいかかるのが普通
Swiftみたいなのが例外

https://en.wikipedia.org/wiki/Timeline_of_programming_languages
2020/09/16(水) 11:21:04.86ID:7urtxE4G
typescriptに興味があるんだけど、これってpythonと同レベルのことはできるの？
2020/09/16(水) 12:44:17.58ID:EKN8ETXg
余裕でpython超えてるよ
322デフォルトの名無しさん
垢版 |
2020/09/19(土) 02:33:55.66ID:Vwp+/AeQ
個別スレの勢いもありそうだし、次からはスレタイトルからGo,Rust,TypeScriptは外していいんでね？
代わりにDeno入れようや。
2020/09/19(土) 08:22:29.23ID:k5fZduun
denoって言語じゃねえじゃん
2020/09/19(土) 10:22:58.54ID:GIsFWUa4
node.jsも言語って言ってるやついたなぁ
325デフォルトの名無しさん
垢版 |
2020/09/19(土) 13:21:30.45ID:c3Dxemv9
node.jsはLinuxだよねｗ
2020/09/19(土) 16:39:06.59ID:zaBpASvv
>>325
？？
2020/09/19(土) 21:13:18.09ID:aizVmBlc
なでしこ、
328デフォルトの名無しさん
垢版 |
2020/09/20(日) 11:16:46.77ID:twnavDgu
node.jsはUbuntuだよねｗ
2020/09/20(日) 11:29:02.85ID:OXACXz1O
サンマは目黒に限る、みたいな？
330デフォルトの名無しさん
垢版 |
2020/09/20(日) 23:33:35.24ID:MLu0Cj9r
reactでtypescript導入してみたけど
生産性下がりそうだわ
2020/09/21(月) 19:50:42.00ID:bUjODxzP
typescriptは、簡単にインストール不要で
配布しやすい実行ファイル形式に出来ると良いんだけどな。
2020/09/22(火) 03:21:18.04ID:m5/WiGPk
webpack使ったら1個のjsに
2020/09/22(火) 21:58:13.38ID:8LDReTrK
nimが来そうってマジ?
2020/09/23(水) 00:25:08.30ID:VyoI5STN
全然
335デフォルトの名無しさん
垢版 |
2020/09/23(水) 09:33:08.94ID:hJkRvCZv
"Dよりマシ"
336デフォルトの名無しさん
垢版 |
2020/09/23(水) 19:46:40.23ID:FlkINfmG
iOSやMacOSとかの開発用としては強みは当然あるだろうけど、
Swift言語自体のほかの言語に対する長所って何ですか？
2020/09/25(金) 07:32:26.71ID:LUJK9/4D
>>333
オレは結構好き。
あとHexaが気になる。
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
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況