apache/groovy
Groovy
Groovy ist eine JVM-Programmiersprache und ein Metaprogrammierungs-Framework, das eine Java-kompatible Umgebung für die Anwendungsentwicklung bietet. Es fungiert als dynamische Skriptsprache und als Werkzeug zum Verfassen domänenspezifischer Sprachen, was die Ausführung benutzerdefinierter Skripte und die Erstellung spezialisierter Minisprachen mit prägnanter Syntax ermöglicht.
Das Projekt zeichnet sich durch die Fähigkeit aus, Programmverhalten und Klassendefinitionen sowohl durch Compile-Time- als auch durch Runtime-Metaprogrammierung zu modifizieren. Es nutzt ein hybrides Typisierungsmodell, das dynamische Methodenauflösung mit optionaler statischer Typüberprüfung kombiniert, um Flexibilität und Ausführungsperformance in Einklang zu bringen.
Die Sprache deckt ein breites Spektrum an Funktionen ab, einschließlich funktionaler Programmiermuster, AST-Transformationen und der direkten Integration von Java-Bibliotheken. Sie enthält zudem Sicherheitswerkzeuge zur Vermeidung von SQL-Injection, zur Absicherung des XML-Parsings und zur Gewährleistung eines sicheren Parsings strukturierter Daten.
Das System übersetzt High-Level-Syntax in JVM-Bytecode zur Ausführung auf jeder kompatiblen Java Virtual Machine.
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.
