次世代言語27 Nim Zig Pony Carbon Gleam (308ﾚｽ)
上下前次1-新
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,
};
}
// The generic List data structure can be instantiated by passing in a type:
var buffer: [10]i32 = undefined;
var list = List(i32){
.items = &buffer,
.len = 0,
};
List()の返値はList型じゃなくてi32型なの？
でもi32の変数があったときにいつもその構造体への初期化処理みたいなのかけるわけじゃないでしょ。
でもfn Listの宣言によれば返値の型はtype=i32なんでしょ？謎すぎ
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より先にあったのだろうか
208(1): (ﾜｯﾁｮｲ 226d-rrr/) 2023/11/23(木)11:21 ID:h/UsGTLS0(4/8) AAS
zigのwikipedia読んでたらCからの変更点という観点でzigが説明されてる。
Cを出発点としていくつかの改善点を加えた言語というのが重要なんだ。
その中でもメモリ安全とcomptimeによる類似関数をひとまとめにするというアイデアが重要と思う。
209(1): (ﾜｯﾁｮｲ 226d-rrr/) 2023/11/23(木)12:21 ID:h/UsGTLS0(5/8) AAS
fn () err!val
みたいな共用体を返す構文はCのerrnoとかC#のoutとかの代用になるのかな
共用体はenumと連携させてswitchで使えるようだから中身に応じて処理を分けれる
実際使ってみないと分からんが、まあ学習は順調に進むし良い印象がある
210: (ﾜｯﾁｮｲ 6e83-aicd) 2023/11/23(木)12:50 ID:45eqFX8V0(1/2) AAS
>>205
>>206
Nimのどこがダメなんでしょうか?
少なくともC++よりシンプルな言語だし読みやすく書きやすい言語だと思うのですが。
211(1): (ﾜｯﾁｮｲ aeb4-OZuz) 2023/11/23(木)13:59 ID:/UTIXb+w0(1) AAS
NimはまぁPythonっぽい構文が好きな人にはいいかもねって感じなだけで
わざわざ他言語から乗り換えるような特徴がないんだよね
212(2): (ﾜｯﾁｮｲ 225b-rrr/) 2023/11/23(木)14:59 ID:h/UsGTLS0(6/8) AAS
NimはJavaとかC#みたいなクロスプラットフォーム性があるわけではないし
Cが使われているような領域で使えるものでもない
だからそういった領域では論外
C++と競合するが、置き換えれるほどの何かがない
恐らくC++から置き換えるならRustになる
という認識。Nimの言語仕様がJavaやCと比較して優れてる！とか言ってみても仕方ない。
競争相手になり得ない。
C++かRustと比較して総合的に優れてると言えたら重要なものになるだろうけど。
213: (ﾜｯﾁｮｲ 225b-rrr/) 2023/11/23(木)15:03 ID:h/UsGTLS0(7/8) AAS
nimはgcありとなしモードあるけどライブラリちゃんと動くの？
gcありじゃないとほとんどのライブラリが動かないということになるなら、
C++にもRustにも到底比較対象にならない
どの領域に入るつもりなんだという印象
214(1): (ﾜｯﾁｮｲ 225b-rrr/) 2023/11/23(木)15:16 ID:h/UsGTLS0(8/8) AAS
要するに、総合的に優れてるように思えても「あらゆる領域でちょっと負ける言語」は使われない。
戦略は？ということ。
C#やjavaと比較→ネイティブコード作れる！エレガントな文法！→java使ってる人達には全くどうでもいいです
Cと比較→たくさんの抽象的な言語概念！大規模開発に強い！→C使ってる人達には全くどうでもいいです
C++やRustと比較→GCがあって簡単にコーディングできるぞ！→彼らにはGCは不要あるいは邪魔です
215(1): (ﾜｯﾁｮｲ ae6b-f5/H) 2023/11/23(木)15:46 ID:o2OM8ETk0(1) AAS
NimのライバルはZigじゃなくてV言語だと思う
ベターCっぽいけどCの置き換えできないしC++にも届かないって立ち位置の点でね
(文法もC系ではなくPython系って側面も込み)
216: (ﾜｯﾁｮｲ 427c-ts/j) 2023/11/23(木)18:39 ID:AGqDCJM/0(1/5) AAS
>>207
＞odinのアイデアはほぼzigと同じじゃないか？
違うな。
zigはcをそのまま取り込む感じだが、odinはあくまでもodin。
cとの連携もzigみたいにそのままでは無い。
＞メモリ安全と言われているようだが全くそうではないというレビューも見かけた。
odinはメモリ安全なんかじゃ全くないぞ。別なもの見てないか？
＞後出し追いかけ言語で政治力とエンジニアリングのパワーで優っているのがodinということじゃないか？
政治力っていったいなんのことよ。
イチャモン着けたいだけか？
＞Cの代替がzigのようなものであるべきと
「zigのようなものであるべき」って言ったらzigしかないじゃん。
言ってることがメチャクチャ。
217(2): (ﾜｯﾁｮｲ 427c-ts/j) 2023/11/23(木)18:51 ID:AGqDCJM/0(2/5) AAS
>>212
＞NimはJavaとかC#みたいなクロスプラットフォーム性があるわけではないし
JavaとかC#はマルチプラットフォームという。
マルチプラットフォームとクロスプラットフォームの違いは自分で調べてね。
＞C++と競合するが、置き換えれるほどの何かがない
GCあるから置き換えは無理だね。
使わないようにも出きるし、その方向に向かってるけど既にあるライブラリがGC前提だったりするし。
nimはトランスレーター系で、出力がcだったりjavascriptへだったりして、そこでリソース消費しちゃってる感あるのがな。
かつてhaxeという言語があったが結局流行らなかった。
上下前次1-新書関写板覧索設栞歴
あと 91 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.028s