Perhaps more to the point, it sounds like SPARK is better suited to this particular use case. Some of the problems they're using SPARK to solve aren't even on R

Perhaps more to the point, it sounds like SPARK is better suited to this particular use case. Some of the problems they're using SPARK to solve aren't even on Rust's radar.