I've started learning Pony recently and I definitely recommend checking it out. Pros: - Checked exceptions are pretty awesome - Built in object capability sy

I've started learning Pony recently and I definitely recommend checking it out. Pros: - Checked exceptions are pretty awesome - Built in object capability system means you are forced to be explicit about granting access to files, sockets, etc - Supports both structural and nominal subtyping - Generates very fast code as far as I can tell (it uses LLVM on the backend) - Actor model combined with reference capabilities means you don't have to worry about a huge class of concurrency bugs that the type system just rules out. - Very good C FFI support so if something isn't available you can easily create C bindings - Very helpful community on Zulip. You are pretty much guaranteed someone will give you a high quality answer to any of your questions. Cons: - Steep learning curve for reference capabilities - It can be tricky to find the right stdlib functions/types for what you want to do. It wasn't clear to me at first how some things worked, e.g. the relationship between Array and Iter. This is no fault of the API design, just a lack of tutorials on some things. - Missing a lot of things you might expect to find in other languages like all kinds of built in libraries to do HTTP stuff, etc.