高水準システムプログラミング言語 Val

• Val: 高水準なシステムプログラミングに焦点を当てたプログラミング言語です。
• 高速で、安全かつシンプルに設計されています。
• Val は可変値セマンティクスとジェネリックプログラミングを活用します。
• あらかじめ機械語にコンパイルされ、不要なメモリ割り当てを避けます。
• Val の可変値セマンティクス基盤は、メモリ安全性と型安全性を保証します。
• プログラマーは必要に応じて、性能のために安全でない構造を使うことができます。
• Val は Swift から多くを取り入れつつ、値セマンティクスを強調しています。
• Val は活発に開発中で、コードは GitHub でオープンソースとして提供されています。
• 効率的で汎用的なコードのために可変値セマンティクスに焦点を当てることで、Val は独自の立ち位置を持っています。
• コンピュータアーキテクチャの物理的制約と、値中心プログラミングの利点を組み合わせています。
• Val は言語ツアーと、構文およびセマンティクスに関する詳細な情報を提供しています。
• まだ利用可能な状態ではありませんが、コミュニティフォーラムを通じて議論できます。
• Val のコード例は、可変値セマンティクスの利用と不要な割り当てがないことを示しています。
• Val のサブスクリプトは、一時的に値を読み書きできる権限を付与します。
• Val の型は参照型ではなく値型です。
• Val は、関数が返るまで引数の値にアクセスしないことを保証します。
• Val は Rust のようなライフタイム注釈を使いません。
• Val は参照のない、よりシンプルなモデルを提供します。

[GN⁺]

Hacker Newsの意見

• Val: C++の後継を目指す高水準システムプログラミング言語
• 静的コンパイル・静的型付けで、C++との相互運用が可能
• Valはポインタと参照を排除し、代わりに内部的に pass-by-const-reference と return-value-optimization を使用する
• まだアルファ版はリリースされておらず、GitHubでのスター数やコントリビューターも限られているが、一部ではValを支持する声がある
• ValがWindowsオペレーティングシステムをサポートできるかどうかに懸念がある
• Rust、Zig、Valのような複数のゼロコスト抽象化言語の存在は、一部のシステムプログラマーにとって歓迎すべきであり、解決されてほしい対象でもある
• Valはまだ開発中であり、完全に実用可能な言語とは見なされていない
• Dave Abrahamsとの関係からValは注目を集めている（Dave Abrahamsはプログラミングコミュニティでよく知られた人物）
• Valの実装に関する質問や議論があり、文字列処理や自己参照データ構造を実装できるかどうかなどが含まれる
• ValはRust、Zig、Valeとは目標が重なっているように見えるが、Valaとはそうではない
• ValにはRustの unsafe に似た抜け道が用意される可能性があるが、Valの安全なサブセットが実際のアプリケーションに十分かどうかは、なお議論の対象となっている
• Valに似た他の言語としては、V、Vala、Valeなどがある