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.
tnelsond4•1h ago
I'd recommend starting with implementing a forth since it's the easiest language to write an interpreter/compiler for. From there you'll have enough experience to go for something bigger.
Making your own bytecode is really fun.
Ultimately you'll probably want your compiler to target llvm bytecode so that it works on every target automatically.