Estaba leyendo la documentación de inferencia de tipos para TypeScript, que parece apuntar (bastante razonablemente) a casos en los que TypeScript seguramente puede identificar tipos. Tengo curiosidad acerca de si el compilador se puede usar para acceder a información de tipo generalmente inferida sobre el código JavaScript. Por ejemplo, ¿hay una API de compilación que pueda leer código como:

 function f(x) { xq = g(xp); return xh(); }

y la información de salida de la forma: " x tiene un tipo que, al menos, tiene una propiedad de lectura llamada p , una propiedad de escritura llamada q y una propiedad/método de llamada llamado h "? Esto está destinado a un ejemplo de juguete, y si existe tal API, tengo curiosidad sobre qué tan general es (es decir, qué tan precisa es para casos más complejos).