Recs.
Updated
Open source, object oriented, actor-model, capabilities-secure, performant programming language.
Specs
Pros
Pro Trivially simple C FFI
Calling low-level C functions is as simple as use "lib:clibrary"
and @c_function_name[return_type](parameter:type)
. Linking C to Pony libraries is just as easy, as the Pony compiler will generate appropriate header files.
Pro Reliable
Because of its capabilities a secure type system, provided you don't use the C FFI, references will never be stale, race conditions are effectively impossible, deadlocks don't happen because locks and mutexes are never needed, and processes never crash because all exceptions must be handled (barring compiler bugs or external memory corruption). Pony programs can still lock up due to infinite loops, like any Turing-complete language.