Skip to content

Commit

Permalink
Clarify a couple points in the intro
Browse files Browse the repository at this point in the history
Closes #348
  • Loading branch information
SeanTAllen committed Jan 28, 2024
1 parent 57d543f commit 7e68f0c
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion docs/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -12,10 +12,12 @@ When we say Pony is __capabilities-secure__, we mean a few things:

* It's type safe. Really type safe. There's a mathematical [proof](https://www.ponylang.io/media/papers/opsla237-clebsch.pdf) and everything.
* It's memory safe. Ok, this comes with type safe, but it's still interesting. There are no dangling pointers, no buffer overruns, heck, the language doesn't even have the concept of _null_!
* It's exception safe. There are no runtime exceptions. All exceptions have defined semantics, and they are _always_ handled.
* It's exception safe. There are no runtime exceptions. All "exceptional situations" have defined semantics, and they are _always_ handled.
* 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.

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

## The Pony Philosophy: Get Stuff Done
Expand Down

0 comments on commit 7e68f0c

Please sign in to comment.