Our great sponsors
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Vale lead here, thanks for posting!
For those interested in the PL space, here are some of the shenanigans we've been up to in Vale:
* We added "Higher RAII", a form of linear typing that allows destructors to have return types and parameters. [0]
* We just yesterday finished the first prototype of deterministic replayability, which will allow us to capture all inputs to a program (including all network data, user input, file input, etc, and eventually, even thread orderings). No article yet, but our docs on it are pretty approachable. [1]
* Last month, we finished the first milestone of "Fearless FFI", which lets us call into our C code without fearing it corrupting our Vale data. Later on, we'll be adding automatic sandboxing, either via subprocesses (using IPC for FFI) or wasm2c (which should be a lot faster).
We've also got some very interesting plans for concurrency. We've found a possible way to make memory-safe and data-race-safe structured concurrency even easier, [2] which I hope to get to before the year's end.
As a fan of C++ and Rust, I'm most excited about having the RAII and flexibility of C++ with the memory safety of Rust, while being a _lot_ easier than either of them. We seem to be succeeding, hopefully that continues!
I also want to emphasize out that Vale is a work in progress, and we're trying to be very clear on the site about which parts are implemented and which parts aren't.
We couldn't have gotten this far this without our sponsors' support, so big thanks to all of them! [3]
[0] https://verdagon.dev/blog/higher-raii-7drl
[1] https://github.com/ValeLang/Vale/blob/master/docs/PerfectRep...
[2] https://verdagon.dev/blog/seamless-fearless-structured-concu...
[3] https://github.com/sponsors/ValeLang
Given the possible confusion with Vale[1] and Vala[2], I suggest to rename the language to some new unambiguous name asap in order get more visibility.
Otherwise, it looks very promising!
[1] https://github.com/project-everest/vale