Our great sponsors
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
noda
An Array-Oriented, OOP, FP, and Logical Programming Language for Concise Pseudocode-like Scalability
-
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.
Have you looked at Futhark?
You might be familiar with iKe (grahics), SpecialK (GLSL) and Co-dfns. Also, I am working on bastardized APL for GPU – Fluent. Fluent 1 had backend implemented through Apple Metal Performance Shaders Graph and Fluent 2 has TensorFlowJS backend for now. I care more about having auto differentiation in the lang than running on GPU and do graphics, to be honest.
The "Why Rust" section just under that slogan makes it clear enough what sort of language it is and whether it might suit your needs. It can't be done in a headline ... https://www.rust-lang.org/
If we drop the "APL" requirement, wouldn't Halide fit your criteria for the third?
As for points 2-4: You may want to check out Herb Sutter's Cpp2. Other than having a different syntax, a big design philosophy was "safety by default" iirc, so it does a lot of what you're asking for. It doesn't "hide" any features as far as I know, though. It is basically just a wrapper language that compiles to and interacts with regular C++ code seamlessly.
A VPL like Nameless.
Also, can I introduce you to https://strlen.com/lobster/, a garbage collected language made for game development by (and primarily for) the one and only Wouter "aardappel" van Oortmerssen?