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.