ponylang/ponyc

Features

• Actor-Model Programming Languages - Is a programming language that uses the actor model for concurrency, where actors manage state and communicate via asynchronous messages.
• Compiler-Inserted Reference Countings - Manages memory through compiler-inserted reference counting driven by reference capabilities, eliminating the need for a tracing garbage collector.
• Asynchronous Message Passings - Provides exclusive asynchronous message passing between actors, with the runtime handling message queues and delivery.
• High-Performance Systems Programming - Compiles source code into efficient machine code for performance-critical applications with minimal runtime overhead.
• Native Code Compiled Languages - Is a compiled language that produces efficient machine code for performance-critical applications.
• Actor Models - Enables writing concurrent programs where each actor manages its own state and communicates through asynchronous messages.
• Work-Stealing Schedulers - Implements a work-stealing scheduler that distributes lightweight actor tasks across OS threads for maximum CPU utilisation.
• Capability-Safe Concurrency Primitives - Enforces compile-time security capabilities to prevent data races and concurrency bugs in actor-based programs.
• LLVM-Based Compilers - Uses LLVM as its backend compiler to generate optimised native machine code for multiple target architectures.
• Open-Source Programming Languages - Is an open-source language with a publicly available compiler and tutorial for building foundational skills.
• Source Code Compilers - Compiles source code into efficient machine code that runs with minimal overhead for performance-critical applications.
• Capability-Based Security - Restricts what each actor can do at compile time using capabilities to prevent data races and concurrency bugs.
• Compile-Time Capability-Secure Languages - Enforces compile-time capability-based security to prevent data races and concurrency bugs as a core language feature.
• Reference Capability Type Systems - Enforces a reference capability type system at compile time to guarantee data-race freedom without a garbage collector.
• Object Capability Models - Every object reference carries a compile-time capability that defines allowed operations, forming a fine-grained security model.
• Actor-Based Concurrency - Supports writing safe concurrent programs where actors manage state through asynchronous message passing without shared memory.
• Compile-Time - Prevents data races at compile time through a static type system that verifies exclusive mutable access between actors.
• Zero-Copy Messaging - Passes messages between actors by reference when capability-safe, avoiding unnecessary copying and reducing allocation overhead.

Star history