News for hackers. Stuff that matters.

A comment on Paxos vs. Raft: Have we reached consensus on distributed consensus?. Parent comment

Re:Paxos vs. Raft: Have we reached consensus on distributed ... by littlestymaar on Friday July 16, 2021 @02:44PM (#27859692)
> The issue is that rust is a very large language and it's hard to get it right.

In my experience, Rust type system (especially the Send and Sync traits, which prevent data races) makes it easier − not harder − to get big things work.

[ Parent | on HN ]
Re:Paxos vs. Raft: Have we reached consensus on distributed ... by adsharma on Friday July 16, 2021 @03:45PM (#27860422)
My intention is to reuse the rust type system where we can and yet keep the language small enough to be able to implement and verify non-trivial real world programs.

https://github.com/adsharma/py2many/blob/main/doc/langspec.m... https://github.com/adsharma/py2many/blob/main/CHANGELOG.md#r...

[ Parent | on HN ]