[FacelessJim]

You should give Julia a shot. That’s basically that. You can start with super dynamic code in a REPL and gradually hammer it into stricter and hyper efficient code. It doesn’t have a borrow checker, but it’s expressive enough that you can write something similar as a package (see BorrowChecker.jl).

[xgdgsc]

Yes. https://github.com/heyx3/Bplus.jl/blob/master/docs/!why.md This is good writing on this topic.

[wolvesechoes]

Unless you would like to AOT-deploy your code, then good luck with using this 3rd party package with scarce documentation.

Or even enums, which are a joke in Julia.

Julia had so much potential, and such poor implementation.