apache/groovy
Groovy
Groovy es un lenguaje de programación para la JVM y un framework de metaprogramación que proporciona un entorno compatible con Java para construir aplicaciones. Funciona como un lenguaje de scripting dinámico y una herramienta para crear lenguajes específicos de dominio (DSL), permitiendo la ejecución de scripts personalizados y la creación de mini-lenguajes especializados con una sintaxis concisa.
El proyecto se distingue por su capacidad para modificar el comportamiento del programa y las definiciones de clases mediante metaprogramación tanto en tiempo de compilación como en tiempo de ejecución. Utiliza un modelo de tipado híbrido que combina la resolución dinámica de métodos con un chequeo de tipos estático opcional para equilibrar la flexibilidad y el rendimiento de ejecución.
El lenguaje cubre una amplia gama de capacidades, incluyendo patrones de programación funcional, transformaciones de árboles de sintaxis abstracta (AST) y la integración directa de bibliotecas de Java. También incluye utilidades de seguridad para prevenir inyecciones SQL, asegurar el parsing de XML y garantizar un parsing seguro de datos estructurados.
El sistema traduce la sintaxis de alto nivel a bytecode de la JVM para su ejecución en cualquier Java Virtual Machine compatible.
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.
