次世代言語27 Nim Zig Pony Carbon Gleam (308ﾚｽ)
上下前次1-新
127: (ﾜｯﾁｮｲ b7cf-O5MS) 2023/05/07(日)10:45 ID:2alg5WM70(1) AAS
最終的にPython互換を目指すということだからPyInstallerの軽量な代替になってくれないか期待したいところだけど
まだclassもサポートされてないのね。
128(1): (ﾜｯﾁｮｲ a701-KeI6) 2023/05/07(日)10:46 ID:IEgposGn0(1) AAS
Nimじゃ駄目なんですか？
129: (ﾜｯﾁｮｲ cbda-0v65) 2023/05/07(日)17:32 ID:souVRU9G0(1) AAS
>>128
いい言語だと思うが、
開発者少ないのに複数言語へのトランスレートは厳しいよ。
Cのみに絞るか、せめてCとJavaScriptくらいに絞るべきだと思う。
130: (ﾜｯﾁｮｲ df01-O5MS) 2023/05/08(月)00:18 ID:7UdtJzN/0(1) AAS
Mojoの発音はそのまま喪女でいいんか？
131(1): (ﾜｯﾁｮｲ 975f-hGOv) 2023/05/09(火)15:00 ID:cZVxEdl70(1) AAS
AIソフト開発向け言語Mojo発表
―Pythonの使いやすさとC言語のパフォーマンスの組み合わせ
外部ﾘﾝｸ:gihyo.jp
すべてを1つの言語で記述
Mojoは使いやすいPythonの部分と、C、C++、およびCUDAを必要とするようなシステムプログラミング機能が組み合わされている。自動チューニングとメタプログラミング機能を備えた次世代コンパイラテクノロジーによって、プログラムに型を追加することでパフォーマンスが大幅に向上し、Rustのようなメモリ安全性をもたせることができる。
Pythonをはるかに超えるパフォーマンス
MojoはすべてのAIハードウェアへのアクセスを可能にするMLIR(Multi-Level Intermediate Representation)を使用している。 これにより、Mojoはスレッディング、およびTensorCoreやAMX拡張機能といった低レベルのハードウェア機能を使ってアクセラレーターを利用できる。同社によると、Mojoがハードウェア機能を最大限に活用し､マンデルブロのような数値アルゴリズムを実行する場合、Pythonよりも35,000倍高速に動作するという。
省2
132: (ﾜｯﾁｮｲ d27c-0v65) 2023/05/10(水)00:22 ID:M80iwSIA0(1) AAS
Mojoは早くOSSにしろよ
133(1): (ﾌﾞｰｲﾓ MM7f-BLPe) 2023/05/15(月)06:04 ID:EP98fI5GM(1) AAS
オフサイドルールは書かされてる感が強くて嫌いなんだけど、世間的には好意的なのか
134: (ﾃﾃﾝﾃﾝﾃﾝ MM7f-+ffB) 2023/05/15(月)19:15 ID:fkhy8mxoM(1) AAS
>>133
オフサイドルールに限らず文脈依存文法は自動化が難しくなるのでセンス悪いと思うけど、ブロックは視覚的に認識しやすいから人気あるんだよなぁ。
YAMLみたいに併用できるならまだマシだけど。
135(1): (ﾜｯﾁｮｲ 03cf-Np+b) 2023/05/15(月)22:35 ID:aSVKjNnD0(1) AAS
オフサイドルールって文脈依存文法か？
136(1): (ﾃﾃﾝﾃﾝﾃﾝ MM7f-+ffB) 2023/05/19(金)12:22 ID:fk0Gpq/FM(1) AAS
>>135
前後のインデントによってブロックが決まるから文脈依存じゃね？
137: (ﾜｯﾁｮｲ ff7c-OaH6) 2023/05/19(金)18:44 ID:fagGQhCY0(1) AAS
YAML拡張してifとかの制御構造入れるやつもいるからな。
138: (ﾜｯﾁｮｲ 03cf-Np+b) 2023/05/19(金)22:29 ID:O8g/UjD80(1) AAS
>>136
後ろのインデントには依存しないんじゃね
139: (ﾜｯﾁｮｲ a7a4-A5UL) 2023/05/20(土)12:03 ID:Ok/r6Mln0(1) AAS
オフサイドルールでブロック表すのも、ブレースでブロック表すのも、構文解析的にはは同じことでしょ
140: (ﾃﾃﾝﾃﾝﾃﾝ MM86-uVPi) 2023/05/20(土)16:28 ID:/tIrPGWZM(1/3) AAS
インデントの深さに依存するから、フレーズみたいに「現在のブロックを閉じる」だけの操作では済まない。
オフサイドルールのプッシュダウンオートマトン実装例あったっけ？
141(1): (ﾌﾞｰｲﾓ MM86-F7IQ) 2023/05/20(土)16:36 ID:A/kRENRgM(1) AAS
構文解析的にはほぼ同じ
間違ってても検出できない(ケースが多い)
オートフォーマットができない
のがデメリット
142(1): (ﾃﾃﾝﾃﾝﾃﾝ MM86-uVPi) 2023/05/20(土)16:40 ID:/tIrPGWZM(2/3) AAS
>>141
PDAの実装は？
143(2): (ﾜｯﾁｮｲ 6f5f-u1DA) 2023/05/20(土)16:43 ID:PfZyfbnf0(1) AAS
前処理でブレース挿入して処理するから実際のパーサ部分は似たようなものって言いたいんだろうか
144: (ﾃﾃﾝﾃﾝﾃﾝ MM86-uVPi) 2023/05/20(土)16:48 ID:/tIrPGWZM(3/3) AAS
>>143
そりゃ乱暴すぎる。
145: (ﾌﾞｰｲﾓ MM27-F7IQ) 2023/05/20(土)18:06 ID:EUGtogADM(1) AAS
>>142
GHCとか
Pythonとかはlexerの段階でDEDENTトークンを生成してるから>>143の言う通り
146(1): (ﾜｯﾁｮｲ a7a4-A5UL) 2023/05/21(日)01:17 ID:CmXU6CGz0(1) AAS
外部ﾘﾝｸ[html]:docs.python.org
Pythonの場合はここに書かれてるようにlexerの時点でスタックを使って処理できるという仕様だけど
他の言語のオフサイドルールはもっと複雑になるの？
147: (ﾃﾃﾝﾃﾝﾃﾝ MM86-uVPi) 2023/05/21(日)15:37 ID:7unpu3NzM(1) AAS
>>146
lexerの能力は高いだろ。
PDAは(Lexerとかと比べると)大したことできないよ。
148(1): (ﾜｯﾁｮｲ 1302-mVGR) 2023/06/12(月)15:08 ID:kB7As+JK0(1) AAS
Zigの単行tryとcatchは馴染みないから怪訝してたけど使ってみるとtry-catchブロックよりフローが明確になって良いね
これって他言語にもある言語仕様なのかな
149: (ｽﾌﾟｯｯ Sd73-fEz/) 2023/06/12(月)18:10 ID:7lxvOpjdd(1) AAS
>>148
つ アダムタッチ
150(1): (ｽｯｯﾌﾟ Sd33-kZ0E) 2023/06/13(火)16:03 ID:xDyMFOGFd(1) AAS
NimってPythonのライブラリにアクセスしてfor文回すともはやNimに求めてた性能ははpythonよりになってしまうのでは？型推論できないからねぇ。
151: (ﾜｯﾁｮｲ 534b-2rqm) 2023/06/13(火)18:32 ID:yeDPLuAI0(1) AAS
>>150
型推論は無関係な気がする
単にPythonライブラリの性能に律速されるだけ
152: (ﾃﾃﾝﾃﾝﾃﾝ MMeb-jufV) 2023/06/14(水)07:40 ID:8mvudo25M(1) AAS
pythonのダメ記法を捨てられるだけでもメリットデカイね。
153(1): (ｱｳｱｳｳｰ Sadd-g1CP) 2023/06/14(水)11:21 ID:iWYHYN4ra(1) AAS
for を python で描くと遅い
for は Nim で描いて
中身だけ python ならまだマシ
もちろんネイティブの速度ではないがそんなの Nim だからじゃなくて
C++ でも Rust でも python 呼べば同じ結果になるぞ
154(1): (ﾜｯﾁｮｲ 315f-kZ0E) 2023/06/14(水)14:43 ID:NMm4TZav0(1) AAS
>>153
for文をNimで書いて、中身をpythonにして実行速度を計測してみたらpythonオンリーとあまり変わらなくてがっかりしたという経験がある。ただ、自分のコーディングが悪かった可能性もあるけど。
155: (ﾜｯﾁｮｲ 3961-dT3e) 2023/06/14(水)16:19 ID:rOshoQaM0(1) AAS
>>154
中身の計算コストがforループ自体のコストと比べて大きければNimでもpythonでも変わらないんじゃない?
156: (ﾜｯﾁｮｲ 4f5f-JtsX) 2023/07/04(火)03:53 ID:ZyJ9aZuM0(1) AAS
病∞！！！！
症∞！！！！！
漠∞！！！！！！
西∞！！！！！！！
卵∞！！！！！！！！
多∞！！！！！！！！！
157: (ﾜｯﾁｮｲ 4f5f-JtsX) 2023/07/04(火)09:47 ID:c7VqsKCG0(1) AAS
待望の新言語
Apache Sparkのための新しいプログラミング言語としての「英語」
外部ﾘﾝｸ:www.databricks.com
Data & AIのサミットで発表された新機能：DatabricksのEnglish SDK for Apache Sparkを試してみた
外部ﾘﾝｸ:qiita.com
158(1): (ﾜｯﾁｮｲ e202-5LlG) 2023/07/20(木)05:33 ID:LIvlv7Wc0(1) AAS
Zig 0.11.0のマイルストーンが7月17日から8月3日に延期されてしまった
やはり未解決のissue多すぎて再延長もあり得るかこれは
159(1): (ｽﾌﾟｯｯ Sd7f-NY88) 2023/07/25(火)11:52 ID:yYWffJVbd(1) AAS
>>158
1.0も遠のいた？
160(1): (ﾜｯﾁｮｲ df02-rRCM) 2023/07/26(水)00:31 ID:gfwPzIhn0(1) AAS
>>159
1.0も遠のいた…
今回のリリースは目玉のasync関連も見送りっぽいし内容的には実質0.10.6くらいなイメージ
残ってた300前後のissueは未解決のまま公式Newsのとおり0.11.1から1.0.0の各マイルストーンへ再分配中
（大半を単に先延ばしするだけなのでそのまま1.0もズレる）
そんな中で脱LLVM構想も再浮上してるし1.0到達は当初の3年後どころか5年以内目処も危うい
161: (ﾜｯﾁｮｲ df7c-NY88) 2023/07/27(木)10:40 ID:2IasxSCw0(1) AAS
>>160
おぅ、、、orz
162: (ﾜｯﾁｮｲ 2603-6THS) 2023/08/01(火)22:10 ID:FfTXTju00(1) AAS
しばらくスレに来なかったらスレタイの言語知らんのばっかになっててわろた
163: (ﾜｯﾁｮｲ d3e6-6THS) 2023/08/01(火)22:28 ID:ZDoiR0FV0(1) AAS
Nim 2.0が出たっぽい
しかしぜんぜん話題になってないな…
164: (ﾜｯﾁｮｲ becf-TJCF) 2023/08/01(火)22:52 ID:IyAK+cNZ0(1) AAS
そもそも、nimを宣伝しているようなblog記事以外で見かけたことがないしな。
165(1): (ﾜｯﾁｮｲ 0b61-TR8s) 2023/08/02(水)01:14 ID:4aCNkU8+0(1) AAS
Nimを使っている組織一覧:
外部ﾘﾝｸ:github.com
166: (ﾜｯﾁｮｲ 2301-0TAO) 2023/08/02(水)06:48 ID:eH9ezqro0(1/2) AAS
>>165
RustよりもNimは実用的っぽいな
167: (ｱｳｱｳｳｰ Sa1f-IPSQ) 2023/08/02(水)09:34 ID:4pI1Wfnva(1) AAS
nim良いよね
168: (ﾜｯﾁｮｲ becf-TJCF) 2023/08/02(水)21:45 ID:9rX+LYDX0(1) AAS
本当、nimの話題って「nimは良い」しかないよな。
169: (ﾜｯﾁｮｲ 2301-0TAO) 2023/08/02(水)22:26 ID:eH9ezqro0(2/2) AAS
nim以外ほとんど何か創ってないからな
170: (ﾜｯﾁｮｲ 6a4b-WXhB) 2023/08/03(木)11:22 ID:MLrVFD850(1) AAS
Nim 2.0がリリースされました。
外部ﾘﾝｸ[html]:nim-lang.org
171(2): (ﾜｯﾁｮｲ 115f-Ck4D) 2023/08/25(金)08:02 ID:fA2wbq8J0(1) AAS
JavaScriptランタイム「Bun」がバージョン1.0に到達へ、9月7日にローンチイベント開催
外部ﾘﾝｸ[html]:www.publickey1.jp
主な開発言語としてZigを採用し、メモリ管理などを含む低レイヤでの実装を実現することで、Node.jsやDenoよりも高速な動作を実現していると説明しています。
172: (ﾜｯﾁｮｲ 9302-q59E) 2023/08/25(金)11:01 ID:ssb8Cd/m0(1) AAS
>>171
v1.0の目玉だったWindowsネイティブサポートは結局実現できないままでリリース押し切ることにしたのか
173: (ﾜｯﾁｮｲ 7101-YAjS) 2023/08/25(金)12:13 ID:8Q06WpC+0(1) AAS
Rust製のDeno遅すぎｗ
外部ﾘﾝｸ:dev.to
174(1): (ﾜｯﾁｮｲ b302-5XGt) 2023/09/02(土)16:19 ID:yAII5uv80(1) AAS
それベンチによってはNodeが勝ってたりDenoが勝ってたりするから当てにならん
175: (ﾜｯﾁｮｲ ff7c-AIuG) 2023/09/02(土)16:39 ID:aKZIxXWD0(1) AAS
>>171
元言語のzigはいつ1.0になるんですかねぇ
176: (ﾜｯﾁｮｲ 4301-yzHn) 2023/09/02(土)18:20 ID:8yObFq2T0(1) AAS
>>174
どのベンチ？ｗ
177: (ｽﾌｯ Sd1f-ETx6) 2023/09/07(木)10:00 ID:K6fFrmXfd(1) AAS
雨の日にうっかりベンチに座るとパンツがビショビショ濡れ濡れ
178: (ﾜｯﾁｮｲ 3b5f-rlb/) 2023/09/12(火)20:59 ID:/qNKcCZu0(1) AAS
>>131 続報
Pythonの高速なスーパーセットをうたう新言語「Mojo」、コンパイラなど公開、ローカル環境で利用可能に
外部ﾘﾝｸ[html]:www.publickey1.jp
179: (ﾜｯﾁｮｲ 3f7c-/qTM) 2023/09/21(木)00:39 ID:hd16Ksmk0(1) AAS
Zigに頑張ってほしい
180(1): (ﾜｯﾁｮｲ 7f29-sMWx) 2023/09/22(金)01:57 ID:e0xvgrYz0(1) AAS
Zigはかなり期待してるので頑張って欲しいな
長いこと指摘されてるissueのclose速度が1日平均5件なのに増加速度は1日平均10件で
ずっと次のリリースにたどり着けないよ問題を結局どう解決する方針にしたんだろう
181: (ｽｯｯﾌﾟ Sd5f-/qTM) 2023/09/22(金)12:28 ID:FCvezg2jd(1) AAS
>>180
こんなんでBunはよく1.0にしたな。
182: (ﾜｯﾁｮｲ 8501-8Mb1) 2023/10/04(水)15:32 ID:N8iC4Qef0(1) AAS
外部ﾘﾝｸ:harelang.org
（海外の）FOSS、ミニマリスト、アンチRust界隈で流行ってる言語 Hare
C言語プログラマのために作られたとのこと
メモリ管理は自前だがいろいろ安全対策がされてるっぽい
Windows, Macは対応しないと宣言
183: (ﾜｯﾁｮｲ a37c-X5bY) 2023/10/04(水)16:37 ID:2V79m8iF0(1/2) AAS
Cの代替言語オーディン
外部ﾘﾝｸ:odin-lang.org
184: (ﾜｯﾁｮｲ a37c-X5bY) 2023/10/04(水)16:42 ID:2V79m8iF0(2/2) AAS
Cの代替言語オーディン
データ指向、カスタムアロケータ
外部ﾘﾝｸ:odin-lang.org
GitHubリポジトリ
外部ﾘﾝｸ:github.com
185: (ｱｳｱｳｳｰ Sa89-5C2y) 2023/10/05(木)17:09 ID:WXXGTjkDa(1) AAS
Are
186: (ﾜｯﾁｮｲ 937c-cQ99) 2023/10/30(月)01:15 ID:SHIqNVOV0(1) AAS
ちょっとOdin触ってみた。
Zigより気に入った。
最適化がまだC/C++より弱いからエッジケースではC/C++,Rustにはパフォーマンスかなわないようがた、ぶっちゃけRustよりOdinのほうが書きやすい。
187: (ﾜｯﾁｮｲ b137-eepm) 2023/11/02(木)09:20 ID:+8WanLaR0(1) AAS
WebAssemblyのガベージコレクションが正式機能に、最新版のChrome 119で。Firefoxも今月リリースのFirefox 120で正式機能になる見通し
外部ﾘﾝｸ[html]:www.publickey1.jp
188: (ﾜｯﾁｮｲ 22f1-rrr/) 2023/11/21(火)03:00 ID:60zWiP9n0(1/8) AAS
zigのcompiletはCのatoi、atofみたいなのを1関数にまとめれるということ？
189: (ﾜｯﾁｮｲ 22f1-rrr/) 2023/11/21(火)03:09 ID:60zWiP9n0(2/8) AAS
wasmはどうせgcを採用するんだろうなと思ってたがやっぱりか
jdkと変わらん
190: (ﾜｯﾁｮｲ 22f1-rrr/) 2023/11/21(火)03:12 ID:60zWiP9n0(3/8) AAS
wasmは初期の頃jdkと何が違うの？と言われてた
jdkはバグが多いからとか説明してたが、実際そうでもない
なぜかその界隈の人達が漠然とjavaを嫌ってるだけだな
191: 188 (ﾜｯﾁｮｲ 22f1-rrr/) 2023/11/21(火)04:46 ID:60zWiP9n0(4/8) AAS
compiletじゃなくてcomptimeだった
192(1): (ﾜｯﾁｮｲ 22f1-rrr/) 2023/11/21(火)05:27 ID:60zWiP9n0(5/8) AAS
zigのジェネリック、やりたいことは分かるんだけど構文がよく分からん
外部ﾘﾝｸ:ziglang.org
fn List(comptime T: type) type {
return struct {
items: []T,
len: usize,
};
省10
193(1): (ﾜｯﾁｮｲ 22f1-rrr/) 2023/11/21(火)05:34 ID:60zWiP9n0(6/8) AAS
List()の型は匿名のstructだな
でもじゃあこれはなに？っていう
fn List(comptime T: type) type
引数に入力されたtypeの型が返値の型じゃないの？
194: (ﾜｯﾁｮｲ cd26-1See) 2023/11/21(火)10:29 ID:Z3uiTyFT0(1) AAS
>>193
>>192の例で説明すると、引数として渡されたtypeはitemsフィールドの要素の型。
戻り値のtypeは匿名structの型。
引数の方のtypeは、匿名struct内の関数の引数や戻り値、その関数の戻り値を組み立てるための型引数などにも使える(文字で書くとややこしい)。
戻り値の方のtypeは、builtin.Typeでサポートされてるものが返せる。
あと引数に渡されるtypeは、戻り値を組み立てる型の中で、例えば「T.foo()」と書くことでT型はfoo関数の存在を制約として与えることもできる(foo関数を持たない型が渡されたらコンパイルエラー)。
195: (ﾜｯﾁｮｲ 22f1-rrr/) 2023/11/21(火)11:43 ID:60zWiP9n0(7/8) AAS
ありがとう分かった。
typeはzig標準型全体を指すものということか。
任意の標準型を受け取って、任意の標準型を返す総称型関数ということね。
ダックタイピングも分かった。
宣言じゃなくコードの内容から推論してコンパイルエラー出してくということね。
196(1): (ﾜｯﾁｮｲ 226b-rrr/) 2023/11/21(火)14:41 ID:60zWiP9n0(8/8) AAS
チュートリアル読んでるけどzig良い。
Cの代替としては最有力かな？
世の中はメモリ安全のためにRust推奨なんだろうけど。
本当はそっちに進んじゃいけない、と思ってる。
197: (ﾜｯﾁｮｲ aedc-f5/H) 2023/11/21(火)21:16 ID:NcXE8D4H0(1) AAS
Zigのマイルストーン見ると先送りしてきたv0.11.1のバグ180件以上残ったままv0.12.0側のissueばっかり片付けてるな
これはついにマイナーバージョンアップ近づいて来たのかな
198: (ﾜｯﾁｮｲ 22f8-rrr/) 2023/11/22(水)01:53 ID:bjqLP0h40(1/3) AAS
linux kernelがrustのサポートを確定したという記事を読んだ。
だったらrustなのかなあ。googleもandroidをrustで書くらしい。
rustなのか。
199: (ﾜｯﾁｮｲ 22f8-rrr/) 2023/11/22(水)03:30 ID:bjqLP0h40(2/3) AAS
俺はzigやってこう・・・。
200: (ﾜｯﾁｮｲ 22f8-rrr/) 2023/11/22(水)07:56 ID:bjqLP0h40(3/3) AAS
いや、やっぱりrustかなあ。
将来のベアメタルプログラマーは抽象的な言語概念から逃げられないね。
そうなると、初学者はむしろマネージド言語から入るのかな。
201(1): (ﾌﾞｰｲﾓ MM66-OZuz) 2023/11/22(水)12:13 ID:Xn3ar1UbM(1) AAS
Cの後継としてZigは結構ありだと思うけど、
Cが残ってる分野ってISO標準とか組み込みベンダーサポートとかが必須な分野が多くて
Zigがそこまでたどり着くには10年とかかかりそうだよな…
202: (ｽﾌﾟｯｯ Sd82-ts/j) 2023/11/22(水)12:17 ID:o4kbjPDBd(1) AAS
Odinはいかが？
203: (ｱｳｱｳｳｰ Sa85-UHOz) 2023/11/23(木)09:55 ID:mHKDjshta(1/2) AAS
>>196
わかります
204: (ｱｳｱｳｳｰ Sa85-UHOz) 2023/11/23(木)09:55 ID:mHKDjshta(2/2) AAS
>>201
10年待てない人はNimで
205(1): (ﾜｯﾁｮｲ 226d-rrr/) 2023/11/23(木)10:39 ID:h/UsGTLS0(1/8) AAS
nimは概要を読む限り全然いいと思えない。
C++をさらに悪化させたような言語じゃないの？
206(1): (ﾜｯﾁｮｲ 226d-rrr/) 2023/11/23(木)10:41 ID:h/UsGTLS0(2/8) AAS
nim使うならC++で良いはずだよ。既に多用されてて信頼性あるし。
207(1): (ﾜｯﾁｮｲ 226d-rrr/) 2023/11/23(木)10:53 ID:h/UsGTLS0(3/8) AAS
odinのアイデアはほぼzigと同じじゃないか？
zigの方が先に出てきて、その直後にodinが出てきたようだ
メモリ安全と言われているようだが全くそうではないというレビューも見かけた。
後出し追いかけ言語で政治力とエンジニアリングのパワーで優っているのがodinということじゃないか？
Cの代替がzigのようなものであるべきという着眼点を最初にもたらしたのはzigじゃないだろうか
他にそういう方向性の言語がzigより先にあったのだろうか
上下前次1-新書関写板覧索設栞歴
あと 101 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s