Skip to content

Commit

Permalink
Update docs/index.md
Browse files Browse the repository at this point in the history
Co-authored-by: Joe Eli McIlvain <joe.eli.mac@gmail.com>
  • Loading branch information
SeanTAllen and jemc authored Jan 30, 2024
1 parent 3ba673b commit 5cb91ab
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ When we say Pony is __capabilities-secure__, we mean a few things:
* It's data-race free. Pony doesn't have locks or atomic operations or anything like that. Instead, the type system ensures _at compile time_ that your concurrent program can never have data races. So you can write highly concurrent code and never get it wrong.
* It's deadlock free. This one is easy, because Pony has no locks at all! So they definitely don't deadlock, because they don't exist.

Pony can't stop you from writing logical bugs, but it can remove entire classes of bugs from being possible. The Pony compiler prevents you from unsafely accessing memory concurrently. If you've ever done concurrent programming, you know how hard such things can be to track down. With Pony, **poof**, don't worry about. Concentrate on "your logic". We think that makes Pony awesome and we hope you come to agree with us.
Pony can't stop you from writing logical bugs, but it can remove entire classes of bugs from being possible. The Pony compiler prevents you from unsafely accessing memory concurrently. If you've ever done concurrent programming, you know how hard such things can be to track down. With Pony, **poof**, don't worry about it; concentrate on "your logic". We think that makes Pony awesome and we hope you come to agree with us.

We'll talk more about capabilities-security, including both __object capabilities__ and __reference capabilities__ later.

Expand Down

0 comments on commit 5cb91ab

Please sign in to comment.