Verona とかいうの、 when がロックを明け渡したときのコールバックになるというだけにしか見えないし、それならライブラリで提供できるような気がするんだけど、それ以上の何かがあるの？ 英語が読めない https://github.com/microsoft/verona

> The when keyword is not blocking it asynchronously schedules work
なわけだし、もはや複雑な実行フロー制御すらなく、適当なスレッドでコールバックを実行するだけじゃんという気持ち

when を通った時点でそこから先は Rust ですでに実装されているようなボローチェッカーですべてを満たしてるし、スケジューラはスケジューラでそれ単体で実装するものだし……

very early stage らしいしそれだけじゃなくてまだなんか構想があるとか論文準備してるとかそういう可能性ないの

MS が！ Rust インスパイア言語！ って騒いでるのを見たから覗きに行ったのに……というところからの落差なので。論文出たら起こしてください

“"The ownership model in Verona is based on groups of objects, not like in Rust where it's based on a single object. In C++ you get pointers and it's based on objects and it's pretty much per object. But that isn't how I think about data and grammar. I think about a data structure as a collection of objects. And that collection of objects as a lifetime. ”

Microsoft: We're creating a new Rust-like programming language for secure coding | ZDNet - https://www.zdnet.com/article/microsoft-were-creating-a-new-rust-based-programming-language-for-secure-coding/ via @ZDNet

Regions ってやつか。 arena がクソだるいというのはそうなので、これは言語で取り組む価値ありそう

cargo crev でコードレビューをしてみたらバグを見付けた話など - 何とは言わない天然水飲みたさ
https://blog.cardina1.red/2019/08/27/code-review-using-cargo-crev/

本日の書棚から適当に1冊は『Unix考古学』（藤田昭人著・ドワンゴ発行）。

Unixの誕生前・黎明期から80年代にかけての、とても貴重なドキュメント。十数年前の『UNIX USER』誌の連載（＋書き下ろし）をまとめた本。技術だけではなく当時のコンピューター文化も取り上げているのが良い。自分がコンピューターに出会うずっと前の話に、どうしてこんな惹かれるのだろう。2016年4月刊。
#ライクロフトの本棚