Val | The Val Programming Language

submited by
Style Pass
2022-09-23 19:00:14

Val is a research programming language to explore the concepts of mutable value semantics and generic programming for high-level systems programming.

The language tour gives an overview of Val’s features. The specification (work in progress) provides detailed information about Val’s syntax and semantics.

Val is under active development and is not ready to be used yet. The code of the compiler is open source and hosted on GitHub. The current status of the project is described on our roadmap page.

Our goals overlap substantially with that of Rust and other commendable efforts, such as Zig or Vale. Besides, other programming languages have value semantics (e.g., R or Whiley) and/or provide excellent support for generic programming (e.g., Swift or Haskell). So why another one?

What sets Val apart in the current landscape is its focus on mutable value semantics for the purpose of writing efficient, generic code, and its attention to C++ interoperability. Val is a zero-cost abstraction language that fully acknowledges the physical constraints of computer architecture. Yet, it presents a user model that marries these constraints with the benefits of value-oriented programming.

Leave a Comment