I'm working on this now. It's a Profile Guided Optimization language - with memory safety like Rust. It's extremely easy to optimize assuming you either 1) pr

I'm working on this now. It's a Profile Guided Optimization language - with memory safety like Rust. It's extremely easy to optimize assuming you either 1) profile it in production (obviously has costs) or 2) can generate realistic workloads to test against. It's like Rust, in that it makes expressing common illegal states just outright impossible. Though it goes much further than Rust. And it's easier to read than Swift or Go. There's a lot of magic that happens with defaults that languages like Zig or Rust don't want, because they want every cost signal to be as visible as possible, so you can understand the cost of a line and a function. LLMs with tests can - I hope - do this without that noise. We shall see.