More languages

1 files changed, 1415 insertions, 0 deletions

diff --git a/README_ES.md b/README_ES.md
new file mode 100644
index 0000000..2735497
--- /dev/null
+++ b/README_ES.md
@@ -0,0 +1,1415 @@
+
+<div align="center">
+
+[English](README.md) • [简体中文](README_ZH_CN.md) • [繁體中文](README_ZH_TW.md) • [Español](README_ES.md)
+
+</div>
+
+<div align="center">
+
+# Zen C
+
+**Ergonomía Moderna. Cero Sobrecarga. C Puro.**
+
+[![Estado de la Construcción](https://img.shields.io/badge/build-passing-brightgreen)]()
+[![Licencia](https://img.shields.io/badge/license-MIT-blue)]()
+[![Versión](https://img.shields.io/badge/version-0.1.0-orange)]()
+[![Plataforma](https://img.shields.io/badge/platform-linux-lightgrey)]()
+
+*Escribe como un lenguaje de alto nivel, ejecuta como C.*
+
+</div>
+
+---
+
+## Descripción General
+
+**Zen C** es un lenguaje de programación de sistemas moderno que se compila a `GNU C`/`C11` legible por humanos. Proporciona un conjunto rico de características que incluyen inferencia de tipos, coincidencia de patrones (pattern matching), genéricos, traits, async/await y gestión manual de memoria con capacidades RAII, todo manteniendo una compatibilidad total con el ABI de C.
+
+## Comunidad
+
+¡Únete a la discusión, comparte demos, haz preguntas o reporta errores en el servidor oficial de Discord de Zen C!
+
+- Discord: [Únete aquí](https://discord.com/invite/q6wEsCmkJP)
+
+---
+
+## Índice
+
+- [Descripción General](#descripción-general)
+- [Comunidad](#comunidad)
+- [Inicio Rápido](#inicio-rápido)
+    - [Instalación](#instalación)
+    - [Uso](#uso)
+    - [Variables de Entorno](#variables-de-entorno)
+- [Referencia del Lenguaje](#referencia-del-lenguaje)
+    - [1. Variables y Constantes](#1-variables-y-constantes)
+    - [2. Tipos Primitivos](#2-tipos-primitivos)
+    - [3. Tipos Agregados](#3-tipos-agregados)
+        - [Arrays](#arrays)
+        - [Tuplas](#tuplas)
+        - [Structs](#structs)
+        - [Structs Opacos](#structs-opacos)
+        - [Enums](#enums)
+        - [Uniones](#uniones)
+        - [Alias de Tipos](#alias-de-tipos)
+        - [Alias de Tipos Opacos](#alias-de-tipos-opacos)
+    - [4. Funciones y Lambdas](#4-funciones-y-lambdas)
+        - [Funciones](#funciones)
+        - [Argumentos Const](#argumentos-const)
+        - [Argumentos por Defecto](#argumentos-por-defecto)
+        - [Lambdas (Clausuras)](#lambdas-clausuras)
+        - [Punteros a Funciones Crudos](#punteros-a-funciones-crudos)
+        - [Funciones Variádicas](#funciones-variádicas)
+    - [5. Flujo de Control](#5-flujo-de-control)
+        - [Condicionales](#condicionales)
+        - [Coincidencia de Patrones](#coincidencia-de-patrones)
+        - [Bucles](#bucles)
+        - [Control Avanzado](#control-avanzado)
+    - [6. Operadores](#6-operadores)
+        - [Operadores Sobrecargables](#operadores-sobrecargables)
+        - [Azúcar Sintáctico](#azúcar-sintáctico)
+    - [7. Impresión e Interpolación de Cadenas](#7-impresión-e-interpolación-de-cadenas)
+        - [Palabras Clave](#palabras-clave)
+        - [Abreviaturas](#abreviaturas)
+        - [Interpolación de Cadenas (F-strings)](#interpolación-de-cadenas-f-strings)
+        - [Prompts de Entrada (`?`)](#prompts-de-entrada-)
+    - [8. Gestión de Memoria](#8-gestión-de-memoria)
+        - [Defer](#defer)
+        - [Autofree](#autofree)
+        - [Semántica de Recursos (Movimiento por Defecto)](#semántica-de-recursos-movimiento-por-defecto)
+        - [RAII / Drop Trait](#raii--drop-trait)
+    - [9. Programación Orientada a Objetos](#9-programación-orientada-a-objetos)
+        - [Métodos](#métodos)
+        - [Traits](#traits)
+        - [Traits Estándar](#traits-estándar)
+        - [Composición](#composición)
+    - [10. Genéricos](#10-genéricos)
+    - [11. Concurrencia (Async/Await)](#11-concurrencia-asyncawait)
+    - [12. Metaprogramación](#12-metaprogramación)
+        - [Comptime](#comptime)
+        - [Embed](#embed)
+        - [Plugins](#plugins)
+        - [Macros de C Genéricas](#macros-de-c-genéricas)
+    - [13. Atributos](#13-atributos)
+    - [Atributos Personalizados](#atributos-personalizados)
+    - [Derivaciones Inteligentes](#derivaciones-inteligentes)
+    - [14. Ensamblador Inline](#14-ensamblador-inline)
+        - [Uso Básico](#uso-básico)
+        - [Volatile](#volatile)
+        - [Restricciones con Nombre](#restricciones-con-nombre)
+    - [15. Directivas de Construcción](#15-directivas-de-construcción)
+    - [16. Palabras Clave](#16-palabras-clave)
+- [Biblioteca Estándar](#biblioteca-estándar)
+- [Herramientas](#herramientas)
+    - [Servidor de Lenguaje (LSP)](#servidor-de-lenguaje-lsp)
+    - [REPL](#repl)
+- [Soporte del Compilador y Compatibilidad](#soporte-del-compilador-y-compatibilidad)
+    - [Estado de la Suite de Pruebas](#estado-de-la-suite-de-pruebas)
+    - [Construyendo con Zig](#construyendo-con-zig)
+    - [Interop con C++](#interop-con-c)
+    - [Interop con CUDA](#interop-con-cuda)
+    - [Interop con Objective-C](#interop-con-objective-c)
+- [Contribuyendo](#contribuyendo)
+- [Atribuciones](#atribuciones)
+
+---
+
+## Inicio Rápido
+
+### Instalación
+
+```bash
+git clone https://github.com/z-libs/Zen-C.git
+cd Zen-C
+make
+sudo make install
+```
+
+### Construcción Portable (APE)
+
+Zen C puede compilarse como un **Ejecutable Realmente Portable (APE)** usando [Cosmopolitan Libc](https://github.com/jart/cosmopolitan). Esto produce un único binario (`.com`) que se ejecuta de forma nativa en Linux, macOS, Windows, FreeBSD, OpenBSD y NetBSD en arquitecturas x86_64 y aarch64.
+
+**Prerrequisitos:**
+- Toolchain `cosmocc` (debe estar en tu PATH)
+
+**Construcción e Instalación:**
+```bash
+make ape
+sudo env "PATH=$PATH" make install-ape
+```
+
+**Artefactos:**
+- `out/bin/zc.com`: El compilador Zen-C portable. Incluye la biblioteca estándar embebida dentro del ejecutable.
+- `out/bin/zc-boot.com`: Un instalador bootstrap autónomo para configurar nuevos proyectos Zen-C.
+
+**Uso:**
+```bash
+# Ejecutar en cualquier SO compatible
+./out/bin/zc.com build hello.zc -o hello
+```
+
+### Uso
+
+```bash
+# Compilar y ejecutar
+zc run hello.zc
+
+# Construir ejecutable
+zc build hello.zc -o hello
+
+# Shell Interactiva
+zc repl
+```
+
+### Variables de Entorno
+
+Puedes configurar `ZC_ROOT` para especificar la ubicación de la Biblioteca Estándar (importaciones estándar como `import "std/vector.zc"`). Esto te permite ejecutar `zc` desde cualquier directorio.
+
+```bash
+export ZC_ROOT=/ruta/a/Zen-C
+```
+
+---
+
+## Referencia del Lenguaje
+
+### 1. Variables y Constantes
+
+Zen C distingue entre constantes en tiempo de compilación y variables en tiempo de ejecución.
+
+#### Constantes Manifiestas (`def`)
+Valores que existen solo en tiempo de compilación (se pliegan en el código). Úsalos para tamaños de arrays, configuración fija y números mágicos.
+
+```zc
+def MAX_SIZE = 1024;
+let buffer: char[MAX_SIZE]; // Tamaño de array válido
+```
+
+#### Variables (`let`)
+Ubicaciones de almacenamiento en memoria. Pueden ser mutables o de solo lectura (`const`).
+
+```zc
+let x = 10;             // Mutable
+x = 20;                 // OK
+
+let y: const int = 10;  // Solo lectura (Calificado por tipo)
+// y = 20;              // Error: no se puede asignar a una constante
+```
+
+### 2. Tipos Primitivos
+
+| Tipo | Equivalente en C | Descripción |
+|:---|:---|:---|
+| `int`, `uint` | `int`, `unsigned int` | Entero estándar de la plataforma |
+| `I8` .. `I128` o `i8` .. `i128` | `int8_t` .. `__int128_t` | Enteros con signo de ancho fijo |
+| `U8` .. `U128` o `u8` .. `u128` | `uint8_t` .. `__uint128_t` | Enteros sin signo de ancho fijo |
+| `isize`, `usize` | `ptrdiff_t`, `size_t` | Enteros del tamaño de un puntero |
+| `byte` | `uint8_t` | Alias para U8 |
+| `F32`, `F64` o `f32`, `f64`  | `float`, `double` | Números de coma flotante |
+| `bool` | `bool` | `true` o `false` |
+| `char` | `char` | Carácter único |
+| `string` | `char*` | Cadena de C (terminada en null) |
+| `U0`, `u0`, `void` | `void` | Tipo vacío |
+
+### 3. Tipos Agregados
+
+#### Arrays
+Arrays de tamaño fijo con semántica de valor.
+```zc
+def SIZE = 5;
+let ints: int[SIZE] = [1, 2, 3, 4, 5];
+let zeros: [int; SIZE]; // Inicializado a cero
+```
+
+#### Tuplas
+Agrupa múltiples valores, accede a los elementos por índice.
+```zc
+let pair = (1, "Hola");
+let x = pair.0;  // 1
+let s = pair.1;  // "Hola"
+```
+
+**Múltiples Valores de Retorno**
+
+Las funciones pueden retornar tuplas para proporcionar múltiples resultados:
+```zc
+fn sumar_y_restar(a: int, b: int) -> (int, int) {
+    return (a + b, a - b);
+}
+
+let resultado = sumar_y_restar(3, 2);
+let suma = resultado.0;   // 5
+let resta = resultado.1;  // 1
+```
+
+**Desestructuración**
+
+Las tuplas pueden desestructurarse directamente en variables:
+```zc
+let (suma, resta) = sumar_y_restar(3, 2);
+// suma = 5, resta = 1
+```
+
+#### Structs
+Estructuras de datos con campos de bits opcionales.
+```zc
+struct Point {
+    x: int;
+    y: int;
+}
+
+// Inicialización de struct
+let p = Point { x: 10, y: 20 };
+
+// Campos de bits
+struct Flags {
+    valid: U8 : 1;
+    mode:  U8 : 3;
+}
+```
+
+> **Nota**: Los structs usan [Semántica de Movimiento](#semántica-de-recursos-movimiento-por-defecto) por defecto. Los campos se pueden acceder mediante `.` incluso en punteros (Auto-Dereferencia).
+
+#### Structs Opacos
+Puedes definir un struct como `opaque` para restringir el acceso a sus campos solo al módulo que lo define, permitiendo aún que el struct sea asignado en el stack (el tamaño es conocido).
+
+```zc
+// En user.zc
+opaque struct User {
+    id: int;
+    name: string;
+}
+
+fn new_user(name: string) -> User {
+    return User{id: 1, name: name}; // OK: Dentro del módulo
+}
+
+// En main.zc
+import "user.zc";
+
+fn main() {
+    let u = new_user("Alice");
+    // let id = u.id; // Error: No se puede acceder al campo privado 'id'
+}
+```
+
+#### Enums
+Uniones etiquetadas (Tipos suma) capaces de contener datos.
+```zc
+enum Shape {
+    Circle(float),      // Contiene el radio
+    Rect(float, float), // Contiene ancho y alto
+    Point               // Sin datos
+}
+```
+
+#### Uniones
+Uniones estándar de C (acceso inseguro).
+```zc
+union Data {
+    i: int;
+    f: float;
+}
+```
+
+#### Alias de Tipos
+Crea un nuevo nombre para un tipo existente.
+```zc
+alias ID = int;
+alias PointMap = Map<string, Point>;
+```
+
+#### Alias de Tipos Opacos
+Puedes definir un alias de tipo como `opaque` para crear un nuevo tipo que sea distinto de su tipo subyacente fuera del módulo que lo define. Esto proporciona una fuerte encapsulación y seguridad de tipos sin la sobrecarga en tiempo de ejecución de un struct envoltorio.
+
+```zc
+// En library.zc
+opaque alias Handle = int;
+
+fn make_handle(v: int) -> Handle {
+    return v; // Conversión implícita permitida dentro del módulo
+}
+
+// En main.zc
+import "library.zc";
+
+fn main() {
+    let h: Handle = make_handle(42);
+    // let i: int = h; // Error: Falló la validación de tipos
+    // let h2: Handle = 10; // Error: Falló la validación de tipos
+}
+```
+
+### 4. Funciones y Lambdas
+
+#### Funciones
+```zc
+fn suma(a: int, b: int) -> int {
+    return a + b;
+}
+
+// Argumentos con nombre soportados en las llamadas
+suma(a: 10, b: 20);
+```
+
+> **Nota**: Los argumentos con nombre deben seguir estrictamente el orden de los parámetros definidos. `suma(b: 20, a: 10)` es inválido.
+
+#### Argumentos Const
+Los argumentos de las funciones pueden marcarse como `const` para imponer una semántica de solo lectura. Este es un calificador de tipo, no una constante manifiesta.
+
+```zc
+fn print_val(v: const int) {
+    // v = 10; // Error: No se puede asignar a una variable const
+    println "{v}";
+}
+```
+
+#### Argumentos por Defecto
+Las funciones pueden definir valores por defecto para los argumentos finales. Estos pueden ser literales, expresiones o código válido de Zen C (como constructores de structs).
+```zc
+// Valor por defecto simple
+fn incrementar(val: int, cantidad: int = 1) -> int {
+    return val + cantidad;
+}
+
+// Valor por defecto por expresión (evaluado en el sitio de la llamada)
+fn offset(val: int, pad: int = 10 * 2) -> int {
+    return val + pad;
+}
+
+// Valor por defecto de tipo struct
+struct Config { debug: bool; }
+fn init(cfg: Config = Config { debug: true }) {
+    if cfg.debug { println "Modo Debug"; }
+}
+
+fn main() {
+    incrementar(10);    // 11
+    offset(5);          // 25
+    init();             // Imprime "Modo Debug"
+}
+```
+
+#### Lambdas (Clausuras)
+Funciones anónimas que pueden capturar su entorno.
+```zc
+let factor = 2;
+let doble = x -> x * factor;  // Sintaxis de flecha
+let completo = fn(x: int) -> int { return x * factor; }; // Sintaxis de bloque
+```
+
+#### Punteros a Funciones Crudos
+Zen C soporta punteros a funciones de C crudos usando la sintaxis `fn*`. Esto permite una interoperabilidad perfecta con bibliotecas de C que esperan punteros a funciones sin la sobrecarga de las clausuras.
+
+```zc
+// Función que recibe un puntero a función crudo
+fn set_callback(cb: fn*(int)) {
+    cb(42);
+}
+
+// Función que retorna un puntero a función crudo
+fn get_callback() -> fn*(int) {
+    return mi_manejador;
+}
+
+// Se soportan punteros a punteros de funciones (fn**)
+let pptr: fn**(int) = &ptr;
+```
+
+#### Funciones Variádicas
+Las funciones pueden aceptar un número variable de argumentos usando `...` y el tipo `va_list`.
+```zc
+fn log(lvl: int, fmt: char*, ...) {
+    let ap: va_list;
+    va_start(ap, fmt);
+    vprintf(fmt, ap); // Usa stdio de C
+    va_end(ap);
+}
+```
+
+### 5. Flujo de Control
+
+#### Condicionales
+```zc
+if x > 10 {
+    print("Grande");
+} else if x > 5 {
+    print("Mediano");
+} else {
+    print("Pequeño");
+}
+
+// Ternario
+let y = x > 10 ? 1 : 0;
+```
+
+#### Coincidencia de Patrones (Pattern Matching)
+Una alternativa potente al `switch`.
+```zc
+match val {
+    1         => { print "Uno" },
+    2 || 3    => { print "Dos o Tres" },      // OR con ||
+    4 or 5    => { print "Cuatro o Cinco" },  // OR con 'or'
+    6, 7, 8   => { print "Seis a Ocho" },     // OR con coma
+    10 .. 15  => { print "10 a 14" },         // Rango exclusivo (Legado)
+    10 ..< 15 => { print "10 a 14" },         // Rango exclusivo (Explícito)
+    20 ..= 25 => { print "20 a 25" },         // Rango inclusivo
+    _         => { print "Otro" },
+}
+
+// Desestructuración de Enums
+match shape {
+    Shape::Circle(r)   => println "Radio: {r}",
+    Shape::Rect(w, h)  => println "Área: {w*h}",
+    Shape::Point       => println "Punto"
+}
+```
+
+#### Vinculación por Referencia (Reference Binding)
+Para inspeccionar un valor sin tomar posesión de él (sin moverlo), usa la palabra clave `ref` en el patrón. Esto es esencial para tipos que implementan la Semántica de Movimiento (como `Option`, `Result`, structs que no son Copy).
+
+```zc
+let opt = Some(ValorNoCopy{...});
+match opt {
+    Some(ref x) => {
+        // 'x' es un puntero al valor dentro de 'opt'
+        // 'opt' NO se mueve ni se consume aquí
+        println "{x.field}"; 
+    },
+    None => {}
+}
+```
+
+#### Bucles
+```zc
+// Rango
+for i in 0..10 { ... }      // Exclusivo (0 al 9)
+for i in 0..<10 { ... }     // Exclusivo (Explícito)
+for i in 0..=10 { ... }     // Inclusivo (0 al 10)
+for i in 0..10 step 2 { ... }
+
+// Iterador (Vec, Array, o Iterable personalizado)
+for item in coleccion { ... }
+
+// While
+while x < 10 { ... }
+
+// Infinito con etiqueta
+externo: loop {
+    if terminado { break externo; }
+}
+
+// Repetir N veces
+for _ in 0..5 { ... }
+```
+
+#### Control Avanzado
+```zc
+// Guard: Ejecuta else y retorna si la condición es falsa
+guard ptr != NULL else { return; }
+
+// Unless: Si no es verdadero
+unless es_valido { return; }
+```
+
+### 6. Operadores
+
+Zen C soporta la sobrecarga de operadores para structs definidos por el usuario implementando nombres de métodos específicos.
+
+#### Operadores Sobrecargables
+
+| Categoría | Operador | Nombre del Método |
+|:---|:---|:---|
+| **Aritméticos** | `+`, `-`, `*`, `/`, `%` | `add`, `sub`, `mul`, `div`, `rem` |
+| **Comparación** | `==`, `!=` | `eq`, `neq` |
+| | `<`, `>`, `<=`, `>=` | `lt`, `gt`, `le`, `ge` |
+| **Bitwise** | `&`, `|`, `^` | `bitand`, `bitor`, `bitxor` |
+| | `<<`, `>>` | `shl`, `shr` |
+| **Unarios** | `-` | `neg` |
+| | `!` | `not` |
+| | `~` | `bitnot` |
+| **Índice** | `a[i]` | `get(a, i)` |
+| | `a[i] = v` | `set(a, i, v)` |
+
+> **Nota sobre la igualdad de cadenas**:
+> - `string == string` realiza una **comparación de valores** (equivalente a `strcmp`).
+> - `char* == char*` realiza una **comparación de punteros** (comprueba direcciones de memoria).
+> - Comparaciones mixtas (ej. `string == char*`) por defecto realizan una **comparación de punteros**.
+
+**Ejemplo:**
+```zc
+impl Point {
+    fn add(self, other: Point) -> Point {
+        return Point{x: self.x + other.x, y: self.y + other.y};
+    }
+}
+
+let p3 = p1 + p2; // Llama a p1.add(p2)
+```
+
+#### Azúcar Sintáctico
+
+Estos operadores son características integradas del lenguaje y no pueden sobrecargarse directamente.
+
+| Operador | Nombre | Descripción |
+|:---|:---|:---|
+| `|>` | Pipeline | `x |> f(y)` se desazucara a `f(x, y)` |
+| `??` | Null Coalescing | `val ?? default` retorna `default` si `val` es NULL (punteros) |
+| `??=` | Null Assignment | `val ??= init` asigna si `val` es NULL |
+| `?.` | Navegación Segura | `ptr?.campo` accede al campo solo si `ptr` no es NULL |
+| `?` | Operador Try | `res?` retorna el error si está presente (tipos Result/Option) |
+
+**Auto-Dereferencia**:
+El acceso a campos por puntero (`ptr.campo`) y las llamadas a métodos (`ptr.metodo()`) dereferencian automáticamente el puntero, equivalente a `(*ptr).campo`.
+
+### 7. Impresión e Interpolación de Cadenas
+
+Zen C proporciona opciones versátiles para imprimir en la consola, incluyendo palabras clave y abreviaturas concisas.
+
+#### Palabras Clave
+
+- `print "texto"`: Imprime en `stdout` sin un salto de línea al final.
+- `println "texto"`: Imprime en `stdout` con un salto de línea al final.
+- `eprint "texto"`: Imprime en `stderr` sin un salto de línea al final.
+- `eprintln "texto"`: Imprime en `stderr` con un salto de línea al final.
+
+#### Abreviaturas
+
+Zen C permite usar literales de cadena directamente como sentencias para una impresión rápida:
+
+- `"Hola Mundo"`: Equivalente a `println "Hola Mundo"`. (Añade salto de línea implícito)
+- `"Hola Mundo"..`: Equivalente a `print "Hola Mundo"`. (Sin salto de línea final)
+- `!"Error"`: Equivalente a `eprintln "Error"`. (Salida a stderr)
+- `!"Error"..`: Equivalente a `eprint "Error"`. (Salida a stderr, sin salto de línea)
+
+#### Interpolación de Cadenas (F-strings)
+
+Puedes embeber expresiones directamente dentro de literales de cadena usando la sintaxis `{}`. Esto funciona con todos los métodos de impresión y abreviaturas de cadena.
+
+```zc
+let x = 42;
+let nombre = "Zen";
+println "Valor: {x}, Nombre: {nombre}";
+"Valor: {x}, Nombre: {nombre}"; // abreviatura println
+```
+
+#### Prompts de Entrada (`?`)
+
+Zen C soporta una abreviatura para solicitar entrada al usuario usando el prefijo `?`.
+
+- `? "Texto del prompt"`: Imprime el prompt (sin salto de línea) y espera la entrada (lee una línea).
+- `? "Ingresa la edad: " (edad)`: Imprime el prompt y escanea la entrada en la variable `edad`.
+    - Los especificadores de formato se infieren automáticamente según el tipo de variable.
+
+```c
+let edad: int;
+? "¿Cuántos años tienes? " (edad);
+println "Tienes {edad} años.";
+```
+
+### 8. Gestión de Memoria
+
+Zen C permite la gestión manual de memoria con ayudas ergonómicas.
+
+#### Defer
+Ejecuta código cuando el ámbito actual finaliza. Las sentencias defer se ejecutan en orden LIFO (último en entrar, primero en salir).
+```zc
+let f = fopen("archivo.txt", "r");
+defer fclose(f);
+```
+
+> Para prevenir comportamientos indefinidos, las sentencias de flujo de control (`return`, `break`, `continue`, `goto`) **no están permitidas** dentro de un bloque `defer`.
+
+#### Autofree
+Libera automáticamente la variable cuando finaliza el ámbito.
+```zc
+autofree let tipos = malloc(1024);
+```
+
+#### Semántica de Recursos (Movimiento por Defecto)
+Zen C trata los tipos con destructores (como `File`, `Vec` o punteros de malloc) como **Recursos**. Para prevenir errores de doble liberación (double-free), los recursos no pueden duplicarse implícitamente.
+
+- **Movimiento por Defecto**: La asignación de una variable de recurso transfiere la posesión. La variable original se vuelve inválida (Movida).
+- **Tipos Copy**: Los tipos sin destructores pueden optar por el comportamiento `Copy`, haciendo que la asignación sea una duplicación.
+
+**Diagnóstico y Filosofía**:
+Si ves un error "Use of moved value", el compilador te está diciendo: *"Este tipo posee un recurso (como memoria o un manejador) y copiarlo a ciegas es inseguro."*
+
+> **Contraste:** A diferencia de C/C++, Zen C no duplica implícitamente los valores que poseen recursos.
+
+**Argumentos de Función**:
+Pasar un valor a una función sigue las mismas reglas que la asignación: los recursos se mueven a menos que se pasen por referencia.
+
+```zc
+fn procesar(r: Recurso) { ... } // 'r' se mueve dentro de la función
+fn mirar(r: Recurso*) { ... }   // 'r' es prestado (referencia)
+```
+
+**Clonación Explícita**:
+Si *realmente* quieres dos copias de un recurso, hazlo explícito:
+
+```zc
+let b = a.clone(); // Llama al método 'clone' del trait Clone
+```
+
+**Optar por Copy (Tipos de Valor)**:
+Para tipos pequeños sin destructores:
+
+```zc
+struct Point { x: int; y: int; }
+impl Copy for Point {} // Optar por la duplicación implícita
+
+fn main() {
+    let p1 = Point { x: 1, y: 2 };
+    let p2 = p1; // Copiado. p1 sigue siendo válido.
+}
+```
+
+#### RAII / Drop Trait
+Implementa `Drop` para ejecutar lógica de limpieza automáticamente.
+```zc
+impl Drop for MiEstructura {
+    fn drop(self) {
+        self.free();
+    }
+}
+```
+
+### 9. Programación Orientada a Objetos
+
+#### Métodos
+Define métodos en los tipos usando `impl`.
+```zc
+impl Point {
+    // Método estático (convención de constructor)
+    fn new(x: int, y: int) -> Self {
+        return Point{x: x, y: y};
+    }
+
+    // Método de instancia
+    fn dist(self) -> float {
+        return sqrt(self.x * self.x + self.y * self.y);
+    }
+}
+```
+
+#### Traits
+Define un comportamiento compartido.
+```zc
+struct Circle { radio: f32; }
+
+trait Dibujable {
+    fn dibujar(self);
+}
+
+impl Dibujable for Circle {
+    fn dibujar(self) { ... }
+}
+
+let circulo = Circle{};
+let dibujable: Dibujable = &circulo;
+```
+
+#### Traits Estándar
+Zen C incluye traits estándar que se integran con la sintaxis del lenguaje.
+
+**Iterable**
+
+Implementa `Iterable<T>` para habilitar bucles `for-in` para tus tipos personalizados.
+
+```zc
+import "std/iter.zc"
+
+// Define un Iterador
+struct MiIter {
+    actual: int;
+    final: int;
+}
+
+impl MiIter {
+    fn next(self) -> Option<int> {
+        if self.actual < self.final {
+            self.actual += 1;
+            return Option<int>::Some(self.actual - 1);
+        }
+        return Option<int>::None();
+    }
+}
+
+// Implementa Iterable
+impl MiRango {
+    fn iterator(self) -> MiIter {
+        return MiIter{actual: self.inicio, final: self.fin};
+    }
+}
+
+// Uso en un Bucle
+for i in mi_rango {
+    println "{i}";
+}
+```
+
+**Drop**
+
+Implementa `Drop` para definir un destructor que se ejecuta cuando el objeto sale de ámbito (RAII).
+
+```zc
+import "std/mem.zc"
+
+struct Recurso {
+    ptr: void*;
+}
+
+impl Drop for Recurso {
+    fn drop(self) {
+        if self.ptr != NULL {
+            free(self.ptr);
+        }
+    }
+}
+```
+
+> **Nota:** Si una variable es movida, no se llama a `drop` en la variable original. Se adhiere a la [Semántica de Recursos](#semántica-de-recursos-movimiento-por-defecto).
+
+**Copy**
+
+Trait marcador para optar por el comportamiento `Copy` (duplicación implícita) en lugar de la semántica de movimiento. Se usa mediante `@derive(Copy)`.
+
+> **Regla:** Los tipos que implementan `Copy` no deben definir un destructor (`Drop`).
+
+```zc
+@derive(Copy)
+struct Point { x: int; y: int; }
+
+fn main() {
+    let p1 = Point{x: 1, y: 2};
+    let p2 = p1; // ¡Copiado! p1 sigue siendo válido.
+}
+```
+
+**Clone**
+
+Implementa `Clone` para permitir la duplicación explícita de tipos que poseen recursos.
+
+```zc
+import "std/mem.zc"
+
+struct MiBox { val: int; }
+
+impl Clone for MiBox {
+    fn clone(self) -> MiBox {
+        return MiBox{val: self.val};
+    }
+}
+
+fn main() {
+    let b1 = MiBox{val: 42};
+    let b2 = b1.clone(); // Copia explícita
+}
+```
+
+#### Composición
+Usa `use` para embeber otros structs. Puedes mezclarlos (aplanar campos) o nombrarlos (anidar campos).
+
+```zc
+struct Entity { id: int; }
+
+struct Player {
+    // Mezcla (Mixin - Sin nombre): Aplana los campos
+    use Entity;  // Añade 'id' a Player directamente
+    nombre: string;
+}
+
+struct Match {
+    // Composición (Con nombre): Anida los campos
+    use p1: Player; // Accedido mediante match.p1
+    use p2: Player; // Accedido mediante match.p2
+}
+```
+
+### 10. Genéricos
+
+Plantillas seguras para tipos para Structs y Funciones.
+
+```zc
+// Struct Genérico
+struct Box<T> {
+    item: T;
+}
+
+// Función Genérica
+fn identidad<T>(val: T) -> T {
+    return val;
+}
+
+// Genéricos con múltiples parámetros
+struct Par<K, V> {
+    llave: K;
+    valor: V;
+}
+```
+
+### 11. Concurrencia (Async/Await)
+
+Construido sobre pthreads.
+
+```zc
+async fn obtener_datos() -> string {
+    // Se ejecuta en segundo plano
+    return "Datos";
+}
+
+fn main() {
+    let futuro = obtener_datos();
+    let resultado = await futuro;
+}
+```
+
+### 12. Metaprogramación
+
+#### Comptime
+Ejecuta código en tiempo de compilación para generar código fuente o imprimir mensajes.
+```zc
+comptime {
+    // Genera código en tiempo de compilación (escrito en stdout)
+    println "let fecha_compilacion = \"2024-01-01\";";
+}
+
+println "Fecha de compilación: {fecha_compilacion}";
+```
+
+#### Embed
+Embebe archivos como los tipos especificados.
+```zc
+// Por defecto (Slice_char)
+let datos = embed "assets/logo.png";
+
+// Embed tipado
+let texto = embed "shader.glsl" as string;    // Embebe como C-string
+let rom   = embed "bios.bin" as u8[1024];     // Embebe como array fijo
+let wav   = embed "sound.wav" as u8[];        // Embebe como Slice_u8
+```
+
+#### Plugins
+Importa plugins del compilador para extender la sintaxis.
+```zc
+import plugin "regex"
+let re = regex! { ^[a-z]+$ };
+```
+
+#### Macros de C Genéricas
+Pasa macros del preprocesador directamente a C.
+
+> **Consejo**: Para constantes simples, usa `def` en su lugar. Usa `#define` cuando necesites macros del preprocesador de C o flags de compilación condicional.
+
+```zc
+#define MAX_BUFFER 1024
+```
+
+### 13. Atributos
+
+Decora funciones y structs para modificar el comportamiento del compilador.
+
+| Atributo | Ámbito | Descripción |
+|:---|:---|:---|
+| `@must_use` | Fn | Advierte si el valor de retorno es ignorado. |
+| `@deprecated("msg")` | Fn/Struct | Advierte sobre el uso con un mensaje. |
+| `@inline` | Fn | Sugiere al compilador hacer inlininig. |
+| `@noinline` | Fn | Previene el inlining. |
+| `@packed` | Struct | Elimina el padding entre campos. |
+| `@align(N)` | Struct | Fuerza el alineamiento a N bytes. |
+| `@constructor` | Fn | Se ejecuta antes de main. |
+| `@destructor` | Fn | Se ejecuta después de que main termine. |
+| `@unused` | Fn/Var | Suprime advertencias de variables no usadas. |
+| `@weak` | Fn | Enlace de símbolo débil (weak symbol linkage). |
+| `@section("nombre")` | Fn | Coloca el código en una sección específica. |
+| `@noreturn` | Fn | La función no retorna (ej. exit). |
+| `@pure` | Fn | La función no tiene efectos secundarios (sugestión de optimización). |
+| `@cold` | Fn | Es poco probable que la función se ejecute (sugestión de predicción de saltos). |
+| `@hot` | Fn | La función se ejecuta frecuentemente (sugestión de optimización). |
+| `@export` | Fn/Struct | Exporta el símbolo (visibilidad por defecto). |
+| `@global` | Fn | CUDA: Punto de entrada del kernel (`__global__`). |
+| `@device` | Fn | CUDA: Función de dispositivo (`__device__`). |
+| `@host` | Fn | CUDA: Función de host (`__host__`). |
+| `@comptime` | Fn | Función auxiliar disponible para ejecución en tiempo de compilación. |
+| `@derive(...)` | Struct | Implementa traits automáticamente. Soporta `Debug`, `Eq` (Derivación Inteligente), `Copy`, `Clone`. |
+| `@<custom>` | Cualquier | Pasa atributos genéricos a C (ej. `@flatten`, `@alias("nombre")`). |
+
+#### Atributos Personalizados
+
+Zen C soporta un potente sistema de **Atributos Personalizados** que te permite usar cualquier `__attribute__` de GCC/Clang directamente en tu código. Cualquier atributo que no sea reconocido explícitamente por el compilador de Zen C es tratado como un atributo genérico y se pasa al código C generado.
+
+Esto proporciona acceso a características avanzadas del compilador, optimizaciones y directivas del enlazador sin necesidad de soporte explícito en el núcleo del lenguaje.
+
+#### Mapeo de Sintaxis
+Los atributos de Zen C se mapean directamente a atributos de C:
+- `@nombre` → `__attribute__((nombre))`
+- `@nombre(args)` → `__attribute__((nombre(args)))`
+- `@nombre("string")` → `__attribute__((nombre("string")))`
+
+#### Derivaciones Inteligentes
+
+Zen C proporciona "Derivaciones Inteligentes" que respetan la Semántica de Movimiento:
+
+- **`@derive(Eq)`**: Genera un método de igualdad que recibe los argumentos por referencia (`fn eq(self, other: T*)`).
+    - Al comparar dos structs que no son Copy (`a == b`), el compilador pasa automáticamente `b` por referencia (`&b`) para evitar moverlo.
+    - Las comprobaciones de igualdad recursivas en los campos también prefieren el acceso por puntero para prevenir la transferencia de posesión.
+
+### 14. Ensamblador Inline
+
+Zen C proporciona soporte de primera clase para ensamblador inline, transpilando directamente a `asm` extendido de estilo GCC.
+
+#### Uso Básico
+Escribe ensamblador crudo dentro de bloques `asm`. Las cadenas se concatenan automáticamente.
+```zc
+asm {
+    "nop"
+    "mfence"
+}
+```
+
+#### Volatile
+Previene que el compilador optimice y elimine el ensamblador que tiene efectos secundarios.
+```zc
+asm volatile {
+    "rdtsc"
+}
+```
+
+#### Restricciones con Nombre
+Zen C simplifica la compleja sintaxis de restricciones de GCC con vinculaciones con nombre.
+
+```zc
+// Sintaxis: : out(variable) : in(variable) : clobber(reg)
+// Usa la sintaxis de marcador de posición {variable} para legibilidad
+
+fn sumar(a: int, b: int) -> int {
+    let resultado: int;
+    asm {
+        "add {resultado}, {a}, {b}"
+        : out(resultado)
+        : in(a), in(b)
+        : clobber("cc")
+    }
+    return resultado;
+}
+```
+
+| Tipo | Sintaxis | Equivalente GCC |
+|:---|:---|:---|
+| **Salida** | `: out(variable)` | `"=r"(variable)` |
+| **Entrada** | `: in(variable)` | `"r"(variable)` |
+| **Clobber** | `: clobber("rax")` | `"rax"` |
+| **Memoria** | `: clobber("memory")` | `"memory"` |
+
+> **Nota:** Cuando uses la sintaxis de Intel (mediante `-masm=intel`), debes asegurarte de que tu construcción esté configurada correctamente (por ejemplo, `//> cflags: -masm=intel`). TCC no soporta el ensamblador con sintaxis Intel.
+
+### 15. Directivas de Construcción
+
+Zen C soporta comentarios especiales en la parte superior de tu archivo fuente para configurar el proceso de construcción sin necesidad de un complejo sistema de construcción o Makefile.
+
+| Directiva | Argumentos | Descripción |
+|:---|:---|:---|
+| `//> link:` | `-lfoo` o `ruta/a/lib.a` | Enlaza contra una biblioteca o archivo objeto. |
+| `//> lib:` | `ruta/a/libs` | Añade una ruta de búsqueda de biblioteca (`-L`). |
+| `//> include:` | `ruta/a/headers` | Añade una ruta de búsqueda de cabeceras (`-I`). |
+| `//> framework:` | `Cocoa` | Enlaza contra un framework de macOS. |
+| `//> cflags:` | `-Wall -O3` | Pasa flags arbitrarios al compilador de C. |
+| `//> define:` | `MACRO` o `LLAVE=VAL` | Define una macro del preprocesador (`-D`). |
+| `//> pkg-config:` | `gtk+-3.0` | Ejecuta `pkg-config` y añade `--cflags` y `--libs`. |
+| `//> shell:` | `comando` | Ejecuta un comando de shell durante la construcción. |
+| `//> get:` | `http://url/archivo` | Descarga un archivo si el archivo específico no existe. |
+
+#### Características
+
+**1. Protección de SO (OS Guarding)**
+Prefija las directivas con el nombre de un SO para aplicarlas solo en plataformas específicas.
+Prefijos soportados: `linux:`, `windows:`, `macos:` (o `darwin:`).
+
+```zc
+//> linux: link: -lm
+//> windows: link: -lws2_32
+//> macos: framework: Cocoa
+```
+
+**2. Expansión de Variables de Entorno**
+Usa la sintaxis `${VAR}` para expandir variables de entorno en tus directivas.
+
+```zc
+//> include: ${HOME}/mylib/include
+//> lib: ${ZC_ROOT}/std
+```
+
+#### Ejemplos
+
+```zc
+//> include: ./include
+//> lib: ./libs
+//> link: -lraylib -lm
+//> cflags: -Ofast
+//> pkg-config: gtk+-3.0
+
+import "raylib.h"
+
+fn main() { ... }
+```
+
+### 16. Palabras Clave
+
+Las siguientes palabras clave están reservadas en Zen C.
+
+#### Declaraciones
+`alias`, `def`, `enum`, `fn`, `impl`, `import`, `let`, `module`, `opaque`, `struct`, `trait`, `union`, `use`
+
+#### Flujo de Control
+`async`, `await`, `break`, `catch`, `continue`, `defer`, `else`, `for`, `goto`, `guard`, `if`, `loop`, `match`, `return`, `try`, `unless`, `while`
+
+#### Especiales
+`asm`, `assert`, `autofree`, `comptime`, `const`, `embed`, `launch`, `ref`, `sizeof`, `static`, `test`, `volatile`
+
+#### Constantes
+`true`, `false`, `null`
+
+#### Reservadas de C
+Los siguientes identificadores están reservados porque son palabras clave en C11:
+`auto`, `case`, `char`, `default`, `do`, `double`, `extern`, `float`, `inline`, `int`, `long`, `register`, `restrict`, `short`, `signed`, `switch`, `typedef`, `unsigned`, `void`, `_Atomic`, `_Bool`, `_Complex`, `_Generic`, `_Imaginary`, `_Noreturn`, `_Static_assert`, `_Thread_local`
+
+#### Operadores
+`and`, `or`
+
+---
+
+## Biblioteca Estándar
+
+Zen C incluye una biblioteca estándar (`std`) que cubre las funcionalidades esenciales.
+
+[Explorar la Documentación de la Biblioteca Estándar](docs/std/README.md)
+
+### Módulos Clave
+
+| Módulo | Descripción | Docs |
+| :--- | :--- | :--- |
+| **`std/vec.zc`** | Array dinámico creíble `Vec<T>`. | [Docs](docs/std/vec.md) |
+| **`std/string.zc`** | Tipo `String` asignado en el heap con soporte UTF-8. | [Docs](docs/std/string.md) |
+| **`std/queue.zc`** | Cola FIFO (Ring Buffer). | [Docs](docs/std/queue.md) |
+| **`std/map.zc`** | Mapa Hash Genérico `Map<V>`. | [Docs](docs/std/map.md) |
+| **`std/fs.zc`** | Operaciones del sistema de archivos. | [Docs](docs/std/fs.md) |
+| **`std/io.zc`** | Entrada/Salida estándar (`print`/`println`). | [Docs](docs/std/io.md) |
+| **`std/option.zc`** | Valores opcionales (`Some`/`None`). | [Docs](docs/std/option.md) |
+| **`std/result.zc`** | Gestión de errores (`Ok`/`Err`). | [Docs](docs/std/result.md) |
+| **`std/path.zc`** | Manipulación de rutas multiplataforma. | [Docs](docs/std/path.md) |
+| **`std/env.zc`** | Variables de entorno del proceso. | [Docs](docs/std/env.md) |
+| **`std/net.zc`** | Redes TCP (Sockets). | [Docs](docs/std/net.md) |
+| **`std/thread.zc`** | Hilos y Sincronización. | [Docs](docs/std/thread.md) |
+| **`std/time.zc`** | Medición de tiempo y espera (sleep). | [Docs](docs/std/time.md) |
+| **`std/json.zc`** | Parseo y serialización de JSON. | [Docs](docs/std/json.md) |
+| **`std/stack.zc`** | Pila LIFO `Stack<T>`. | [Docs](docs/std/stack.md) |
+| **`std/set.zc`** | Conjunto Hash Genérico `Set<T>`. | [Docs](docs/std/set.md) |
+
+---
+
+## Herramientas
+
+Zen C proporciona un Servidor de Lenguaje y un REPL integrados para mejorar la experiencia de desarrollo.
+
+### Servidor de Lenguaje (LSP)
+
+El Servidor de Lenguaje de Zen C (LSP) soporta las características estándar de LSP para integración con editores, proporcionando:
+
+*   **Ir a la Definición**
+*   **Encontrar Referencias**
+*   **Información al pasar el ratón (Hover)**
+*   **Autocompletado** (Nombres de funciones/structs, autocompletado tras punto para métodos/campos)
+*   **Símbolos del Documento** (Esquema)
+*   **Ayuda de Firma**
+*   **Diagnósticos** (Errores sintácticos/semánticos)
+
+Para iniciar el servidor de lenguaje (normalmente configurado en los ajustes de LSP de tu editor):
+
+```bash
+zc lsp
+```
+
+Se comunica mediante I/O estándar (JSON-RPC 2.0).
+
+### REPL
+
+El bucle Read-Eval-Print te permite experimentar con el código de Zen C de forma interactiva.
+
+```bash
+zc repl
+```
+
+#### Características
+
+*   **Codificación Interactiva**: Escribe expresiones o sentencias para su evaluación inmediata.
+*   **Historial Persistente**: Los comandos se guardan en `~/.zprep_history`.
+*   **Script de Inicio**: Carga automáticamente comandos desde `~/.zprep_init.zc`.
+
+#### Comandos
+
+| Comando | Descripción |
+|:---|:---|
+| `:help` | Muestra los comandos disponibles. |
+| `:reset` | Limpia el historial de la sesión actual (variables/funciones). |
+| `:vars` | Muestra las variables activas. |
+| `:funcs` | Muestra las funciones definidas por el usuario. |
+| `:structs` | Muestra los structs definidos por el usuario. |
+| `:imports` | Muestra las importaciones activas. |
+| `:history` | Muestra el historial de entrada de la sesión. |
+| `:type <expr>` | Muestra el tipo de una expresión. |
+| `:c <stmt>` | Muestra el código C generado para una sentencia. |
+| `:time <expr>` | Benchmark de una expresión (ejecuta 1000 iteraciones). |
+| `:edit [n]` | Edita el comando `n` (por defecto: el último) en `$EDITOR`. |
+| `:save <file>` | Guarda la sesión actual en un archivo `.zc`. |
+| `:load <file>` | Carga y ejecuta un archivo `.zc` en la sesión. |
+| `:watch <expr>` | Observa una expresión (se revalúa tras cada entrada). |
+| `:unwatch <n>` | Elimina una observación. |
+| `:undo` | Elimina el último comando de la sesión. |
+| `:delete <n>` | Elimina el comando en el índice `n`. |
+| `:clear` | Limpia la pantalla. |
+| `:quit` | Sale del REPL. |
+| `! <cmd>` | Ejecuta un comando de shell (ej. `!ls`). |
+
+---
+
+
+## Soporte del Compilador y Compatibilidad
+
+Zen C está diseñado para funcionar con la mayoría de los compiladores C11. Algunas características dependen de extensiones de GNU C, pero estas suelen funcionar en otros compiladores. Usa la flag `--cc` para cambiar de backend.
+
+```bash
+zc run app.zc --cc clang
+zc run app.zc --cc zig
+```
+
+### Estado de la Suite de Pruebas
+
+| Compilador | Tasa de Acierto | Características Soportadas | Limitaciones Conocidas |
+|:---|:---:|:---|:---|
+| **GCC** | **100%** | Todas las Características | Ninguna. |
+| **Clang** | **100%** | Todas las Características | Ninguna. |
+| **Zig** | **100%** | Todas las Características | Ninguna. Usa `zig cc` como reemplazo directo del compilador C. |
+| **TCC** | **~70%** | Sintaxis Básica, Genéricos, Traits | Sin `__auto_type`, Sin ASM Intel, Sin funciones anidadas. |
+
+> **Recomendación:** Usa **GCC**, **Clang** o **Zig** para construcciones de producción. TCC es excelente para el prototipado rápido debido a su velocidad de compilación, pero le faltan algunas extensiones de C avanzadas en las que confía Zen C para el soporte total de características.
+
+### Construyendo con Zig
+
+El comando `zig cc` de Zig proporciona un reemplazo directo para GCC/Clang con un excelente soporte de compilación cruzada (cross-compilation). Para usar Zig:
+
+```bash
+# Compilar y ejecutar un programa Zen C con Zig
+zc run app.zc --cc zig
+
+# Construir el propio compilador Zen C con Zig
+make zig
+```
+
+### Interop con C++
+
+Zen C puede generar código compatible con C++ con la flag `--cpp`, permitiendo una integración perfecta con bibliotecas de C++.
+
+```bash
+# Compilación directa con g++
+zc app.zc --cpp
+
+# O transpilar para construcción manual
+zc transpile app.zc --cpp
+g++ out.c mi_lib_cpp.o -o app
+```
+
+#### Usando C++ en Zen C
+
+Incluye cabeceras de C++ y usa bloques `raw` para el código C++:
+
+```zc
+include <vector>
+include <iostream>
+
+raw {
+    std::vector<int> hacer_vec(int a, int b) {
+        return {a, b};
+    }
+}
+
+fn main() {
+    let v = hacer_vec(1, 2);
+    raw { std::cout << "Tamaño: " << v.size() << std::endl; }
+}
+```
+
+> **Nota:** La flag `--cpp` cambia el backend a `g++` y emite código compatible con C++ (usa `auto` en lugar de `__auto_type`, sobrecarga de funciones en lugar de `_Generic`, y casts explícitos para `void*`).
+
+#### Interop con CUDA
+
+Zen C soporta la programación de GPU transpilando a **CUDA C++**. Esto te permite aprovechar las potentes características de C++ (plantillas, constexpr) dentro de tus kernels mientras mantienes la sintaxis ergonómica de Zen C.
+
+```bash
+# Compilación directa con nvcc
+zc run app.zc --cuda
+
+# O transpilar para construcción manual
+zc transpile app.zc --cuda -o app.cu
+nvcc app.cu -o app
+```
+
+#### Atributos Específicos de CUDA
+
+| Atributo | Equivalente CUDA | Descripción |
+|:---|:---|:---|
+| `@global` | `__global__` | Función de kernel (se ejecuta en GPU, se llama desde el host) |
+| `@device` | `__device__` | Función de dispositivo (se ejecuta en GPU, se llama desde GPU) |
+| `@host` | `__host__` | Función de host (explícitamente solo CPU) |
+
+#### Sintaxis de Lanzamiento de Kernel
+
+Zen C proporciona una sentencia `launch` limpia para invocar kernels de CUDA:
+
+```zc
+launch nombre_del_kernel(args) with {
+    grid: num_bloques,
+    block: hilos_por_bloque,
+    shared_mem: 1024,  // Opcional
+    stream: mi_stream   // Opcional
+};
+```
+
+Esto se transpila a: `nombre_del_kernel<<<grid, bloque, compartido, stream>>>(args);`
+
+#### Escribiendo Kernels de CUDA
+
+Usa la sintaxis de funciones de Zen C con `@global` y la sentencia `launch`:
+
+```zc
+import "std/cuda.zc"
+
+@global
+fn kernel_suma(a: float*, b: float*, c: float*, n: int) {
+    let i = thread_id();
+    if i < n {
+        c[i] = a[i] + b[i];
+    }
+}
+
+fn main() {
+    def N = 1024;
+    let d_a = cuda_alloc<float>(N);
+    let d_b = cuda_alloc<float>(N); 
+    let d_c = cuda_alloc<float>(N);
+    defer cuda_free(d_a);
+    defer cuda_free(d_b);
+    defer cuda_free(d_c);
+
+    // ... inicialización de datos ...
+    
+    launch kernel_suma(d_a, d_b, d_c, N) with {
+        grid: (N + 255) / 256,
+        block: 256
+    };
+    
+    cuda_sync();
+}
+```
+
+#### Biblioteca Estándar (`std/cuda.zc`)
+Zen C proporciona una biblioteca estándar para operaciones comunes de CUDA para reducir los bloques `raw`:
+
+```zc
+import "std/cuda.zc"
+
+// Gestión de memoria
+let d_ptr = cuda_alloc<float>(1024);
+cuda_copy_to_device(d_ptr, h_ptr, 1024 * sizeof(float));
+defer cuda_free(d_ptr);
+
+// Sincronización
+cuda_sync();
+
+// Indexación de hilos (usar dentro de kernels)
+let i = thread_id(); // Índice global
+let bid = block_id();
+let tid = local_id();
+```
+
+
+> **Nota:** La flag `--cuda` establece `nvcc` como el compilador e implica el modo `--cpp`. Requiere el NVIDIA CUDA Toolkit.
+
+### Interop con Objective-C
+
+Zen C puede compilarse a Objective-C (`.m`) usando la flag `--objc`, permitiéndote usar frameworks de Objective-C (como Cocoa/Foundation) y su sintaxis.
+
+```bash
+# Compilar con clang (o gcc/gnustep)
+zc app.zc --objc --cc clang
+```
+
+#### Usando Objective-C en Zen C
+
+Usa `include` para las cabeceras y bloques `raw` para la sintaxis de Objective-C (`@interface`, `[...]`, `@""`).
+
+```zc
+//> macos: framework: Foundation
+//> linux: cflags: -fconstant-string-class=NSConstantString -D_NATIVE_OBJC_EXCEPTIONS
+//> linux: link: -lgnustep-base -lobjc
+
+include <Foundation/Foundation.h>
+
+fn main() {
+    raw {
+        NSAutoreleasePool *pool = [[NSAutoreleasePool alloc] init];
+        NSLog(@"¡Hola desde Objective-C!");
+        [pool drain];
+    }
+    println "¡Zen C también funciona!";
+}
+```
+
+> **Nota:** La interpolación de cadenas de Zen C funciona con objetos de Objective-C (`id`) llamando a `debugDescription` o `description`.
+
+---
+
+## Contribuyendo
+
+¡Damos la bienvenida a las contribuciones! Ya sea corrigiendo errores, añadiendo documentación o proponiendo nuevas características.
+
+### Cómo Contribuir
+1.  **Haz un Fork del Repositorio**: flujo de trabajo estándar de GitHub.
+2.  **Crea una Rama de Característica**: `git checkout -b feature/NuevaCosa`.
+3.  **Guías de Código**:
+    *   Sigue el estilo de C existente.
+    *   Asegúrate de que todas las pruebas pasen: `make test`.
+    *   Añade nuevas pruebas para tu característica en `tests/`.
+4.  **Envía un Pull Request**: Describe tus cambios claramente.
+
+### Ejecutando Pruebas
+La suite de pruebas es tu mejor amiga.
+
+```bash
+# Ejecutar todas las pruebas (GCC)
+make test
+
+# Ejecutar una prueba específica
+./zc run tests/test_match.zc
+
+# Ejecutar con un compilador diferente
+./tests/run_tests.sh --cc clang
+./tests/run_tests.sh --cc zig
+./tests/run_tests.sh --cc tcc
+```
+
+### Extendiendo el Compilador
+*   **Parser**: `src/parser/` - Parser de descenso recursivo.
+*   **Codegen**: `src/codegen/` - Lógica del transpilador (Zen C -> GNU C/C11).
+*   **Biblioteca Estándar**: `std/` - Escrita en el propio Zen C.
+
+---
+
+## Atribuciones
+
+Este proyecto utiliza bibliotecas de terceros. Los textos completos de las licencias pueden encontrarse en el directorio `LICENSES/`.
+
+*   **[cJSON](https://github.com/DaveGamble/cJSON)** (Licencia MIT): Usado para el parseo y generación de JSON en el Servidor de Lenguaje.
+*   **[zc-ape](https://github.com/OEvgeny/zc-ape)** (Licencia MIT): El port original de Ejecutable Realmente Portable de Zen-C por [Eugene Olonov](https://github.com/OEvgeny).
+*   **[Cosmopolitan Libc](https://github.com/jart/cosmopolitan)** (Licencia ISC): La biblioteca fundamental que hace posible APE.