Erg is a statically typed programming language designed to enhance the Python ecosystem. It boasts a robust type system with dependent and refinement types, ensuring that pre-conditions and invariants are deeply encoded in the code. Erg's syntax is simple and consistent, allowing for significant code reduction without sacrificing functionality, and its powerful type inference system enables coding in a style akin to dynamically typed languages.
Readability is a key focus, with Erg offering a rich set of default methods and functions to enhance code clarity. It supports both functional and object-oriented paradigms, and emphasizes maintainability by requiring markers for side-effect-inducing code, thus localizing complexity.
Erg is programmer-friendly, providing clear error messages and various development tools, along with multilingual support. It offers seamless interoperability with Python, allowing Erg code to be compiled into Python bytecode, ensuring zero-cost access to existing Python assets. Erg supports multiple backends, including CPython, Rust (via the Gal compiler), and Dyne, a Python-compatible bytecode interpreter optimized for Erg's specifications.
Pricing
Pricing information is not available