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.
The language I work on, Futhark, does some of this. It's an ML-like data-parallel functional array language. It focuses almost entirely on performance, and the compiler is mature and generates pretty good code. I think the language is currently simpler (and more restricted) than what you're looking for, though.
Something like Clasp is the only thing I could think of that would get you even close to what you're asking about. https://github.com/clasp-developers/clasp, designed to be used for molecular engineering. https://www.youtube.com/watch?v=8X69_42Mj-g
I'm trying to do it with https://tablam.org, but in my $job I'm starting to make the query optimizer for a DB engine, and it is TRULY hard!