apache/groovy
Groovy
Groovy este un limbaj de programare pentru JVM și un framework de metaprogramare care oferă un mediu compatibil cu Java pentru construirea de aplicații. Acesta funcționează ca un limbaj de scripting dinamic și un instrument pentru autorizarea limbajelor specifice domeniului (DSL), permițând execuția de scripturi personalizate și crearea de mini-limbaje specializate cu sintaxă concisă.
Proiectul se distinge prin capacitatea de a modifica comportamentul programului și definițiile claselor prin metaprogramare atât la compilare, cât și la runtime. Utilizează un model de tipizare hibrid care combină rezoluția dinamică a metodelor cu verificarea statică opțională a tipurilor pentru a echilibra flexibilitatea și performanța execuției.
Limbajul acoperă o gamă largă de capabilități, inclusiv tipare de programare funcțională, transformări de arbore sintactic abstract (AST) și integrarea directă a bibliotecilor Java. Include, de asemenea, utilitare de securitate pentru prevenirea SQL injection, securizarea parsării XML și asigurarea parsării sigure a datelor structurate.
Sistemul traduce sintaxa de nivel înalt în bytecode JVM pentru execuție pe orice Java Virtual Machine compatibilă.
Features
- JVM Application Development - Enables the creation of software targeting the Java Virtual Machine using concise syntax and hybrid typing.
- Programming Languages - Provides a high-level programming language targeting the JVM that supports both dynamic and static typing.
- Code Prototyping - Executes code snippets and automates tasks quickly without extensive application boilerplate or project structures.
- Class Extensions - Allows injecting new instance or static methods into existing types using external descriptor files and extension modules.
- Runtime Meta-Class Extensions - Injects new methods into existing classes at runtime by modifying underlying class definitions via meta-classes.
- Dynamic Method Dispatch - Resolves method calls at runtime using a call site mechanism to support flexible typing and late binding.
- Java Interoperability - Enables direct integration and interoperability with Java libraries and classes within the same virtual machine.
- Metaprogramming - Modifies program logic and class definitions at runtime or compile-time to automate patterns and extend object capabilities.
- Metaprogramming Frameworks - Implements a framework for modifying program behavior and class definitions at both compile-time and runtime.
- Domain Specific Languages - Provides tools for creating specialized mini-languages with concise syntax to describe business logic or configurations.
- DSL Implementation Toolkits - Offers a framework for implementing the lexing, parsing, and generation phases of domain-specific languages.
- Hybrid Typing Systems - Combines dynamic method resolution with optional static type checking within a single language runtime.
- Scripting Languages - Provides a flexible language for executing custom scripts and automating tasks without application boilerplate.
- JVM Bytecode Compilers - Translates high-level syntax into compatible Java bytecode for execution on the Java Virtual Machine.
- Scripting Runtimes - Evaluates code snippets without a full application structure by bypassing traditional boilerplate and compilation steps.
- Abstract Syntax Tree Transformations - Provides capabilities to rewrite and generate AST nodes during compilation to implement custom language features and reduce boilerplate.
- Runtime Metaprogramming - Enables modifying program behavior and structure at both compile-time and runtime to automate tasks.
- Custom Script Executions - Provides the ability to execute custom logic via scripts to bypass full application structures.
- Call-Site Caching - Implements call-site caching to optimize dynamic method calls by reusing resolution results for subsequent invocations.
- Functional Programming Patterns - Supports processing data and performing transformations using logic based on functional programming paradigms.
- Custom Type Checking Rules - Supports adding custom type checking rules via scripts to modify static analysis and catch coding errors.
- Static Type Checking - Performs compile-time type validation to bypass dynamic dispatch and increase execution performance.
