[Grading] Team: Adriana, Kelen & Carlos

[CMazorra]

Repository URL

https://github.com/abg555/HULK

Branch

dev

Team Members

Adriana Boué García
Kelen Alfaro García
Carlos Mazorra Matos

Features Implemented

• Minimal requirements: expressions, functions, variables, conditionals, loops
• Type system and type checking (with explicit and inferred annotations)
• OOP: classes, inheritance, polymorphism, is/as
• Iterables / for loops
• Vectors / arrays
• Protocols
• Functors (first-class functions)
• Macros

[github-actions]

⏳ HULK Grading running on https://github.com/abg555/HULK @ branch dev...

[github-actions]

⏳ HULK Grading running on https://github.com/abg555/HULK @ branch dev...

[github-actions]

🤖 HULK Grading Report — 2026-06-22 01:28 UTC

Repo: https://github.com/abg555/HULK

📦 Build

❌ Build failed

Build log (last 25 lines)

make: *** No rule to make target 'build'.  Stop.

ERROR: ./hulk binary not found after make build.
Make sure your Makefile produces ./hulk in the repo root.

Fix build errors and comment /regrade to re-run.

[github-actions]

🤖 HULK Grading Report — 2026-06-22 01:28 UTC

Repo: https://github.com/abg555/HULK

📦 Build

❌ Build failed

Build log (last 25 lines)

make: *** No rule to make target 'build'.  Stop.

ERROR: ./hulk binary not found after make build.
Make sure your Makefile produces ./hulk in the repo root.

Fix build errors and comment /regrade to re-run.

[CMazorra]

/regrade

[github-actions]

⏳ HULK Grading running on https://github.com/abg555/HULK @ branch main...

[github-actions]

🤖 HULK Grading Report — 2026-06-22 02:51 UTC

Repo: https://github.com/abg555/HULK

📦 Build

✅ Build successful

📄 Report

✅ REPORT.md found (10,134 words)

🧪 Tests

Category	Passed	Total	Status
ok/minimal	20	20	✅
ok/types	10	10	✅
ok/oop	10	10	✅
errors/lexical	6	6	✅
errors/syntactic	10	10	✅
errors/semantic	15	15	✅
ok/extras	10	10	➖

🔖 Status

✅ Ready for review. All required tests pass and REPORT.md is present.

[perezcam]

/regrade

[KAGmay05]

/regrade

[CMazorra]

/regrade

[github-actions]

⏳ HULK Grading running on https://github.com/abg555/HULK @ branch dev...

[github-actions]

🤖 HULK Grading Report — 2026-06-24 01:34 UTC

Repo: https://github.com/abg555/HULK

📦 Build

✅ Build successful

📄 Report

✅ REPORT.md found (10,134 words)

🧪 Tests

Category	Passed	Total	Status
ok/minimal	20	20	✅
ok/types	10	10	✅
ok/oop	10	10	✅
errors/lexical	6	6	✅
errors/syntactic	10	10	✅
errors/semantic	15	15	✅
ok/extras	10	10	➖

🔖 Status

✅ Ready for review. All required tests pass and REPORT.md is present.

[apiad]

📋 Reporte técnico detallado

🔍 Evaluación Automática — Claude Code

Repositorio: https://github.com/abg555/HULK | Rama: dev | Tests: 2026-06-24

Arquitectura del Compilador

Compilador escrito en Rust 2024 con una arquitectura clásica de múltiples fases:

• Lexer: logos 0.16.0 (generación de escáner por macros derive).
• Parser: lalrpop-util 0.20 con gramática LALR(1) en src/parser.lalrpop (536 líneas, ~120 producciones).
• Semántico: analizador propio en src/semantic/ (mod.rs ~1164 líneas) con inferencia estilo Hindley-Milner ligera, resolución de protocolos estructurales y desugarizado de functores.
• Codegen: inkwell 0.4 (bindings de LLVM 16) que emite IR en src/code_gen/.
• Linkeo: invoca clang externamente (main.rs:234) para producir el ejecutable final.

El pipeline (main.rs) hace un preprocesado textual, lex, parse, ejecuta el análisis semántico dos veces (antes y después del desugar de functores), corre la expansión de macros y emite IR + ejecutable.

Resultados de Tests

Verificados localmente el 2026-07-02 (con clang-18 en PATH mediante symlink):

• Obligatorios: 71/71 ✅
• Extras/bonus: 44/44 ✅
• Total: 115/115

Coincide con lo reportado en la Issue #42 (aunque la Issue menciona "10/10 extras" y la suite real tiene 44 tests bonus, todos aprobados).

Lo que el Compilador Implementa

• Todos los tipos primitivos: Number, String, Boolean con operadores aritméticos, lógicos, comparación e igualdad.
• Concatenación con @ (sin espacio) y @@ (con espacio).
• Control de flujo: if/elif/else, while, for (desugarizado a while con iteradores).
• let ... in ... con múltiples bindings y shadowing.
• Bloques delimitados por { } y ;.
• OOP completo: type con herencia (inherits), self, base(...), métodos, atributos, downcasting con is / as usando comparación de type_id en vtable.
• Protocolos estructurales con implementación implícita basada en firma de métodos.
• Vectores: literales [a, b, c], comprensiones [x^2 || x in iter], indexación v[i], iteración con for.
• Iterables (Iterable protocol con next() y current()) instalado en el prelude.
• Lambdas / functores: function(x: T): T -> body. El semantic las desugariza a tipos sintéticos _FunctorN con método invoke (functor_desugar.rs, ~781 líneas).
• Closures: struct %ClosureStruct = { i8* fn_ptr, i8* env_ptr } con thunk generado y captura en env heap.
• Macros higiénicas: tokens def/define, parámetros $name, @name (bloque), placeholders, expansión con renombrado (fresh_name) en macro_expander.rs.
• Prelude: print, range, sqrt, sin, cos, exp, log, rand, constantes PI, E.
• Import (soporta múltiples módulos vía identificadores simples).

Discrepancias entre Reporte y Código

El REPORT.md (980 líneas) tiene 6 divergencias respecto al código real:

1. Nombres de runtime inventados (§7.8): menciona hulk_alloc, hulk_num_to_str, hulk_bool_to_str, hulk_vector_create/push/get. Ninguna existe. El runtime real (runtime.rs, 77 líneas) sólo expone 5 símbolos: hulk_concat, hulk_concat_full, hulk_rand, hulk_format_number, hulk_panic.
2. Sintaxis de lambda incorrecta (§8.1): el reporte usa => cuando la gramática real (parser.lalrpop:257) exige function(...) -> expr.
3. Sintaxis de macros incorrecta (§8.3): el reporte muestra el sigilo ! que no existe. La invocación real detecta macros por argumentos marcados con @/$.
4. Sintaxis de import incorrecta (§8.5): el reporte usa string literal + ;; la gramática real es import <id> sin terminador (parser.lalrpop:124).
5. Bounds check ausente: §7.16 afirma que lower_index emite comprobación de rangos en runtime. El código en code_gen/expr/arrays.rs no la genera.
6. Confusión entre @ y @@: el reporte trata @@ como error sintáctico cuando en realidad es concatenación-con-espacio válida (definida como token en lexer.rs).

Features Opcionales

Todas las categorías declaradas están implementadas y verificables en el código:

Feature	Estado	Evidencia principal
Minimal	✅	Todos los tests base
Types (OOP)	✅	code_gen/expr/objects.rs con vtables y downcast
is / as	✅	Comparación de type_id (objects.rs:12-200)
Iterables	✅	Protocolo Iterable en prelude + desugar de for
Vectores	✅	%VectorStruct + comprensiones
Protocolos	✅	Resolución estructural en semantic
Functores	✅	functor_desugar.rs genera _FunctorN wrappers
Macros	✅	macro_expander.rs con higiene por fresh_name

Diagnóstico de Fallas Principales

No hay fallas funcionales: todo el suite pasa. Los puntos débiles son de calidad/robustez:

• Deriva de documentación: REPORT.md no fue actualizado tras cambios en gramática y runtime; ~6 divergencias verificables.
• Sin verificación de rangos: acceso a vectores fuera de rango es UB (LLVM getelementptr sin comprobar).
• Sin GC: todas las asignaciones vía malloc sin liberación. Aceptable para el alcance del curso pero relevante para programas largos.
• hulk_rand no es RNG real: usa un generador lineal simple (runtime.rs), no rand() de libc.
• Doble pasada semántica: el pipeline corre SemanticAnalyzer antes y después del functor-desugar (main.rs), lo que duplica trabajo y puede enmascarar errores intermedios.
• Preprocesado textual frágil: preprocessor.rs (661 líneas) hace normalizaciones sobre el texto crudo (por ejemplo {...} → [...] para inicializadores de arrays, | → || en comprensiones) que podrían interferir con literales.

Conclusión

Implementación robusta y completa que aprueba 115/115 tests (71 obligatorios + 44 bonus). La arquitectura es limpia, con separación clara de fases, uso idiomático de logos/lalrpop/inkwell, y todas las features opcionales están presentes y funcionales. El desugar de functores hacia protocolos sintéticos es una elección de diseño elegante que unifica el sistema de tipos.

El punto débil principal es la deriva del REPORT.md respecto al código: la documentación describe una sintaxis y un runtime que no corresponden al compilador entregado. Segundo, la ausencia de bounds checking en vectores. Ambos problemas son de fácil corrección y no afectan la calificación funcional.