3 ms·

Using an actually safe language would have helped also. Pony is deadlock free eg.

• pornel 2y ago
  How does it prevent two actors from waiting on each other?
  • rurban 2y ago
    There are no locks. There is no blocking wait, the IO lib is nonblocking throughout. Actors cannot wait. Messages are guaranteed to be processed ordered sequentially. https://tutorial.ponylang.io/index.html#whats-pony-anyway https://tutorial.ponylang.io/index.html#whats-pony-anyway
    • loeg 2y ago
      There are while loops, though, so actors can still livelock.
• IshKebab 2y ago
  You can't seriously be suggesting that Google use an extremely niche "pre-1.0" language for a production system intended to be used by hundreds of millions of people?
  • rurban 2y ago
    Everybody is using Linux or Windows, which are entirely unsafe and riddled with tens of thousands of yet unfixed bugs. Nobody cares. Neither the language maintainers nor architects
    • IshKebab 2y ago
      > Nobody cares. Absolute hogwash. Plenty of people care. Plenty of people don't care, but there's no shortage of people that do.
    • steveklabnik 2y ago
      Both Linux and Windows are including Rust (Windows moreso than Linux) specifically because they care.
• atemerev 2y ago
  Ah, that famous programming language where 1/0==0, right?