{"repo":"erg-lang/erg","free":true,"listed":false,"github":"https://github.com/erg-lang/erg","clone":"git clone https://github.com/erg-lang/erg.git","description":"A statically typed language compatible with Python","language":"Rust","stars":2857,"topics":["compiler","programming-language","python","rust","language","erg","transpiler"],"license":"Apache-2.0","category":"dev-tools","readme_excerpt":"The Erg Programming Language This is the main source code repository for Erg. This contains the compiler and documentation. 日本語 简体中文 繁體中文 Erg can be recommended to a person that: wants Rust-like robustness and comfortable compiler support, and yet, doesn't need the verbose type specifications & memory management model like Rust. frustrated with Python, but can't throw away Python code assets. wants a simple and consistent language like ML. wants a practical general-purpose language with dependent/refinement types. wants a language like Scala that can be used both object-oriented and functional. Features Some features are not yet implemented. Please see TODO.md for implementation status. 1. Robustness Erg has a smart & powerful type system. For example, Erg can do null checking (Option type), division by zero, and out-of-range addresses in arrays at compile time. 2. Simplicity Erg consists of a very simple syntax, which can significantly reduce the amount of code compared to other languages. However, its functionality is not inferior to them. Since the type inference system is powerful, you can code like a dynamically typed language. Even for and while expressions are just one of the subroutines, so this is possible. 3. Functional & Object-oriented Erg is a pure object-oriented language. Everything is an object; types, functions, and operators are all objects. On the other hand, Erg is also a functional language. Erg requires some kinds of markers to be placed on code th","default_branch":null,"files":null,"tree":[],"storefront":"/r/erg-lang","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/erg-lang/erg/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}