次世代言語27 Nim Zig Pony Carbon Gleam

2022/08/05(金) 09:40:50.22

!extend:checked:vvvvv:1000:512
!extend:checked:vvvvv:1000:512

スレタイ（順番はRedMonk準拠）以外の言語もok

前スレ

次世代言語26 TypeScript Swift Go Kotlin Nim
https://mevius.5ch.net/test/read.cgi/tech/1655771266/

VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured

2022/09/16(金) 12:01:00.82

書き忘れた
jaktはC++へのトランスパイラ、ってのも特徴

SerenityOSはC++で作ってたから、C++トランスパイラにすれば移行しやすかったってことだろう

2022/09/18(日) 13:44:05.76

トンズラパイラに観えた

2022/09/28(水) 19:48:23.69

Nim追加
Language x10 x100 x200 x400 Memory Comment
--------------------------------------------------------------
Zig 0.118 1.073 2.113 4.203 3.2MB (std.HashMap, caller-hash by Context(Fnv1a_64))
Nim(clang) 0.211 1.171 2.245 4.372 4.2MB (CustomCountTable,LTO,ARC,caller-hash) New
C(gcc) 0.136 1.146 2.271 4.531 2.0MB (optimized.c,binary IO,jemalloc,O4,LTO)
C(clang/LLVM) 0.137 1.147 2.280 4.544 2.0MB (optimized.c,binary IO,jemalloc,O3,LTO)
Go 0.152 1.233 2.428 4.832 3.9MB (caller hash,better loop)
Go 0.164 1.346 2.654 5.279 3.8MB (caller hash)
Rust(LLVM) 0.154 1.425 2.838 5.674 2.6MB (optimized-customhashmap,O3,LTO,caller-hash)

以下、caller-hashではない
Go 0.085 0.366 0.693 1.319 61.9MB (parallel.go,reserve 65536/2)<--マルチスレッド
Nim(clang) 0.218 1.255 2.401 4.691 4.2MB (CustomCountTable,LTO,ARC) New
Zig 0.162 1.493 2.970 5.935 4.6MB (std.StringHashMap)
Go 0.182 1.563 3.063 6.097 3.8MB (customhash.go,reserve 65536)
Rust(LLVM) 0.214 1.725 3.396 6.715 3.5MB (optimized,fxhash,O3,LTO)
Nim(clang) 0.316 2.241 4.371 8.633 4.2MB (optimized.nim,std/CountTable,65536,LTO,ARC,FNV) New
Nim(clang) 0.332 2.387 4.652 9.152 4.2MB (optimized.nim,std/CountTable,65536,LTO,ARC) New

zig 0.10.0-dev/gcc 12.2.0/clang 15.0.0/Nim 1.6.8/go go1.19.1/rust 1.64.0
CPU Zen3@boost~4.75GHz

https://github.com/benhoyt/countwords

https://mevius.5ch.net/test/read.cgi/tech/1663409149/529,450,461,478

今回の検証では、「C」は定点観測用として固定。
Nim/CustomCountTableはinc呼び出しの引数string copyを抑制。

Nimが想像より遥かに速くて「Cと同程度」以上の結果が出た。

2022/10/09(日) 07:33:11.55

検証 https://blog.fascode.net/2021/10/24/try_julia/

Language 10^5 10^6 Comment
----------------------------------
C++(clang) 0.032 1.029 (O3,LTO,vector,fastmod)
Nim(clang) 0.033 1.031 (O3,LTO,Seq,fastmod)
Nim(gcc) 0.041 1.339 (O4,Seq,fastmod)
C++(gcc) 0.042 1.502 (O4,vector,fastmod)

以下、fastmodではない

Odin(LLVM) 0.073 3.784 (o:speed,[dynamic]int)
Nim(clang) 0.074 3.784 (O3,LTO,Seq)
C++(clang) 0.074 3.785 (O3,vector)
Cython(clang) 0.089 3.797 (O3,libcpp.vector)

Nim(gcc) 0.083 4.410 (O4,Seq)
C++(gcc) 0.085 4.412 (O4,vector)
Zig(LLVM) 0.083 4.410 (OReleaseFast,ArrayList)

Julia(LLVM) 0.254 4.583 (JIT,O3,Int[])
Python(Numba) 0.602 5.236 (JIT,list[int])
PyPy 0.162 7.046 (JIT,list[int])
Cython(clang) 0.696 39.603 (O3,list[int])
Python 1.187 75.740 (list[int])

https://odin-lang.org/
https://github.com/lemire/fastmod

zig 0.10.0-dev/gcc 12.2.0/clang 15.0.2/Nim 1.6.8/Odin dev-2022-10-nightly/
julia 1.8.2/Python 3.10.7/PyPy 7.3.9/Cython 0.29.32/numba 0.56.2
CPU Zen3@boost~4.75GHz

2022/10/09(日) 07:34:33.26

感想:
Juliaは確かに速いが、他との比較は最適化オプションしだい。

動的配列/リストのベンチになるかと思ったが、やってみたらgccが振るわない。
原因はmodulo計算の最適化の違い？ https://godbolt.org/z/T7bKK14fr

ZigはLLVMのmodulo最適化をトリガー出来なかったか。

OdinはLLVM AOTコンパイラとしての性能を引き出せている(今回は)
まだ言語機能の特徴をつかんでいないが、映画、ゲームグラフィックス分野で使う様な
ライブラリが最初から入っているのが売り？

Nimは殴り書きとか、書き捨てとか、簡潔に書けて、gcc/clangの速い方を選べて、
fastmodの様なC++「header only」のライブラリを手軽に利用できるのが良い。

Cythonも慣れたらNimと同じように出来るのだろうか。

2022/10/09(日) 11:10:02.48

並べるときは速度の早い順で書いて下さい

2022/10/31(月) 12:29:04.61

「Python 3.11」がリリース、4年で5倍の高速化を目指す「Faster Cpython」計画が始動
https://forest.watch.impress.co.jp/docs/news/1451751.html

200万ドル程度と見積もられる資金はMicrosoftが協力

参考
Faster-Cpython Microsoft
Pyjion Microsoft
Cinder Instagram/Facebook/Meta
GraalPy Oracle
Pyston Dropbox->pyston-lite
Ruby3 3倍速->rya

2022/10/31(月) 13:03:53.85

Rust「…」

2022/11/13(日) 10:14:16.92

検証①②
https://i.imgur.com/EjOYpAq.png

2022/11/13(日) 17:19:42.67

>>87
時間比較する時は
時間で昇順ソートした表を掲載して下さい

2022/11/14(月) 11:28:56.72

>Nimが想像より遥かに速くて「Cと同程度」以上の結果

Nimが速いのはトランスパイラだからな

2022/11/19(土) 20:53:35.05

Nimの実行速度はGCCと同等と思って良い

2022/11/28(月) 15:07:09.33

他人が比較したやつを載せるんじゃなくてお前が比較したやつ載せろよ

**デフォルトの名無しさん** (JP 0Hcf-RPwI) · 2022/11/28(月) 17:49:52.29

なら >>91 が比較しろ

2022/11/28(月) 18:00:59.49

何でやねん

2022/11/28(月) 18:40:44.25

今更だけど、スレタイが前スレとは違う言語だらけで
マイナーなのをウォッチする別スレかと思ってたわ

2022/11/29(火) 00:59:42.07

TypeScript、Go、Swift、Kotlinって次世代でも何でもなく普及しきってる現役言語で、それぞれ言語別のスレが伸びてるし、
ここはこのスレタイで良いと思うわ

2022/11/29(火) 12:05:03.27

Gleamだけ知らんのだがどんな言語？

2022/11/29(火) 15:23:09.06

https://gleam.run/
Rust製のErlang、JavaScriptトランスパイラ、という事で語れる人集合！
>>91が比較したら見直すぞ！

2022/12/12(月) 11:40:34.09

新言語Verse
https://simon.peytonjones.org/assets/pdfs/haskell-exchange-22.pdf
関数型でUnreal Engineに組み込むらしい

2022/12/18(日) 01:37:12.14

Nested Choice面白いな

2022/12/18(日) 11:18:36.47

おお、まだJuliaの名前が見られるとは

2022/12/24(土) 17:31:02.76

Zigは一般運用していいレベルだと触って感じた

2022/12/25(日) 14:55:22.12

一般運用が何をさしてるか不明だけど
仕事で広範囲に使うのは厳しいんじゃ ?
1.0に達して無くて仕様も変更され続けてるし

2023/01/03(火) 23:06:21.96

いつの間にかスレタイNim以外聞いた事ない言語名になってた

2023/01/05(木) 00:37:52.42

Cyber言語
https://cyberscript.dev/index.html

Luajitの3倍高速な組み込み用のスクリプト言語
Pythonライクなインデント

Luaよりも人気でるかも
組み込み用途なので汎用的には流行らないと思うけど

2023/01/05(木) 01:10:08.86

>>104
lua嫌いだから頑張ってほしいな。

2023/01/10(火) 00:06:39.20

TEST

2023/01/21(土) 14:23:16.05

Googleって何個流行らん言語開発する気なんやろな
コトリンも結局流行らんかったし
goも流行ってるかと言われると微妙やし
カーボンなんて絶対はやらんわ

2023/01/21(土) 15:29:58.89

Google Chrome、プログラミング言語「Rust」の採用を発表
https://news.mynavi.jp/techplus/article/20230113-2561774/

2023/01/21(土) 18:31:14.57

>>107
kotlinはGoogleちゃうぞ。JetBrains。

2023/01/21(土) 19:13:09.85

>>109
そうやったんか
泥の印象しかないから思いこんでたわ

2023/01/26(木) 11:26:58.76

>>104
CyberってZigで書かれてるんだな。
あと非JITのインタープリターなのに高速なのは普通にすごい、これは応援するわ。

2023/02/01(水) 15:25:14.11

Zig言語が v1.0 でリリースされるのは
3年後らしい
うまくいっての話だから普通ならさらに2，3年は遅れるかも

2023/02/06(月) 08:25:04.30

WebAssemblyにガベージコレクション機能が登場、Chrome 111で試験的実装に。Dartなど高級言語のWebAssembly対応へ前進
https://www.publickey1.jp/blog/23/webassemblychrome_111dartwebassembly.html

2023/02/06(月) 09:11:15.73

おお

2023/02/06(月) 09:44:38.64

すべてのGC言語に対応するGC実装を決められない
から困難と言ってたと思うがまとまるんだろうか

2023/02/06(月) 11:44:22.80

https://github.com/WebAssembly/gc/blob/master/proposals/gc/Overview.md
この辺みても到底詳細仕様が決まるようには見えないし
先陣を切って自分の都合の良いように決めるために、Googleがゴリ押し始めたんだろうね
まあQUICはうまくいった感あるし、Chromeの影響力を考えると一気に進みそうだね

2023/02/06(月) 12:44:04.53

ここからが勝負なのよね
ライセンス上の制約が少ない言語なら何でもいいから早く覇権決めて欲しい

2023/02/17(金) 08:18:49.77

FirefoxもWebAssemblyのガベージコレクション機能を実装中であることが明らかに
https://www.publickey1.jp/blog/23/firefoxwebassembly.html

2023/03/18(土) 09:36:05.92

GPT-4で作られた新言語が出てきたな
これからは生成AIが言語を生成する時代かも
https://lukebechtel.com/blog/gpt4-generating-code

2023/03/25(土) 22:53:18.43

所詮トランスパイルするだけの言語は終わる
TSやKotlinなど

2023/03/26(日) 09:50:29.12

C++は元々トランスパイルするだけの言語だったけど未だに終わってないぞ

2023/03/27(月) 14:32:28.74

>>120
直接コンパイルしているから終わらなかった
クラスを追加しただけのように見えてバイナリの速度も若干違うし
今や別物という扱いかと

2023/03/27(月) 21:45:38.89

Types as Commentsが通ったらTypeScriptは安泰

2023/04/08(土) 09:14:03.61

SafariもWebAssemblyのガベージコレクション機能の実装に着手。Technology Preview 167で明らかに
https://www.publickey1.jp/blog/23/safariwebassemblytechnology_preview_167.html

2023/04/13(木) 09:31:47.71

王者Pythonのトップ陥落もあり得るか？　C++とJavaが猛追　2023年4月言語人気ランキング
https://atmarkit.itmedia.co.jp/ait/articles/2304/13/news044.html

TIOBE SoftwareのCEOを務めるポール・ジャンセン氏は、2023年4月に「Zig」が46位となり、初めてトップ50入りしたことについて、次のようにコメントしている。
「昨今では、膨大な量のデータを高速で処理する必要が生じていることから、高性能なプログラミング言語が人気を呼んでいる。CとC++はトップ10の上位を維持し続け、『Rust』もトップ20に定着しつつある。こうした中で、CとC++のもう1つの注目すべきライバルであるZigも、トップ50に入ってきた」

「Zigは非常に実用的な言語であり、C／C++プログラムとスムーズにやりとりする。そのため、C／C++からZigへの移行は簡単だ。Zigは、CとC++の優れた機能(オプション型で強化された明示的なメモリ管理など)を全て備え、あまり優れていない機能(前処理など)は放棄している。トップ50入りは成功を保証しないが、少なくとも注目に値する第一歩だ」(ジャンセン氏)

2023/05/06(土) 21:37:15.59

待望の新言語

Mojo &# 128293;: Programming language for all of AI
https://www.modular.com/mojo

2023/05/07(日) 10:45:52.48

最終的にPython互換を目指すということだからPyInstallerの軽量な代替になってくれないか期待したいところだけど
まだclassもサポートされてないのね。

2023/05/07(日) 10:46:24.88

Nimじゃ駄目なんですか？

2023/05/07(日) 17:32:47.00

>>128
いい言語だと思うが、
開発者少ないのに複数言語へのトランスレートは厳しいよ。
Cのみに絞るか、せめてCとJavaScriptくらいに絞るべきだと思う。

2023/05/08(月) 00:18:12.54

Mojoの発音はそのまま喪女でいいんか？

2023/05/09(火) 15:00:49.20

AIソフト開発向け言語Mojo発表
―Pythonの使いやすさとC言語のパフォーマンスの組み合わせ
https://gihyo.jp/article/2023/05/mojo

すべてを1つの言語で記述
Mojoは使いやすいPythonの部分と、C、C++、およびCUDAを必要とするようなシステムプログラミング機能が組み合わされている。自動チューニングとメタプログラミング機能を備えた次世代コンパイラテクノロジーによって、プログラムに型を追加することでパフォーマンスが大幅に向上し、Rustのようなメモリ安全性をもたせることができる。

Pythonをはるかに超えるパフォーマンス
MojoはすべてのAIハードウェアへのアクセスを可能にするMLIR(Multi-Level Intermediate Representation)を使用している。これにより、Mojoはスレッディング、およびTensorCoreやAMX拡張機能といった低レベルのハードウェア機能を使ってアクセラレーターを利用できる。同社によると、Mojoがハードウェア機能を最大限に活用し､マンデルブロのような数値アルゴリズムを実行する場合、Pythonよりも35,000倍高速に動作するという。

Pythonエコシステムを利用可能
Mojoは単にPythonライクな言語というだけではなく、Numpy、Pandas、Matplotlibなどのメジャーなライブラリをはじめ既存のカスタムPythonコードを含むPythonエコシステムへのアクセスも提供される。

2023/05/10(水) 00:22:05.48

Mojoは早くOSSにしろよ

2023/05/15(月) 06:04:50.19

オフサイドルールは書かされてる感が強くて嫌いなんだけど、世間的には好意的なのか

2023/05/15(月) 19:15:35.36

>>133
オフサイドルールに限らず文脈依存文法は自動化が難しくなるのでセンス悪いと思うけど、ブロックは視覚的に認識しやすいから人気あるんだよなぁ。
YAMLみたいに併用できるならまだマシだけど。

2023/05/15(月) 22:35:11.34

オフサイドルールって文脈依存文法か？

2023/05/19(金) 12:22:48.77

>>135
前後のインデントによってブロックが決まるから文脈依存じゃね？

2023/05/19(金) 18:44:24.43

YAML拡張してifとかの制御構造入れるやつもいるからな。

2023/05/19(金) 22:29:50.83

>>136
後ろのインデントには依存しないんじゃね

2023/05/20(土) 12:03:13.56

オフサイドルールでブロック表すのも、ブレースでブロック表すのも、構文解析的にはは同じことでしょ

2023/05/20(土) 16:28:20.57

インデントの深さに依存するから、フレーズみたいに「現在のブロックを閉じる」だけの操作では済まない。
オフサイドルールのプッシュダウンオートマトン実装例あったっけ？

2023/05/20(土) 16:36:35.19

構文解析的にはほぼ同じ

間違ってても検出できない(ケースが多い)
オートフォーマットができない
のがデメリット

2023/05/20(土) 16:40:15.10

>>141
PDAの実装は？

2023/05/20(土) 16:43:18.84

前処理でブレース挿入して処理するから実際のパーサ部分は似たようなものって言いたいんだろうか

2023/05/20(土) 16:48:04.32

>>143
そりゃ乱暴すぎる。

2023/05/20(土) 18:06:52.09

>>142
GHCとか

Pythonとかはlexerの段階でDEDENTトークンを生成してるから>>143の言う通り

2023/05/21(日) 01:17:46.07

https://docs.python.org/3/reference/lexical_analysis.html#indentation
Pythonの場合はここに書かれてるようにlexerの時点でスタックを使って処理できるという仕様だけど
他の言語のオフサイドルールはもっと複雑になるの？

2023/05/21(日) 15:37:31.99

>>146
lexerの能力は高いだろ。
PDAは(Lexerとかと比べると)大したことできないよ。

2023/06/12(月) 15:08:29.37

Zigの単行tryとcatchは馴染みないから怪訝してたけど使ってみるとtry-catchブロックよりフローが明確になって良いね
これって他言語にもある言語仕様なのかな

2023/06/12(月) 18:10:45.80

>>148
つアダムタッチ

2023/06/13(火) 16:03:31.28

NimってPythonのライブラリにアクセスしてfor文回すともはやNimに求めてた性能ははpythonよりになってしまうのでは？型推論できないからねぇ。

2023/06/13(火) 18:32:28.49

>>150
型推論は無関係な気がする
単にPythonライブラリの性能に律速されるだけ

2023/06/14(水) 07:40:07.84

pythonのダメ記法を捨てられるだけでもメリットデカイね。

2023/06/14(水) 11:21:50.21

for を python で描くと遅い
for は Nim で描いて
中身だけ python ならまだマシ
もちろんネイティブの速度ではないがそんなの Nim だからじゃなくて
C++ でも Rust でも python 呼べば同じ結果になるぞ

2023/06/14(水) 14:43:32.26

>>153
for文をNimで書いて、中身をpythonにして実行速度を計測してみたらpythonオンリーとあまり変わらなくてがっかりしたという経験がある。ただ、自分のコーディングが悪かった可能性もあるけど。

2023/06/14(水) 16:19:12.32

>>154
中身の計算コストがforループ自体のコストと比べて大きければNimでもpythonでも変わらないんじゃない?

2023/07/04(火) 03:53:42.95

病∞！！！！
症∞！！！！！
漠∞！！！！！！
西∞！！！！！！！
卵∞！！！！！！！！
多∞！！！！！！！！！

2023/07/04(火) 09:47:08.65

待望の新言語

Apache Sparkのための新しいプログラミング言語としての「英語」
https://www.databricks.com/jp/blog/introducing-english-new-programming-language-apache-spark
Data & AIのサミットで発表された新機能：DatabricksのEnglish SDK for Apache Sparkを試してみた
https://qiita.com/maroon-db/items/89f7a1aae11a112f9700

2023/07/20(木) 05:33:25.43

Zig 0.11.0のマイルストーンが7月17日から8月3日に延期されてしまった
やはり未解決のissue多すぎて再延長もあり得るかこれは

2023/07/25(火) 11:52:50.13

>>158
1.0も遠のいた？

2023/07/26(水) 00:31:41.04

>>159
1.0も遠のいた…

今回のリリースは目玉のasync関連も見送りっぽいし内容的には実質0.10.6くらいなイメージ
残ってた300前後のissueは未解決のまま公式Newsのとおり0.11.1から1.0.0の各マイルストーンへ再分配中
（大半を単に先延ばしするだけなのでそのまま1.0もズレる）

そんな中で脱LLVM構想も再浮上してるし1.0到達は当初の3年後どころか5年以内目処も危うい

2023/07/27(木) 10:40:07.68

>>160
おぅ、、、orz

2023/08/01(火) 22:10:07.65

しばらくスレに来なかったらスレタイの言語知らんのばっかになっててわろた

2023/08/01(火) 22:28:49.01

Nim 2.0が出たっぽい
しかしぜんぜん話題になってないな…

2023/08/01(火) 22:52:38.66

そもそも、nimを宣伝しているようなblog記事以外で見かけたことがないしな。

2023/08/02(水) 01:14:41.81

Nimを使っている組織一覧:
https://github.com/nim-lang/Nim/wiki/Organizations-using-Nim

2023/08/02(水) 06:48:11.72

>>165
RustよりもNimは実用的っぽいな

2023/08/02(水) 09:34:06.72

nim良いよね

2023/08/02(水) 21:45:09.21

本当、nimの話題って「nimは良い」しかないよな。

2023/08/02(水) 22:26:10.11

nim以外ほとんど何か創ってないからな

2023/08/03(木) 11:22:28.95

Nim 2.0がリリースされました。
https://nim-lang.org/blog/2023/08/01/nim-v20-released.html

2023/08/25(金) 08:02:23.50

JavaScriptランタイム「Bun」がバージョン1.0に到達へ、9月7日にローンチイベント開催
https://www.publickey1.jp/blog/23/javascriptbun1097.html

主な開発言語としてZigを採用し、メモリ管理などを含む低レイヤでの実装を実現することで、Node.jsやDenoよりも高速な動作を実現していると説明しています。

2023/08/25(金) 11:01:59.13

>>171
v1.0の目玉だったWindowsネイティブサポートは結局実現できないままでリリース押し切ることにしたのか

2023/08/25(金) 12:13:30.13

Rust製のDeno遅すぎｗ
https://dev.to/codesphere/bun-the-new-javascript-runtime-competing-with-deno-and-node-115d

2023/09/02(土) 16:19:08.80

それベンチによってはNodeが勝ってたりDenoが勝ってたりするから当てにならん

2023/09/02(土) 16:39:16.86

>>171
元言語のzigはいつ1.0になるんですかねぇ

2023/09/02(土) 18:20:03.74

>>174
どのベンチ？ｗ

**デフォルトの名無しさん** (ｽﾌｯ Sd1f-ETx6) · 2023/09/07(木) 10:00:28.15

雨の日にうっかりベンチに座るとパンツがビショビショ濡れ濡れ

2023/09/12(火) 20:59:08.32

>>131　続報

Pythonの高速なスーパーセットをうたう新言語「Mojo」、コンパイラなど公開、ローカル環境で利用可能に
https://www.publickey1.jp/blog/23/pythonmojo.html

2023/09/21(木) 00:39:19.15

Zigに頑張ってほしい