“しょうもないうっかり”を許さない、静的型付けの言語 コーディングミスを未然に防ぐ「Zig言語」の仕組みとは

Kernel/VM探検隊は、カーネルやVM、およびその他なんでもIT技術の話題ジャンルについて誰でも何でも発表してワイワイ盛り上がろうという会です。小林哲之氏は、静的型付きコンパイル言語、Zigについて発表しました。 「C言語であった問題をとにかく解決する」を目標に掲げるZig言語 小林哲之氏（以下、小林）：それでは、始めます。tetsu_kobaと申します。今日はZigの話をしたいと思います。 Zig言語は、けっこう新しい言語なので、初めて聞く方も多いかと思います。「5分でざっと理解するZig言語」というページを作っておいたので、こちらをご覧になってください。 ところでみなさん、解決まで何時間もかかったバグの原因が、実は数秒で直せるような、しょうもないうっかりコーディングミスだったという経験はありませんか？ 私は何度もあります。 バグの原因が、しょうもないうっかりコーディングミスだったと

[Magicant]

Better C を目指す言語は他にもあるけどどれも流行らないと思ってる / 静的で健全な型付けは今や当たり前なので、それだけはアピールポイントにならない

[grocio]

工場で「自分の仕事が信用できないのか？」と言ってチェックを嫌がる人がいるという話がTwitterで話題になっていた。人間のミスを前提にして静的型付けでチェックしてくというのは信用もクソもなくて大好き

[AmaiSaeta]

`std.math.Log2Int()` が型を返しているというのは興味深い。型を値のようにやり取り出来る言語仕様という事なので | 未使用の引数を `_` に渡すとエラーにならないってのは、Javaの検査例外の握りつぶしっぽくてモヤッとする…

[yarumato]

“C言語であったコーディングミスを未然に防ぐZigの仕組みを紹介。整数型intは存在せず、サイズと符合の有無を明確にしたi32とか。関数の引数は書き換え不可。変数が未使用だとエラーになる。変数の名前の重複はダメ”

[a96neko]

見てる