@mre
(I can't speak concretely about Rust in particular because I'm just starting to learn it, but I do have a lot of experience with another extremely strongly typed language that heavily prioritizes integrity (Ada) so I feel I can speak in general.)
The ease of writing has been a perennial debate between static and dynamic typing but for the most part I think it's a bit fallacious. If you actually understand the type system of a static language then it's really not hard at all to prototype things, since you can pretty reliably predict ahead-of-time what the best way to structure the types and code is in a way that's extensible/refactorable. And I think the benefit of seeing many issues at compile-time rather than being pushed to only showing up at runtime when that specific codepath runs.
And I think a lot of it really has mostly to do with editor support and tooling (which is a few of your points) rather than the language itself. Ada definitely got more convenient to write once an LSP server was written for it.
=> More informations about this toot | View the thread | More toots from nytpu@tilde.zone
=> View mre@mastodon.social profile
text/geminiThis content has been proxied by September (3851b).