|
|
|
|
|
|
by whytevuhuni
201 days ago
|
|
|
How does this SPARK/non-SPARK mix compare to Rust's safe/unsafe mix though, in terms of both safety and pragmatism for larger non-interplanetary software? Like, for creating a CLI tool, a GUI application, a game, a web server? |
|
|