@elliots/typical 0.2.0 → 0.2.3

package/README.md

@@ -294,6 +294,7 @@ Create a `typical.json` file in your project root (optional):
 | `validateCasts`          | `false`                                                   | Validate type assertions (`as Type`)                              |
 | `transformJSONParse`     | `true`                                                    | Transform `JSON.parse` to validate and filter to typed properties |
 | `transformJSONStringify` | `true`                                                    | Transform `JSON.stringify` to only include typed properties       |
+| `reusableValidators`     | `true`                                                    | Hoist validators to module scope for reduced code size            |
 
 ---
 
@@ -346,15 +347,15 @@ Typical uses a Go-based compiler that leverages the TypeScript type checker to a
 
 Types that can't be validated at runtime (like generic type parameters `T`) are skipped. You can still use `any` and `unknown` to opt out of validation.
 
-## Compiler Optimizations
+## Compiler Optimisations
 
-The generated validation code is optimized for runtime performance:
+The generated validation code is optimised for runtime performance:
 
-- **Skip redundant validation** - When returning a validated parameter directly, the return validation is skipped (e.g., `return x` where `x: string` was already validated)
-- **Subtype-aware skipping** - If a validated type is assignable to the return type, validation is skipped (e.g., `string` parameter returned as `string | null`)
-- **Property chain tracking** - Accessing properties of validated objects skips re-validation (e.g., `return user.name` when `user: User` was validated)
-- **Type-aware dirty tracking** - Primitives stay validated after being passed to functions (they're copied), but objects are re-validated (they could be mutated)
+- **Reusable validators** - When the same type is validated multiple times, Typical hoists the validation logic to a reusable function at module scope. Nested types that appear in multiple places (e.g., `Address` used in both `User` and `Company`) are also extracted and reused.
+- **Smart redundancy elimination** - Skips validation when returning values that are already known to be valid: validated parameters, properties of validated objects, variables assigned from casts or `JSON.parse`, and aliased variables
+- **Type-aware dirty tracking** - Tracks when validated values might become invalid. Primitives stay valid after being passed to functions (they're copied), but objects are re-validated if passed to unknown functions. Pure functions (listed in the config) like `console.log` don't invalidate objects.
 - **Union early bail-out** - Union type checks use if-else chains so the first matching type succeeds immediately
+- **Skip comments** - Add `// @typical-ignore` before a function to skip all validation for it
 
 ## Debugging
 
@@ -370,3 +371,41 @@ DEBUG=1 npm run build
 - Type-only imports of classes aren't checked (can't do instanceof on type-only imports)
 - Validation of functions is just not done. Need to think about that one.
 - Some complex types may not be fully supported yet. If you find any that fail, please open an issue!
+
+---
+
+## Benchmarks
+
+Runtime validation performance comparing Typical vs Zod vs no validation:
+
+| Scenario                           |   Nothing |   Typical |       Zod |                     vs Nothing |                          vs Zod |
+| ---------------------------------- | --------: | --------: | --------: | -----------------------------: | ------------------------------: |
+| string                             |  23.91M/s |  24.86M/s |  24.80M/s | ${\textsf{\color{olive}1.0x}}$ |  ${\textsf{\color{olive}1.0x}}$ |
+| number                             |  24.33M/s |  25.44M/s |  24.44M/s | ${\textsf{\color{olive}1.0x}}$ |  ${\textsf{\color{olive}1.0x}}$ |
+| boolean                            |  24.49M/s |  24.49M/s |  24.19M/s | ${\textsf{\color{olive}1.0x}}$ |  ${\textsf{\color{olive}1.0x}}$ |
+| object w/ template literals        |  24.53M/s |  21.39M/s |   7.71M/s | ${\textsf{\color{olive}0.9x}}$ |  ${\textsf{\color{green}2.8x}}$ |
+| nested w/ template literals        |  24.69M/s |   8.05M/s |   2.31M/s |   ${\textsf{\color{red}0.3x}}$ |  ${\textsf{\color{green}3.5x}}$ |
+| array w/ templates (10)            |  29.89M/s |   7.10M/s |   1.54M/s |   ${\textsf{\color{red}0.2x}}$ |  ${\textsf{\color{green}4.6x}}$ |
+| array w/ templates (100)           |  30.18M/s | 795.31K/s | 150.09K/s |   ${\textsf{\color{red}0.0x}}$ |  ${\textsf{\color{green}5.3x}}$ |
+| union types                        |  29.77M/s |  30.69M/s |  10.76M/s | ${\textsf{\color{olive}1.0x}}$ |  ${\textsf{\color{green}2.9x}}$ |
+| template literals                  |  30.09M/s |  17.23M/s |   1.71M/s |   ${\textsf{\color{red}0.6x}}$ | ${\textsf{\color{green}10.1x}}$ |
+| complex config                     |  30.56M/s |  29.14M/s |   3.51M/s | ${\textsf{\color{olive}1.0x}}$ |  ${\textsf{\color{green}8.3x}}$ |
+| JSON.parse (small)                 |   4.61M/s |   4.37M/s |   3.85M/s | ${\textsf{\color{olive}0.9x}}$ |  ${\textsf{\color{green}1.1x}}$ |
+| JSON.parse (small+filtered extras) |   4.65M/s |   4.32M/s |   3.79M/s | ${\textsf{\color{olive}0.9x}}$ |  ${\textsf{\color{green}1.1x}}$ |
+| JSON.parse (medium)                |   2.85M/s |   2.26M/s | 928.42K/s |   ${\textsf{\color{red}0.8x}}$ |  ${\textsf{\color{green}2.4x}}$ |
+| JSON.parse (large)                 | 209.41K/s | 186.91K/s |  99.28K/s | ${\textsf{\color{olive}0.9x}}$ |  ${\textsf{\color{green}1.9x}}$ |
+| JSON.parse (1000 large)            |     211/s |     212/s |     104/s | ${\textsf{\color{olive}1.0x}}$ |  ${\textsf{\color{green}2.0x}}$ |
+| JSON.stringify (small)             |   9.99M/s |   9.30M/s |   6.70M/s | ${\textsf{\color{olive}0.9x}}$ |  ${\textsf{\color{green}1.4x}}$ |
+| JSON.stringify (small+extras)      |   2.85M/s |   9.20M/s |   6.98M/s | ${\textsf{\color{green}3.2x}}$ |  ${\textsf{\color{green}1.3x}}$ |
+| JSON.stringify (medium)            |   5.09M/s |   3.82M/s |   1.16M/s |   ${\textsf{\color{red}0.8x}}$ |  ${\textsf{\color{green}3.3x}}$ |
+| JSON.stringify (large)             | 392.53K/s | 330.45K/s | 132.50K/s |   ${\textsf{\color{red}0.8x}}$ |  ${\textsf{\color{green}2.5x}}$ |
+| JSON.stringify (1000 large)        |     362/s |     339/s |     128/s | ${\textsf{\color{olive}0.9x}}$ |  ${\textsf{\color{green}2.7x}}$ |
+
+- **vs Nothing**: Speed relative to no validation or filtering (1.0x = same speed)
+- **vs Zod**: Speed relative to Zod (1.0x = same speed)
+
+Key findings:
+
+- Primitives and simple types have near-zero overhead
+- Typical is **2-10x faster than Zod** for complex types
+- JSON operations have minimal overhead while providing full type safety

package/dist/src/config.d.ts

@@ -21,7 +21,13 @@ export interface TypicalSourceMapConfig {
 export interface TypicalConfig {
     include?: string[];
     exclude?: string[];
-    reusableValidators?: boolean;
+    /**
+     * Controls whether validators are hoisted to module scope for reuse.
+     * - 'auto' (default): Hoist only validators used more than once
+     * - 'never': Never hoist, always generate inline validators
+     * - 'always': Always hoist validators, even if only used once
+     */
+    reusableValidators?: 'auto' | 'never' | 'always';
     validateCasts?: boolean;
     hoistRegex?: boolean;
     debug?: TypicalDebugConfig;
@@ -31,12 +37,6 @@ export interface TypicalConfig {
      * Example: ["React.*", "Express.Request", "*.Event"]
      */
     ignoreTypes?: string[];
-    /**
-     * Skip validation for DOM types (Document, Element, Node, etc.) and their subclasses.
-     * These types have complex Window intersections that typia cannot process.
-     * Default: true
-     */
-    ignoreDOMTypes?: boolean;
     /**
      * Validate function parameters and return types at runtime.
      * When enabled, typed function parameters get runtime validation calls injected.
@@ -60,43 +60,19 @@ export interface TypicalConfig {
      * Controls whether and how source maps are generated for transformed code.
      */
     sourceMap?: TypicalSourceMapConfig;
-}
-/**
- * Pre-compiled regex patterns for ignore type matching.
- * This is populated during config loading for performance.
- */
-export interface CompiledIgnorePatterns {
-    /** Compiled patterns from user ignoreTypes config */
-    userPatterns: RegExp[];
-    /** Compiled patterns from DOM_TYPES_TO_IGNORE (when ignoreDOMTypes is true) */
-    domPatterns: RegExp[];
-    /** All patterns combined for quick checking */
-    allPatterns: RegExp[];
+    /**
+     * Maximum number of helper functions (_io0, _io1, etc.) that can be generated
+     * for a single type before erroring. Complex DOM types or library types can
+     * generate hundreds of functions which indicates a type that should be excluded.
+     * Set to 0 to disable the limit.
+     * Default: 50
+     */
+    maxGeneratedFunctions?: number;
 }
 export declare const defaultConfig: TypicalConfig;
-/**
- * DOM types that typia cannot process due to Window global intersections.
- * These are the base DOM types - classes extending them are checked separately.
- */
-export declare const DOM_TYPES_TO_IGNORE: string[];
-/**
- * Convert a glob pattern to a RegExp for type matching.
- * Supports wildcards: "React.*" -> /^React\..*$/
- */
-export declare function compileIgnorePattern(pattern: string): RegExp | null;
-/**
- * Pre-compile all ignore patterns for efficient matching.
- */
-export declare function compileIgnorePatterns(config: TypicalConfig): CompiledIgnorePatterns;
-/**
- * Get compiled ignore patterns, using cache if config hasn't changed.
- */
-export declare function getCompiledIgnorePatterns(config: TypicalConfig): CompiledIgnorePatterns;
 export declare function loadConfig(configPath?: string): TypicalConfig;
 /**
  * Validate and adjust config for consistency.
- * Currently handles:
- * - Disabling reusableValidators when source maps are enabled (required for accurate mappings)
  *
  * @param config The config to validate
  * @returns Validated/adjusted config

package/dist/src/config.js

@@ -1,126 +1,23 @@
 export const defaultConfig = {
     include: ['**/*.ts', '**/*.tsx'],
     exclude: ['node_modules/**', '**/*.d.ts', 'dist/**', 'build/**'],
-    reusableValidators: false, // Off by default for accurate source maps (set to true for production)
+    reusableValidators: 'auto', // Hoists validators to module scope for reduced code size
     validateCasts: false,
     validateFunctions: true,
     transformJSONParse: true,
     transformJSONStringify: true,
     hoistRegex: true,
-    ignoreDOMTypes: true,
     debug: {
         writeIntermediateFiles: false,
     },
     sourceMap: {
-        enabled: true, // On by default for debugging (set to false for production)
+        enabled: true,
         includeContent: true,
         inline: false,
     },
 };
-// FIXME: find a better way to work out which types to ignore
-/**
- * DOM types that typia cannot process due to Window global intersections.
- * These are the base DOM types - classes extending them are checked separately.
- */
-export const DOM_TYPES_TO_IGNORE = [
-    // Core DOM types
-    'Document',
-    'DocumentFragment',
-    'Element',
-    'Node',
-    'ShadowRoot',
-    'Window',
-    'EventTarget',
-    // HTML Elements
-    'HTML*Element',
-    'HTMLElement',
-    'HTMLCollection',
-    // SVG Elements
-    'SVG*Element',
-    'SVGElement',
-    // Events
-    '*Event',
-    // Other common DOM types
-    'NodeList',
-    'DOMTokenList',
-    'NamedNodeMap',
-    'CSSStyleDeclaration',
-    'Selection',
-    'Range',
-    'Text',
-    'Comment',
-    'CDATASection',
-    'ProcessingInstruction',
-    'DocumentType',
-    'Attr',
-    'Table',
-    'TableRow',
-    'TableCell',
-    'StyleSheet',
-];
 import fs from 'fs';
 import path from 'path';
-/**
- * Convert a glob pattern to a RegExp for type matching.
- * Supports wildcards: "React.*" -> /^React\..*$/
- */
-export function compileIgnorePattern(pattern) {
-    try {
-        const regexStr = '^' +
-            pattern
-                .replace(/[.+^${}()|[\]\\]/g, '\\$&') // Escape special regex chars except *
-                .replace(/\*/g, '.*') +
-            '$';
-        return new RegExp(regexStr);
-    }
-    catch (error) {
-        console.warn(`TYPICAL: Invalid ignoreTypes pattern "${pattern}": ${error.message}`);
-        return null;
-    }
-}
-/**
- * Pre-compile all ignore patterns for efficient matching.
- */
-export function compileIgnorePatterns(config) {
-    const userPatterns = [];
-    const domPatterns = [];
-    // Compile user patterns
-    for (const pattern of config.ignoreTypes ?? []) {
-        const compiled = compileIgnorePattern(pattern);
-        if (compiled) {
-            userPatterns.push(compiled);
-        }
-    }
-    // Compile DOM patterns if enabled (default: true)
-    if (config.ignoreDOMTypes !== false) {
-        for (const pattern of DOM_TYPES_TO_IGNORE) {
-            const compiled = compileIgnorePattern(pattern);
-            if (compiled) {
-                domPatterns.push(compiled);
-            }
-        }
-    }
-    return {
-        userPatterns,
-        domPatterns,
-        allPatterns: [...userPatterns, ...domPatterns],
-    };
-}
-// Cache for compiled patterns, keyed by config identity
-let cachedPatterns = null;
-let cachedConfig = null;
-/**
- * Get compiled ignore patterns, using cache if config hasn't changed.
- */
-export function getCompiledIgnorePatterns(config) {
-    // Simple identity check - if same config object, use cache
-    if (cachedConfig === config && cachedPatterns) {
-        return cachedPatterns;
-    }
-    cachedConfig = config;
-    cachedPatterns = compileIgnorePatterns(config);
-    return cachedPatterns;
-}
 export function loadConfig(configPath) {
     const configFile = configPath || path.join(process.cwd(), 'typical.json');
     if (fs.existsSync(configFile)) {
@@ -139,30 +36,15 @@ export function loadConfig(configPath) {
     }
     return defaultConfig;
 }
-let warnedAboutSourceMaps = false;
 /**
  * Validate and adjust config for consistency.
- * Currently handles:
- * - Disabling reusableValidators when source maps are enabled (required for accurate mappings)
  *
  * @param config The config to validate
  * @returns Validated/adjusted config
  */
 export function validateConfig(config) {
-    let result = config;
-    // Source maps require inline validators (not reusable) because each validation
-    // call needs its own source map marker pointing to the correct type annotation.
-    // With reusable validators, the expanded typia code would all map to the validator
-    // declaration rather than the individual usage sites.
-    const sourceMapEnabled = config.sourceMap?.enabled !== false;
-    const reusableValidatorsEnabled = config.reusableValidators === true;
-    if (sourceMapEnabled && reusableValidatorsEnabled) {
-        if (!warnedAboutSourceMaps) {
-            warnedAboutSourceMaps = true;
-            console.warn('TYPICAL: Both sourceMap and reusableValidators are enabled. ' + 'Disabling reusableValidators for accurate source mapping. ' + 'For production builds, set sourceMap.enabled: false to use reusableValidators.');
-        }
-        result = { ...result, reusableValidators: false };
-    }
-    return result;
+    // Reusable validators now throw at the call site, so they work correctly
+    // with source maps. No need for special handling.
+    return config;
 }
 //# sourceMappingURL=config.js.map

package/dist/src/config.js.map

@@ -1 +1 @@
-{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/config.ts"],"names":[],"mappings":"AA+EA,MAAM,CAAC,MAAM,aAAa,GAAkB;IAC1C,OAAO,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC;IAChC,OAAO,EAAE,CAAC,iBAAiB,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,CAAC;IAChE,kBAAkB,EAAE,KAAK,EAAE,uEAAuE;IAClG,aAAa,EAAE,KAAK;IACpB,iBAAiB,EAAE,IAAI;IACvB,kBAAkB,EAAE,IAAI;IACxB,sBAAsB,EAAE,IAAI;IAC5B,UAAU,EAAE,IAAI;IAChB,cAAc,EAAE,IAAI;IACpB,KAAK,EAAE;QACL,sBAAsB,EAAE,KAAK;KAC9B;IACD,SAAS,EAAE;QACT,OAAO,EAAE,IAAI,EAAE,4DAA4D;QAC3E,cAAc,EAAE,IAAI;QACpB,MAAM,EAAE,KAAK;KACd;CACF,CAAA;AAED,6DAA6D;AAC7D;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,iBAAiB;IACjB,UAAU;IACV,kBAAkB;IAClB,SAAS;IACT,MAAM;IACN,YAAY;IACZ,QAAQ;IACR,aAAa;IACb,gBAAgB;IAChB,cAAc;IACd,aAAa;IACb,gBAAgB;IAChB,eAAe;IACf,aAAa;IACb,YAAY;IACZ,SAAS;IACT,QAAQ;IACR,yBAAyB;IACzB,UAAU;IACV,cAAc;IACd,cAAc;IACd,qBAAqB;IACrB,WAAW;IACX,OAAO;IACP,MAAM;IACN,SAAS;IACT,cAAc;IACd,uBAAuB;IACvB,cAAc;IACd,MAAM;IACN,OAAO;IACP,UAAU;IACV,WAAW;IACX,YAAY;CACb,CAAA;AAED,OAAO,EAAE,MAAM,IAAI,CAAA;AACnB,OAAO,IAAI,MAAM,MAAM,CAAA;AAEvB;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAAe;IAClD,IAAI,CAAC;QACH,MAAM,QAAQ,GACZ,GAAG;YACH,OAAO;iBACJ,OAAO,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC,sCAAsC;iBAC3E,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC;YACvB,GAAG,CAAA;QACL,OAAO,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAA;IAC7B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,IAAI,CAAC,yCAAyC,OAAO,MAAO,KAAe,CAAC,OAAO,EAAE,CAAC,CAAA;QAC9F,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAqB;IACzD,MAAM,YAAY,GAAa,EAAE,CAAA;IACjC,MAAM,WAAW,GAAa,EAAE,CAAA;IAEhC,wBAAwB;IACxB,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC/C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAA;QAC9C,IAAI,QAAQ,EAAE,CAAC;YACb,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC7B,CAAC;IACH,CAAC;IAED,kDAAkD;IAClD,IAAI,MAAM,CAAC,cAAc,KAAK,KAAK,EAAE,CAAC;QACpC,KAAK,MAAM,OAAO,IAAI,mBAAmB,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAA;YAC9C,IAAI,QAAQ,EAAE,CAAC;gBACb,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YAC5B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,YAAY;QACZ,WAAW;QACX,WAAW,EAAE,CAAC,GAAG,YAAY,EAAE,GAAG,WAAW,CAAC;KAC/C,CAAA;AACH,CAAC;AAED,wDAAwD;AACxD,IAAI,cAAc,GAAkC,IAAI,CAAA;AACxD,IAAI,YAAY,GAAyB,IAAI,CAAA;AAE7C;;GAEG;AACH,MAAM,UAAU,yBAAyB,CAAC,MAAqB;IAC7D,2DAA2D;IAC3D,IAAI,YAAY,KAAK,MAAM,IAAI,cAAc,EAAE,CAAC;QAC9C,OAAO,cAAc,CAAA;IACvB,CAAC;IAED,YAAY,GAAG,MAAM,CAAA;IACrB,cAAc,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAA;IAC9C,OAAO,cAAc,CAAA;AACvB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,UAAmB;IAC5C,MAAM,UAAU,GAAG,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,cAAc,CAAC,CAAA;IAEzE,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;YACzD,MAAM,UAAU,GAA2B,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAA;YAEpE,OAAO;gBACL,GAAG,aAAa;gBAChB,GAAG,UAAU;aACd,CAAA;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,+BAA+B,UAAU,GAAG,EAAE,KAAK,CAAC,CAAA;YACjE,OAAO,aAAa,CAAA;QACtB,CAAC;IACH,CAAC;IAED,OAAO,aAAa,CAAA;AACtB,CAAC;AAED,IAAI,qBAAqB,GAAG,KAAK,CAAA;AAEjC;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,MAAqB;IAClD,IAAI,MAAM,GAAG,MAAM,CAAA;IAEnB,+EAA+E;IAC/E,gFAAgF;IAChF,mFAAmF;IACnF,sDAAsD;IACtD,MAAM,gBAAgB,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,KAAK,KAAK,CAAA;IAC5D,MAAM,yBAAyB,GAAG,MAAM,CAAC,kBAAkB,KAAK,IAAI,CAAA;IAEpE,IAAI,gBAAgB,IAAI,yBAAyB,EAAE,CAAC;QAClD,IAAI,CAAC,qBAAqB,EAAE,CAAC;YAC3B,qBAAqB,GAAG,IAAI,CAAA;YAC5B,OAAO,CAAC,IAAI,CACV,8DAA8D,GAAG,4DAA4D,GAAG,gFAAgF,CACjN,CAAA;QACH,CAAC;QACD,MAAM,GAAG,EAAE,GAAG,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAA;IACnD,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC"}
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/config.ts"],"names":[],"mappings":"AA0EA,MAAM,CAAC,MAAM,aAAa,GAAkB;IAC1C,OAAO,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC;IAChC,OAAO,EAAE,CAAC,iBAAiB,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,CAAC;IAChE,kBAAkB,EAAE,MAAM,EAAE,0DAA0D;IACtF,aAAa,EAAE,KAAK;IACpB,iBAAiB,EAAE,IAAI;IACvB,kBAAkB,EAAE,IAAI;IACxB,sBAAsB,EAAE,IAAI;IAC5B,UAAU,EAAE,IAAI;IAChB,KAAK,EAAE;QACL,sBAAsB,EAAE,KAAK;KAC9B;IACD,SAAS,EAAE;QACT,OAAO,EAAE,IAAI;QACb,cAAc,EAAE,IAAI;QACpB,MAAM,EAAE,KAAK;KACd;CACF,CAAA;AAED,OAAO,EAAE,MAAM,IAAI,CAAA;AACnB,OAAO,IAAI,MAAM,MAAM,CAAA;AAEvB,MAAM,UAAU,UAAU,CAAC,UAAmB;IAC5C,MAAM,UAAU,GAAG,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,cAAc,CAAC,CAAA;IAEzE,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;YACzD,MAAM,UAAU,GAA2B,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAA;YAEpE,OAAO;gBACL,GAAG,aAAa;gBAChB,GAAG,UAAU;aACd,CAAA;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,+BAA+B,UAAU,GAAG,EAAE,KAAK,CAAC,CAAA;YACjE,OAAO,aAAa,CAAA;QACtB,CAAC;IACH,CAAC;IAED,OAAO,aAAa,CAAA;AACtB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,MAAqB;IAClD,yEAAyE;IACzE,kDAAkD;IAClD,OAAO,MAAM,CAAA;AACf,CAAC"}

package/dist/src/transformer.js

@@ -45,7 +45,8 @@ export class TypicalTransformer {
         }
         await this.ensureInitialized();
         const resolvedPath = resolve(fileName);
-        const result = await this.compiler.transformFile(this.projectHandle, resolvedPath);
+        // Pass config options to the Go compiler
+        const result = await this.compiler.transformFile(this.projectHandle, resolvedPath, this.config.ignoreTypes, this.config.maxGeneratedFunctions, this.config.reusableValidators);
         return {
             code: result.code,
             map: result.sourceMap ?? null,

package/dist/src/transformer.js.map

@@ -1 +1 @@
-{"version":3,"file":"transformer.js","sourceRoot":"","sources":["../../src/transformer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAA;AAC9B,OAAO,EAAE,eAAe,EAAyC,MAAM,2BAA2B,CAAA;AAElG,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAOxC,MAAM,OAAO,kBAAkB;IACtB,MAAM,CAAe;IACpB,QAAQ,CAAiB;IACzB,aAAa,GAAyB,IAAI,CAAA;IAC1C,WAAW,GAAyB,IAAI,CAAA;IACxC,UAAU,CAAQ;IAE1B,YAAY,MAAsB,EAAE,aAAqB,eAAe;QACtE,IAAI,CAAC,MAAM,GAAG,MAAM,IAAI,UAAU,EAAE,CAAA;QACpC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAA;QAC5B,IAAI,CAAC,QAAQ,GAAG,IAAI,eAAe,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;IAC7D,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,iBAAiB;QAC7B,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACtB,IAAI,CAAC,WAAW,GAAG,CAAC,KAAK,IAAI,EAAE;gBAC7B,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAA;gBAC3B,IAAI,CAAC,aAAa,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACvE,CAAC,CAAC,EAAE,CAAA;QACN,CAAC;QACD,MAAM,IAAI,CAAC,WAAW,CAAA;IACxB,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,SAAS,CAAC,QAAgB,EAAE,OAAoB,IAAI;QACxD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAA;QACpF,CAAC;QAED,MAAM,IAAI,CAAC,iBAAiB,EAAE,CAAA;QAE9B,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;QACtC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,aAAc,EAAE,YAAY,CAAC,CAAA;QAEnF,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,GAAG,EAAE,MAAM,CAAC,SAAS,IAAI,IAAI;SAC9B,CAAA;IACH,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,KAAK;QACT,IAAI,CAAC,aAAa,GAAG,IAAI,CAAA;QACzB,IAAI,CAAC,WAAW,GAAG,IAAI,CAAA;QACvB,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAA;IAC7B,CAAC;CACF"}
+{"version":3,"file":"transformer.js","sourceRoot":"","sources":["../../src/transformer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAA;AAC9B,OAAO,EAAE,eAAe,EAAyC,MAAM,2BAA2B,CAAA;AAElG,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAOxC,MAAM,OAAO,kBAAkB;IACtB,MAAM,CAAe;IACpB,QAAQ,CAAiB;IACzB,aAAa,GAAyB,IAAI,CAAA;IAC1C,WAAW,GAAyB,IAAI,CAAA;IACxC,UAAU,CAAQ;IAE1B,YAAY,MAAsB,EAAE,aAAqB,eAAe;QACtE,IAAI,CAAC,MAAM,GAAG,MAAM,IAAI,UAAU,EAAE,CAAA;QACpC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAA;QAC5B,IAAI,CAAC,QAAQ,GAAG,IAAI,eAAe,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;IAC7D,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,iBAAiB;QAC7B,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACtB,IAAI,CAAC,WAAW,GAAG,CAAC,KAAK,IAAI,EAAE;gBAC7B,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAA;gBAC3B,IAAI,CAAC,aAAa,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACvE,CAAC,CAAC,EAAE,CAAA;QACN,CAAC;QACD,MAAM,IAAI,CAAC,WAAW,CAAA;IACxB,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,SAAS,CAAC,QAAgB,EAAE,OAAoB,IAAI;QACxD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAA;QACpF,CAAC;QAED,MAAM,IAAI,CAAC,iBAAiB,EAAE,CAAA;QAE9B,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;QACtC,yCAAyC;QACzC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,aAAc,EAAE,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,qBAAqB,EAAE,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAA;QAE/K,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,GAAG,EAAE,MAAM,CAAC,SAAS,IAAI,IAAI;SAC9B,CAAA;IACH,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,KAAK;QACT,IAAI,CAAC,aAAa,GAAG,IAAI,CAAA;QACzB,IAAI,CAAC,WAAW,GAAG,IAAI,CAAA;QACvB,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAA;IAC7B,CAAC;CACF"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@elliots/typical",
-  "version": "0.2.0",
+  "version": "0.2.3",
   "description": "Runtime safe TypeScript transformer using typia",
   "keywords": [
     "runtime",
@@ -40,7 +40,7 @@
   },
   "dependencies": {
     "commander": "14.0.2",
-    "@elliots/typical-compiler": "0.2.0"
+    "@elliots/typical-compiler": "0.2.3"
   },
   "devDependencies": {
     "@types/node": "22",

package/src/config.ts

@@ -23,7 +23,13 @@ export interface TypicalSourceMapConfig {
 export interface TypicalConfig {
   include?: string[]
   exclude?: string[]
-  reusableValidators?: boolean
+  /**
+   * Controls whether validators are hoisted to module scope for reuse.
+   * - 'auto' (default): Hoist only validators used more than once
+   * - 'never': Never hoist, always generate inline validators
+   * - 'always': Always hoist validators, even if only used once
+   */
+  reusableValidators?: 'auto' | 'never' | 'always'
   validateCasts?: boolean
   hoistRegex?: boolean
   debug?: TypicalDebugConfig
@@ -33,12 +39,6 @@ export interface TypicalConfig {
    * Example: ["React.*", "Express.Request", "*.Event"]
    */
   ignoreTypes?: string[]
-  /**
-   * Skip validation for DOM types (Document, Element, Node, etc.) and their subclasses.
-   * These types have complex Window intersections that typia cannot process.
-   * Default: true
-   */
-  ignoreDOMTypes?: boolean
   /**
    * Validate function parameters and return types at runtime.
    * When enabled, typed function parameters get runtime validation calls injected.
@@ -62,155 +62,38 @@ export interface TypicalConfig {
    * Controls whether and how source maps are generated for transformed code.
    */
   sourceMap?: TypicalSourceMapConfig
-}
-
-/**
- * Pre-compiled regex patterns for ignore type matching.
- * This is populated during config loading for performance.
- */
-export interface CompiledIgnorePatterns {
-  /** Compiled patterns from user ignoreTypes config */
-  userPatterns: RegExp[]
-  /** Compiled patterns from DOM_TYPES_TO_IGNORE (when ignoreDOMTypes is true) */
-  domPatterns: RegExp[]
-  /** All patterns combined for quick checking */
-  allPatterns: RegExp[]
+  /**
+   * Maximum number of helper functions (_io0, _io1, etc.) that can be generated
+   * for a single type before erroring. Complex DOM types or library types can
+   * generate hundreds of functions which indicates a type that should be excluded.
+   * Set to 0 to disable the limit.
+   * Default: 50
+   */
+  maxGeneratedFunctions?: number
 }
 
 export const defaultConfig: TypicalConfig = {
   include: ['**/*.ts', '**/*.tsx'],
   exclude: ['node_modules/**', '**/*.d.ts', 'dist/**', 'build/**'],
-  reusableValidators: false, // Off by default for accurate source maps (set to true for production)
+  reusableValidators: 'auto', // Hoists validators to module scope for reduced code size
   validateCasts: false,
   validateFunctions: true,
   transformJSONParse: true,
   transformJSONStringify: true,
   hoistRegex: true,
-  ignoreDOMTypes: true,
   debug: {
     writeIntermediateFiles: false,
   },
   sourceMap: {
-    enabled: true, // On by default for debugging (set to false for production)
+    enabled: true,
     includeContent: true,
     inline: false,
   },
 }
 
-// FIXME: find a better way to work out which types to ignore
-/**
- * DOM types that typia cannot process due to Window global intersections.
- * These are the base DOM types - classes extending them are checked separately.
- */
-export const DOM_TYPES_TO_IGNORE = [
-  // Core DOM types
-  'Document',
-  'DocumentFragment',
-  'Element',
-  'Node',
-  'ShadowRoot',
-  'Window',
-  'EventTarget',
-  // HTML Elements
-  'HTML*Element',
-  'HTMLElement',
-  'HTMLCollection',
-  // SVG Elements
-  'SVG*Element',
-  'SVGElement',
-  // Events
-  '*Event',
-  // Other common DOM types
-  'NodeList',
-  'DOMTokenList',
-  'NamedNodeMap',
-  'CSSStyleDeclaration',
-  'Selection',
-  'Range',
-  'Text',
-  'Comment',
-  'CDATASection',
-  'ProcessingInstruction',
-  'DocumentType',
-  'Attr',
-  'Table',
-  'TableRow',
-  'TableCell',
-  'StyleSheet',
-]
-
 import fs from 'fs'
 import path from 'path'
 
-/**
- * Convert a glob pattern to a RegExp for type matching.
- * Supports wildcards: "React.*" -> /^React\..*$/
- */
-export function compileIgnorePattern(pattern: string): RegExp | null {
-  try {
-    const regexStr =
-      '^' +
-      pattern
-        .replace(/[.+^${}()|[\]\\]/g, '\\$&') // Escape special regex chars except *
-        .replace(/\*/g, '.*') +
-      '$'
-    return new RegExp(regexStr)
-  } catch (error) {
-    console.warn(`TYPICAL: Invalid ignoreTypes pattern "${pattern}": ${(error as Error).message}`)
-    return null
-  }
-}
-
-/**
- * Pre-compile all ignore patterns for efficient matching.
- */
-export function compileIgnorePatterns(config: TypicalConfig): CompiledIgnorePatterns {
-  const userPatterns: RegExp[] = []
-  const domPatterns: RegExp[] = []
-
-  // Compile user patterns
-  for (const pattern of config.ignoreTypes ?? []) {
-    const compiled = compileIgnorePattern(pattern)
-    if (compiled) {
-      userPatterns.push(compiled)
-    }
-  }
-
-  // Compile DOM patterns if enabled (default: true)
-  if (config.ignoreDOMTypes !== false) {
-    for (const pattern of DOM_TYPES_TO_IGNORE) {
-      const compiled = compileIgnorePattern(pattern)
-      if (compiled) {
-        domPatterns.push(compiled)
-      }
-    }
-  }
-
-  return {
-    userPatterns,
-    domPatterns,
-    allPatterns: [...userPatterns, ...domPatterns],
-  }
-}
-
-// Cache for compiled patterns, keyed by config identity
-let cachedPatterns: CompiledIgnorePatterns | null = null
-let cachedConfig: TypicalConfig | null = null
-
-/**
- * Get compiled ignore patterns, using cache if config hasn't changed.
- */
-export function getCompiledIgnorePatterns(config: TypicalConfig): CompiledIgnorePatterns {
-  // Simple identity check - if same config object, use cache
-  if (cachedConfig === config && cachedPatterns) {
-    return cachedPatterns
-  }
-
-  cachedConfig = config
-  cachedPatterns = compileIgnorePatterns(config)
-  return cachedPatterns
-}
-
 export function loadConfig(configPath?: string): TypicalConfig {
   const configFile = configPath || path.join(process.cwd(), 'typical.json')
 
@@ -232,35 +115,14 @@ export function loadConfig(configPath?: string): TypicalConfig {
   return defaultConfig
 }
 
-let warnedAboutSourceMaps = false
-
 /**
  * Validate and adjust config for consistency.
- * Currently handles:
- * - Disabling reusableValidators when source maps are enabled (required for accurate mappings)
  *
  * @param config The config to validate
  * @returns Validated/adjusted config
  */
 export function validateConfig(config: TypicalConfig): TypicalConfig {
-  let result = config
-
-  // Source maps require inline validators (not reusable) because each validation
-  // call needs its own source map marker pointing to the correct type annotation.
-  // With reusable validators, the expanded typia code would all map to the validator
-  // declaration rather than the individual usage sites.
-  const sourceMapEnabled = config.sourceMap?.enabled !== false
-  const reusableValidatorsEnabled = config.reusableValidators === true
-
-  if (sourceMapEnabled && reusableValidatorsEnabled) {
-    if (!warnedAboutSourceMaps) {
-      warnedAboutSourceMaps = true
-      console.warn(
-        'TYPICAL: Both sourceMap and reusableValidators are enabled. ' + 'Disabling reusableValidators for accurate source mapping. ' + 'For production builds, set sourceMap.enabled: false to use reusableValidators.',
-      )
-    }
-    result = { ...result, reusableValidators: false }
-  }
-
-  return result
+  // Reusable validators now throw at the call site, so they work correctly
+  // with source maps. No need for special handling.
+  return config
 }

package/src/transformer.ts

@@ -58,7 +58,8 @@ export class TypicalTransformer {
     await this.ensureInitialized()
 
     const resolvedPath = resolve(fileName)
-    const result = await this.compiler.transformFile(this.projectHandle!, resolvedPath)
+    // Pass config options to the Go compiler
+    const result = await this.compiler.transformFile(this.projectHandle!, resolvedPath, this.config.ignoreTypes, this.config.maxGeneratedFunctions, this.config.reusableValidators)
 
     return {
       code: result.code,