2023-01-10

Value independeceという言葉をVIMPL 2023のcall for papers経由で知ったのだが、それがどういう概念かを説明するドキュメントは見つからなかった。頑張って検索すると、VIMPLの組織委員であるDave Abrahams (twitter) (GitHub)のCPPCon2022での公演を見つけた: Value Semantics: Safety, Independence, Projection, & Future of Programming - Dave Abrahams CppCon 22。 Valueが指すのはC++のvalue semanticsのvalueらしい。一年くらい前にちらっとvalue semanticsを覗き見ていいなと思った気がする。ここで再会できて嬉しい。公演はすごくよくて、value independenceが表現したい概念がなんとなくつかめた気がする。僕の理解が追いついていないのでそのうち復習しよう。 value independenceを説明するだけの公演ではなくて、示唆に富んだ内容に思えた。彼が今度日本に来るなんて最高だ。3月13-17は空けておこう。

最近研究で値と参照のことを考えていたのでちょっと親近感を覚えたというか、勇気やモチベーションみたいなものが湧いた。

関連リンク：

• Val-lang : Dave Abrahamsが開発している、value independenceをいい感じに扱う言語。
• Valの論文？
• Valとかのbetter C++に関する議論 in HN
• CppCon2022のスライド集
  • 例の発表は原稿もついているので、復習するならスライドをみるだけでも良いかも。質疑応答が動画の末尾にあることに注意。