3 ms·

I'm sure that submitting a PR to a Rust project to rewrite parts in Ada/SPARK would be met with great enthusiasm.

by bgwalter 10mo ago

kolektiv 10mo ago
If anyone submitted such a PR to one of my projects and could explain compelling benefits for why doing so would be a general improvement, even considering trade-offs of increased complexity/maintainability, etc., then I'd be delighted they'd cared enough to improve my software.
- jciuqgfb 10mo ago
  [flagged]
  - Xylakant 10mo ago
    How is the drive-by statement of a random GH account with 9 followers representative of any community. What's the point you're trying to make? That there's people with shitty behavior in the Rust community? No surprise here, there are. That there's trolls out there that just do this for fun? It's the internet! I hope that doesn't surprise anyone by now.
  - bmicraft 10mo ago
    What are you implying? I ask because you aren't actually saying anything yourself.
  - dralley 10mo ago
    This is the 2nd throwaway account spamming this link, and we're supposed to see this as evidence of the Rust community acting poorly?
Xylakant 10mo ago
Why? It depends on what you want to replace, but the Rust project has a long history of using tools written in other languages. Python is used a lot in build tooling, bors-ng was written in Elixir, llvm is written in c, ... gcc-rs doesn't contain a lot of rust code either, it's purely other languages according to https://github.com/Rust-GCC/gccrs https://github.com/Rust-GCC/gccrs Fundamentally, if a tool is good and provides benefits then why not use it? You'll be met with concerns about maintainability if you just airdrop something written in Ada/SPARK, but that's fair - just as it was fair that the introduction of Rust in the linux kernel was indeed met with concerns about maintainability. It seems that those were resolved to the satisfcation of the group that decides things and the cost/benefit balance was considered net positive.
- School-Cotton 10mo ago
  It doesn't detract from your main point, but LLVM is written in C++, not C.
  - Xylakant 10mo ago
    Thanks for the correction.

I'm sure that submitting a PR to a Rust project to rewrite parts in Ada/SPARK would be met with great enthusiasm.

If anyone submitted such a PR to one of my projects and could explain compelling benefits for why doing so would be a general improvement, even considering trade-offs of increased complexity/maintainability, etc., then I'd be delighted they'd cared enough to improve my software.

jciuqgfb 10mo ago
[flagged]
- Xylakant 10mo ago
  How is the drive-by statement of a random GH account with 9 followers representative of any community. What's the point you're trying to make? That there's people with shitty behavior in the Rust community? No surprise here, there are. That there's trolls out there that just do this for fun? It's the internet! I hope that doesn't surprise anyone by now.
- bmicraft 10mo ago
  What are you implying? I ask because you aren't actually saying anything yourself.
- dralley 10mo ago
  This is the 2nd throwaway account spamming this link, and we're supposed to see this as evidence of the Rust community acting poorly?

Xylakant 10mo ago

Why? It depends on what you want to replace, but the Rust project has a long history of using tools written in other languages. Python is used a lot in build tooling, bors-ng was written in Elixir, llvm is written in c, ... gcc-rs doesn't contain a lot of rust code either, it's purely other languages according to https://github.com/Rust-GCC/gccrs https://github.com/Rust-GCC/gccrs Fundamentally, if a tool is good and provides benefits then why not use it? You'll be met with concerns about maintainability if you just airdrop something written in Ada/SPARK, but that's fair - just as it was fair that the introduction of Rust in the linux kernel was indeed met with concerns about maintainability. It seems that those were resolved to the satisfcation of the group that decides things and the cost/benefit balance was considered net positive.

School-Cotton 10mo ago
It doesn't detract from your main point, but LLVM is written in C++, not C.
- Xylakant 10mo ago
  Thanks for the correction.