ごきげんよう、Zenへようこそ | Zen Language Documentation
https://zen-lang.org/ja-JP/docs/

そのうち眺めてみるか

Rust でいいじゃんとは思うけど、それはそれとして golang のような方向性でなく Zen があるというのはひとつの成熟の形なんじゃないかなみたいな雑な感想もある

関数 | Zen Language Documentation
https://zen-lang.org/ja-JP/docs/ch04-functions/
エラー型 | Zen Language Documentation
https://zen-lang.org/ja-JP/docs/ch03-error-type/

和型なぁ

structural subtyping みたいなのとかあまり好きじゃないんだよなぁ

タグ付き共用体 | Zen Language Documentation
https://zen-lang.org/ja-JP/docs/ch03-tagged-union/

オプション型 | Zen Language Documentation
https://zen-lang.org/ja-JP/docs/ch03-optional-type/

タグ付き共用体はあるけど、それはそれとして optional は言語組み込みなのか

気になるところだけ雑に眺めてみたけど、「Rust から乗り替えるほどのものは感じなかった」という感想です
(Rust を使えない宗教の人が C から乗り替える先としては、まあアリだと思う)

The World says Hello to Zen (v0.7.x Public Beta) | Zen Language Blog
https://zen-lang.org/ja-JP/blog/2019_10_01/

> Ｃ言語からの移行を漸進的に進められる

結局ここが一番特異ということになるのかな

それこそ漸進的型付けみたいなのと同じく、既存の C 資産をどうにかしてマトモにしていきたい人が使うものであって、最初から良いものを作りたいなら敢えて選ぶほどだろうかと

最初に unsafe なものを作ってからマシにしていきましょうというアプローチ自体がピンと来ないというか、そういうビジネスちっくな宗教を信仰していないので、最初からガッツリ綺麗で安全に書こうやみたいな気持ちしかない (理想論)

まあこれは宗教の問題なのでハイ

このアカウントは、notestockで公開設定になっていません。

私も趣味で書いてるから気に入らない設計を爆破したり自前でライブラリ用意したりやりたい放題だけど、これがﾂｬｶｲでコード書かされるようになるとどんなヤバい制約与えられるかわからないからなぁ

Cとのコンパイル | Zen Language Documentation
https://zen-lang.org/ja-JP/docs/ch14-compiling-c/

どうでもいいんだけど、

> Zen標準ライブラリにあるChaCha20というアルゴリズムで暗号化、復号化します。

ここで笑ってしまった。 SSH か HTTPS でも実装するつもりかな？

crypto | Zen Language Documentation
https://zen-lang.org/ja-JP/docs/ch09-crypto/

Poly1305 もあるし、明らかに意識してるっぽいですね……

このアカウントは、notestockで公開設定になっていません。

同じ言語内でのバイナリ互換性すら担保されない C++ とのバインディング、自明に激ムズなので致し方なし

いやちゃんと読んでなかったけど逆の話か、 C++ のライブラリを別言語から使いたい話ね

Rust 使ってると、 subtyping イラネーと思うし、継承を前提としていろいろな API が提供されているようなライブラリをそのまま移植するにはあまりにパラダイムと文化が違いすぎるので、まあそういうものよねと

gtk-rs の IsA trait とか見てて涙が出てきた

パラダイムは大事だし、型について「継承」という概念を持っている言語はたとえマジョリティであってもそれが特殊な性質であるという事実は変えられない……

私が FBX ライブラリを書くとき FBX SDK のインターフェースが全然参考にならなかった (継承の嵐だった) のを思い出した

FBX といい JSON ベースのプロトコルといい、データ構造レベルで「継承」を多用されるの険しいのよなぁ

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

Portal の動画を上げるときは 40MB バトルするけど、自分でやっててｳｰﾝという感じにはなる

このアカウントは、notestockで公開設定になっていません。

これ本当に難しいところで、ｹﾞｯﾑ系エコスシテムを見ていると immediate mode がええで〜という流れがなかなか大きいんだけど、実際の標準的アプリケーションの UI フレームワークはまあ宣言的に UI 記述できないと厳しいよねみたいなのもわかる

私が思うに、世の中で継承によって実現されているものの大部分は algebraic types で置き換えられる気がしていて、しかし UI はそうでもなさそうな気もするし

このアカウントは、notestockで公開設定になっていません。

それもあるでしょうね

3D graphics API 以前の普通の GUI toolkit ではウィンドウの一部領域のみのアップデートとか普通にやってたとか、その辺りの都合はありそう

最近の GUI はバックエンドが普通に OpenGL ES とかだったりするし、そういう状況でどうなのかは知らん (普通にメモリ上にソフトウェアレンダリングする限りでは部分的アップデートは今でも有効な気はする)

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

旧デスクトップを hibernate から復帰させてデータを NAS に転送しようとしたら昨日の10倍くらい遅くて、これは妙だぞと思って dmesg 見たら

Link is Up - 10Mbps/Full - flow control rx/tx

とか言われてて泣いた

ケーブル替えて再起動したら 100Mbps/Full になった (これ Gbps 出ないのか……？)

これ USB HDD で転送した方が早い説あるなぁ

このアカウントは、notestockで公開設定になっていません。

アダプタ家になし、外出する気なし [閉廷]

なるほどなぁ

USB HDD ｿﾘｭｯｼｮﾝに乗り気でないの、

・ USB HDD に暗号化かけている
・rsync での中断/再開をしたい

あたりの理由による

何とは言わない天然水の話か！？

不審と物議のダイレクトメールは本物　ヨドバシカメラ「正しいハガキです」（2019年10月3日）｜BIGLOBEニュース
https://news.biglobe.ne.jp/trend/1003/blnews_191003_0721174327.html

はぁ〜〜

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

「致したんだけど、致しが完了する瞬間(下品)にJCBのロゴがバーンしてJCBのロゴで致してしまった(超下品)」

？？？

https://twitter.com/ymduu/status/662288360367521792

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

OSS へのﾌﾟﾙﾘｺ送りまくるのは大変良いことだと思うけど、「リリースノートに載るようなことをしたい」みたいなのは (願望としてはわかるけど) 邪念だと思う。
「プログラマは問題のないものでも修正しようとする」みたいな言葉もあるし、自分でもいいからとにかく誰かにとても必要とされている変更を加えるというのが第一の目的であるべきだと思っている

変更のインパクトや目立ち具合ではなく、必要かどうかで評価するべき

……というのはまあ個人的な思想だけど、そのつもりでやっていきしている

このアカウントは、notestockで公開設定になっていません。

どこかで「初心者は『○○をするにはどうすればいいか』と聞くが、実は○○をしたいのは××のためで、そのために○○はそもそも不適切であるケースが多い」みたいな話を読んで、まさにそれだと膝を打った記憶があるんだけど、 URL が思い出せない

頼むからプログラミングを学ばないでくれ | TechCrunch Japan
https://jp.techcrunch.com/2016/05/17/20160510please-dont-learn-to-code/

> プログラミングにおける何らかの問題に取り組むとき、まず私たちはその問題が何であるのか、そしてそれは本当に問題であるのかを見極めなければならない。その問題が本当にプログラミングで解決できる問題かどうかを考慮せず、プログラミングで解決することに固執し、「なぜ問題なのか」という視点を失ってしまっては、そこから何も得ることはできない。それがプログラミングで解決できる問題であろうと、なかろうとだ。

https://mstdn.jp/@blackenedgold/102902735117109593
https://mastodon.cardina1.red/@lo48576/102902769304126600

初心者の質問を見ると「○○をするために『どう書けばいいか』わからない」と思っていそうな節があって、でも本当に考えるべき (そしてプログラミングの中核にある部分) なのは問題を「どう解決するか」のところで、そして初心者が「(××を解決するために) ○○をする」という部分自体が根本的に筋の悪いアイデアだったりするのよね

でも何なんだろうなぁ

私の場合コードを書く上で「できそうなことしか思い付かない」というか「書けそうなことしか書こうとできない」みたいなのがある。
それゆえ「こう問題を解決しよう」というのを素朴にコードに落とすことになるので、「こう解決しようと思ったんだけどどう書けばいいかわからない」ということは基本的にないんだけど。

「書こうとしたものをどう書けばいいかわからない」という状況が想像できない。アイデアが野心的すぎるのか、抽象的すぎるのか……

私が試行錯誤する部分、アルゴリズムよりも API とかの部分なので、爆破して最初から作り直すにしても内部のロジックは使い回せることが少なくない

このアカウントは、notestockで公開設定になっていません。

普通の熟語の漢数字をアラビア数字にするのやめてほしい、そこで悩むのが許されるのはn角形とかそういう類のものだけでしょ

@prime やめてえええ！！！

あと once とか twice を「1度」とか「2度」と書かないでほしい、どう見ても degree でしょそれは

@prime ごくげん……

これ本当に良い仕組みよね
impl<I: Iterator> Iterator for &mut I
と
Iterator::by_ref()
とかなんというステキなアイデア

このアカウントは、notestockで公開設定になっていません。

これで出力が出る環境とコードがほしいな…… (web で実行できるやつでもいい)

おたかん氏が Enter を押す動作で体から高エネルギー電磁波が発射され毎回同じアドレスかレジスタのビットが反転する (???)

まあ真面目な話をすると、コンパイル忘れてるとか別ファイルを実行しているとかは割とよくあるミスだと思うのでそっちも疑っている

とにかくそういう不可解でどこから手を付ければいいかわからない挙動は、全然違う環境でどうなるか試してみるとか、最小再現コードを用意するとかが基本的な流れ

https://twitter.com/L16777216/status/661073122674634752

C/C++ のコンパイルオプション -Wall や -Wextra 以外にもめちゃくちゃ付けまくってた話します？

デフォルトで有効化してくれみたいな話はあるな (rustc はいいぞ)

Cow が牛なのは仕方ないとして Arc は地味にかっこいいので気に入っている (???)

最小再現コードはやっぱり web で実行する系に投げるのが良いわね

C++ は人類には難しすぎるよ

あと C++ as better C を C++ だと思ってあれこれ評価しようとする人もいるけど、そういうのに耳を傾けるのもよくないからね

こう、最初の方は「まあ言うて C の拡張やな」みたいな気持ちで学んでいくんだけど、最終的に idiomatic な C++ は C とは似ても似つかないものになったりしてな……

default argument promotion なぁ

printf() に float/double を渡したときの挙動と %lf の意義 - Qiita
https://qiita.com/lo48576/items/9901f7d52692567b931c

何が恐ろしいって、 %lf と %f 程度のことに気付いていない人が C 完全にマスターしたつもりになってあれこれ適当な情報を垂れ流し続けてるところとかなぁ

C++闇の軍団による鉞はやっぱり大事なんですよ

このアカウントは、notestockで公開設定になっていません。

Java は大概のものが参照で value の概念が希薄なので C++ と行き来するとややこしそう……

Java ではあらゆる場面 (これは誇張) new するけど C++ では new せず値を受け渡しするという手があるしデザインレベルでな

C言語あるある

struct foo_internal;
typedef struct foo_internal *foo;

new を撲滅して unique_ptr と shared_ptr 使っていこうな！！！！！

ﾁｯﾑ開発 (1年間) の授業で「ｼﾞｬｯｳﾞｧとﾊﾟｲｿｮﾝは嫌……」ってゴネたら Rust 使うことになった感動の実話

static_cast<uint8_t>(hoge)

安全なキャストはそうであることを明示するために static_cast にせよという流儀がありますね

casting - Should I use a C++ reinterpret_cast over a C-style cast? - Stack Overflow
https://stackoverflow.com/questions/8427107/should-i-use-a-c-reinterpret-cast-over-a-c-style-cast

本の虫: 邪悪なC形式のキャストにしかできないこと
https://cpplover.blogspot.com/2010/07/c.html

まあ本質的には同じなので

暗黙の型変換と implicit ctor あたりはなぁ……

cppreference.com (半分本気)

べつに C++ に限らないけど、末永く付き合っていくつもりのある言語は何より先に標準ライブラリのドキュメントを一通り舐めておくべき、これは本当にマジで

いやもちろんそれよりも言語仕様が先だけど

execvp の argv が non-const である話かと

本の虫: 邪悪なC形式のキャストにしかできないこと
https://cpplover.blogspot.com/2010/07/c.html

このアカウントは、notestockで公開設定になっていません。

鉞は linter の警告みたいなもんだよ (???)

このアカウントは、notestockで公開設定になっていません。

C++ は C の次に学ぶ言語みたいなところがあるので、その手では「リファレンス読めばとりあえずわかる」レベルの人が少なそうというのは確かにある

C++ 、どう考えても言語習得経験の後ろの方に位置すべきものなんだけど、 C の派生なせいで先に学びがちなの、バグだよなぁ

s/その手では/その点では/

このアカウントは、notestockで公開設定になっていません。

拡張が入るたびに + がひとつ増える言語 (???)

プログレスバーかな？？？

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

最近の言語はみんなマルチパラダイムだからなぁ

コア部分がシンプルで関数型言語寄りのものをひとつやっておくと、次に学ぶ現代的言語の理解度が格段に変わってきますよ

大学とかだとλ計算と Scheme なんかだったりするけど、型付きがお好きなら OCaml とかがやはり有力なのでは

Haskell はよくわからん (ﾓﾅﾄﾞ……)

Haskell 触ってみたことはあるけどﾓﾅﾄﾞを本格的に使いたくなるほどのコードを書いていないので、実質なんもわからん

const char *argv[] として
*argv (これは argv[0] と同じ) の型は const char * だし、
*argv[0] の型は *(argv[0]) なので char です

a[b] は *(a + b) なので (少なくとも C 言語やポインタレベルでは)

operator[] が定義されている非組み込み型だと普通にそっちの実装が使われるけど

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

@kb10uy s/rewrited/rewritten/g

このアカウントは、notestockで公開設定になっていません。

まあ C 資産から逃げられなくてかといって RIIR もコストがかかりすぎるという組込みマンは是非 Zen で頑張ってほしいという感じ

ｵｯｷｬﾑﾘについては学校の同期がおもしろい (しょーもない) バグに引っ掛かってて笑った記憶があって

副作用のある無引数の関数を
let f = ...
みたいな感じで定義してたのに定数が返ってくるのでこれはおかしいぞみたいな感じで悩んでたんだけど、結局
let f () = ...
みたいな感じにしないといけませんでした、というオチ

next C としては golang が言われがちだけど、たしかに Zen (Zig は知らない) の方が近いという印象がある

評価戦略を弄って遊ぼうな (?)

そういえば研究しないとなぁ

:gitlab: が :tanuki: でないところに倫理と良識を感じている (???)

地球にやさしい労働は週9時間かもしれないが、人間にやさしい労働は週0時間だ