Systems language with linear types and capability-based security.
Safe Austral APIs for your seL4 Core Platform projects.
Almost certainly not, and there are good reasons for that.
Work on Austral was initiated by Borretti in 2021, but its earnest development really only commenced in January this year. So we're talking about a language that's, for most intents and purposes, less than a year old. Even if the January release was stable, there would not have been time for anyone to develop and deploy significant projects in it. But it is not stable: it still under construction, with certain inherent instabilities. Notably, recent updates changed the borrow syntax and FFI pragmas. Similarly, the surrounding infrastructure (compiler and standard library) is far from production-ready yet.
I built an Austral interface for the seL4 Core Platform (https://github.com/zaklogician/libmantle/tree/main), and ran some Austral apps on hardware. The purpose of this was experimental (we wanted to know how Austral can help us design fail-safe seL4 Core Platform APIs, and it was a success), but probably among the closest anybody came to "production": I wrote more Austral code than currently included in the Austral standard library.
It revealed several bugs, including a typo in Standard.Buffer which leads to the invariant check for the Buffer type always failing, and issues related to the compiler's handling of large unsigned literals.
Austral shows great promise, and has already provided us with valuable insights about linear API design, and exciting glimpses into its future capabilities. Using Austral in production code, however, might require a few more years of maturation and stabilization. So if you want something that people use for writing production code, check back in a couple of years.
Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
Compiler for the Vale programming language - http://vale.dev/ (by ValeLang)
Odin Programming Language
Small Joys with Odin
4 projects | news.ycombinator.com | 21 Jul 2023
New language suggestion to old time Gopher
5 projects | /r/golang | 1 Apr 2023
Adding Modules to C in 10 Lines of Code [pdf]
5 projects | news.ycombinator.com | 27 Jun 2022
what do you think about vlang
4 projects | /r/programminghelp | 5 Apr 2022
How Many Programming Languages Are There
4 projects | /r/programming | 21 Jan 2022