[jjnoakes]

Memory safety and the borrow checker are useful even in the absence of dynamic memory allocation. This still doesn't bring rust and ada to the same place, but it is important to clarify that piece.

[kevlar700]

Spark supports borrowing which is easier to use than Rusts now. It also prevents memory leaks.