DEV Community: Jacob Palomo

Detén la erosión de tipos: Construí Any-Hunter, un auditor de salud de tipos para TypeScript 🎯

Jacob Palomo — Tue, 01 Sep 2026 14:00:00 +0000

Casi todos los desarrolladores de TypeScript han vivido esta historia: inicias un repositorio con strict: true y tipado riguroso. Meses después, por prisas de entrega o librerías externas sin tipos, el código comienza a llenarse de as any, @ts-ignore, operadores ! y llamadas a JSON.parse sin validar.

El proyecto compila sin errores, pero la seguridad en tiempo de ejecución se degrada. Este fenómeno se conoce como erosión de tipos.

Para solucionar esto construí Any-Hunter — una herramienta CLI, API programática y GitHub Action con cero dependencias que audita tu repositorio y calcula un Type-Health Score (0–100) en tiempo real.

🔍 ¿En qué se diferencia de un linter tradicional?

Mientras que herramientas como ESLint reportan listas de errores de sintaxis, Any-Hunter evalúa la salud de tipos como una métrica de calidad:

Métrica Cuantificable: Proporciona un puntaje claro (ej: Score: 89/100) para establecer compuertas de calidad (quality gates) mínimas en CI/CD (--threshold=85).
Auditoría Semántica con TypeChecker: Utiliza el motor del compilador de TypeScript para cazar el "Any Invisible" (variables que heredan any implícitamente de APIs externas o JSON.parse).
Severidad Ponderada: Un any en una variable local resta 2 puntos, pero un parámetro envenenado (fn(data: any)) o una fuga de retorno penalizan con 5 puntos debido a la contaminación del resto del scope.
Soporte Nativo SARIF y GitHub: Genera reportes visuales en los Step Summaries de GitHub Actions y archivos SARIF estándar para la pestaña Security > Code scanning.

⚡ Uso Rápido

Genera el archivo de configuración base:

npx any-hunter --init

Audita tu proyecto localmente:

npx any-hunter ./tsconfig.json --threshold=85

🧠 Cacería Profunda en el AST

Any-Hunter inspecciona directamente el Árbol de Sintaxis Abstracta (AST) de TypeScript para atrapar patrones críticos:

Parámetros envenenados: function handleData(input: any)
Fugas de retorno: const fetchRecord = (): any => { ... }
Genéricos camuflados: Promise<any>, Array<any>, Record<string, any>
Supresiones de compilador: // @ts-ignore o // @ts-nocheck

Si un caso específico requiere omitir la verificación de forma justificada:

// any-hunter-disable-next-line
const config = JSON.parse(rawFile) as any;

🤖 Integración en CI/CD (GitHub Actions)

Puedes ejecutar Any-Hunter automáticamente en cada Pull Request:

name: Control de Calidad de Tipos

on: [push, pull_request]

jobs:
  audit-types:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: JacobPalomo/any-hunter@v1.1.2
        with:
          threshold: 85
          exclude: '**/*.test.ts'

🤝 Proyecto Open Source

Any-Hunter es 100% código abierto bajo licencia MIT.

⭐️ Repositorio en GitHub: https://github.com/JacobPalomo/any-hunter

¡Cualquier comentario, caso de prueba o sugerencia para nuevas reglas es más que bienvenido!

Stop Type Erosion: Building a Zero-Dependency Type-Health Auditor for TypeScript 🎯

Jacob Palomo — Tue, 01 Sep 2026 14:00:00 +0000

We've all seen this lifecycle: a project starts with strict: true, pristine interfaces, and zero type bypasses. Six months later, under feature delivery pressure, workarounds like as any, @ts-ignore, non-null assertions (!), and unvalidated JSON.parse calls start creeping in.

The code still compiles, but runtime reliability plummets. This pattern is known as Type Erosion.

To solve this, I built Any-Hunter — a zero-dependency CLI, programmatic library, and GitHub Action that audits your codebase and computes a Type-Health Score (0–100).

🔍 Why Not Just ESLint?

Standard linters inspect static syntax, but Any-Hunter approaches typing from an architectural health perspective:

A Measurable Health Metric: Instead of an endless log of warnings, you get a concrete score (e.g., Type-Health: 91/100) that management and teams can track over time.
Semantic Compiler Analysis: Uses TypeScript's TypeChecker to catch Invisible anys (variables implicitly inheriting any from untyped APIs).
Scope-Aware Severity: A local variable with any is a warning (-2 pts), but a function parameter typed as any poisons the entire execution scope and triggers an error (-5 pts).
Native SARIF & CI Reports: Outputs GitHub Step Summaries and standard OASIS SARIF files for GitHub Code Scanning without third-party plugins.

⚡ Quick Start

Generate a .anyhunterrc.json configuration file:

npx any-hunter --init

Run an audit against your tsconfig.json:

npx any-hunter ./tsconfig.json --threshold=85

🧠 Behind the Scenes: Deep AST Inspection

Any-Hunter traverses the Abstract Syntax Tree (AST) using TypeScript's Compiler API to detect patterns such as:

Poisoned Parameters: function processData(payload: any)
Leaky Returns: const getUser = (): any => { ... }
Disguised Generics: Promise<any>, Array<any>, Record<string, any>
Compiler Bypasses: // @ts-ignore or // @ts-nocheck

When justifiable exceptions occur, developers can skip a line locally:

// any-hunter-disable-next-line
const payload = JSON.parse(response) as any;

🤖 GitHub Actions Workflow

Integrate Any-Hunter directly into your Pull Request pipeline:

name: Type Health Check

on: [push, pull_request]

jobs:
  audit-types:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: JacobPalomo/any-hunter@v1.1.2
        with:
          threshold: 85
          exclude: '**/*.test.ts'

🤝 Open Source

Any-Hunter is 100% open source under the MIT License.

⭐️ GitHub: https://github.com/JacobPalomo/any-hunter

Let me know in the comments what custom rules or frameworks you would like to see supported next!