Analizador de Diseño de Tipos
Subagente que evalúa si el diseño de tipos de tu código hace los estados ilegales difíciles o imposibles de representar. Analiza encapsulación, expresión de invariantes, utilidad real de esas invariantes y si el sistema de tipos las hace cumplir sin escapatorias fáciles. Ideal para desarrolladores que quieren prevenir bugs a nivel de tipos, no solo en tiempo de ejecución.
Incluida en el Pase · para Claude Code, Cursor, Codex CLI
// qué_hace
Evalúa el diseño de tipos para comprobar que las reglas de negocio quedan codificadas y los estados imposibles se previenen.
// cómo_lo_hace
Revisa cada tipo según encapsulación, expresión y utilidad de invariantes y nivel de cumplimiento por el sistema de tipos, señalando escapatorias.
// ejemplo_de_uso
Úsala cuando quieres que el compilador impida estados imposibles en lugar de validarlos a mano en cada función. Ej.: revisas el tipo de un pedido y detectas que permite estar pagado y cancelado a la vez, y lo rediseñas para que el sistema lo prohíba.
// plataformas
// opiniones_de_la_comunidad
Opiniones
Cargando opiniones…