u/bengtSlask559

From this post we read > A couple of years ago I would probably have told students to start with Julia. Julia code can stay close to the math, memory management is easy, and the numerical libraries were already there. Rust had more to learn, and the ecosystem was still missing pieces.

> I would not give the same advice now. Not because Rust changed, but because I am no longer the one writing most of the code.

> ...

> For us, the question stopped being “how fast can a human write this?” and became “how confident can we be that it is correct?”. That reframing is why Rust became the more practical choice.

Could Julia be made easy to verify? Are there Rust features listed in that article that Julia can emulate?