I have this long thought about building a language for the age of ai.

Here is a non-exhaustive list of features i would love to have it included: - separate effect full code from pure logic - separate state and code - ai native debugger - native deterministic simulation testing - coding proofs - explicit type system - repl - wasm target

I have no background in compiler building or similar. I would just like to spend some weeks reading the best resource about this topic.

Please share any resource you recommend reading.