Existen herramientas increíbles que te brindan una excelente seguridad de tipos. Pero cuando llegas a la obtención del lado del cliente, las cosas se vuelven salvajes. Incluso si tienes un backend perfectamente tipado, pierdes la información de tipos durante la comunicación del lado del cliente. Sí, puedes usar GraphQL o protobuf y generar tipos, pero... ¿qué tal si te digo que hay una manera más fácil? ¡Una forma que te permite desarrollar tus aplicaciones de manera más fluida que con REST o GraphQL? ¿Cómo? ¡RPC! Saluda a la máxima productividad con una experiencia de desarrollo fantástica.
Detectando estáticamente errores en aplicaciones de React con TypeScript y ESLint
Video Summary and Transcription
Esta Charla explora las herramientas de análisis estático para JavaScript y TypeScript, centrándose en la detección de errores con TypeScript y ESLint. Se enfatiza la importancia de la comprobación de tipos y la ampliación de las reglas recomendadas. La Charla también profundiza en reglas específicas de ESLint y proporciona ejemplos de código para demostrar su uso. Se destacan las ideas proporcionadas por ESLint impulsado por TypeScript. Se discuten las promesas flotantes y las promesas mal utilizadas, junto con recomendaciones para manejar excepciones y recursos. La Charla concluye ofreciendo recursos y soporte para una mayor exploración y desarrollo.
1. Introducción al Análisis Estático
Soy Josh Goldberg, un mantenedor independiente de código abierto que se enfoca en herramientas de análisis estático para JavaScript y TypeScript. La programación puede ser intimidante debido a suposiciones incorrectas y explicaciones deficientes. Muchas personas encuentran difícil imaginar el uso de una computadora o aprender a programar porque crecieron pensando que las computadoras son difíciles. Las herramientas de análisis estático a menudo se perciben como intimidantes, pero no tiene por qué ser así. Los conceptos que explicaré hoy son relevantes y aplicables para sus proyectos.
De acuerdo. La programación puede ser falsamente intimidante, el problema no es que el concepto de usar una computadora sea inusualmente difícil por sí solo, muchas personas pueden entender eso, es que muchas personas asumen incorrectamente que es difícil. Muchas personas que no son capaces en tecnología encuentran difícil imaginar el uso de una computadora en absoluto, incluso, Dios no lo quiera, incluso aprender a programar, y por lo tanto se sienten intimidados y desanimados. Una gran fuente del problema es que muchas personas crecieron acostumbradas a la idea de que las computadoras son difíciles, inventos imposibles de entender. Y luego tienen a un montón de personas gritándoles, oh, envía un archivo, abre Facebook, adjunta un archivo, presiona iniciar, lo que sea, eso es difícil. ¿Qué demonios? Y el problema empeora porque muchos desarrolladores, porque muchas personas, no explican bien temas técnicos o complejos. Es algo con lo que muchos de nosotros luchamos. Y una persona no técnica solo puede pasar por tantas explicaciones malas, descripciones complicadas, antes de decidir que el problema soy yo, simplemente nunca voy a entender esto.
Y que eso sea contexto para ustedes, mientras hablo de dos problemas, cambio de contexto y malas explicaciones, para el análisis estático, herramientas que analizan tu código sin ejecutarlo. Porque en paralelo, muchos desarrolladores de software experimentan esa misma intimidación falsa, incluso cuando ya han aprendido a programar, saben cómo usar computadoras, cuando intentan pensar en el análisis estático. Durante muchos años, se pensó que el análisis estático era solo competencia de académicos o ingenieros de lenguaje hardcore. Y cuando intentaron buscar recursos para el análisis estático, lo que obtuvieron fueron explicaciones teóricas de alto nivel, trucos académicos, cosas que son teóricas en lugar de introductorias y prácticas. Pero eso no es cierto. Tal vez nunca lo fue. Ciertamente no lo es ahora. El análisis estático no tiene por qué ser intimidante. El panorama del análisis estático hoy en día, especialmente para bases de código modernas de TypeScript, les prometo que es mucho más accesible de lo que nunca ha sido. Creo que encontrarán que los conceptos que les voy a presentar hoy son muy relevantes y aplicables para sus proyectos, e incluso podrían disfrutar usándolos cuando los
2. Detectando Errores con TypeScript y ESLint
Combinar ESLint y TypeScript permite detectar defectos y errores de aplicación a través de errores reales en tu código. TypeScript comprende el significado de tu código y proporciona API para tomar decisiones de linting más informadas. Analizaremos un ejemplo de componente para explorar posibles problemas y la importancia de la comprobación de tipos con TypeScript. Usando el complemento TypeScript ESLint, analizaremos nuestro proyecto y pondremos los tipos de objeto disponibles para las reglas de ESLint. Extenderemos las reglas recomendadas tanto del núcleo de ESLint como de TypeScript ESLint para obtener mejores resultados.
Empecemos. Primero, un poco de contexto sobre las propias herramientas, TypeScript y ESLint. ¿Por qué querrías mejorar las reglas de ESLint con TypeScript en primer lugar? ESLint solo ve la sintaxis cruda de tu código. Puede verificar problemas rudimentarios, como variables no utilizadas, violaciones de convenciones de nomenclatura, y así sucesivamente, pero realmente no entiende lo que ese código significa. TypeScript entiende lo que ese código significa. Hace una inmersión profunda en tu código, entiende tus tipos, entiende lo que todo debe ser, y luego tiene API que podemos usar en nuestras reglas de linting para tomar decisiones mucho más informadas basadas en esos tipos. Hoy te guiaré a través de algunos componentes que se parecen mucho a este ejemplo de mi botón, y vamos a jugar uno de mis juegos de programación favoritos, ¿Es esto seguro? Se supone que este componente debe recibir aproximadamente dos props, he ocultado todo lo que no es relevante. Acción e hijos, esta acción en particular es relevante e interesante, se supone que es una llamada de función entre dos registros en la consola. A primera vista, este código parece seguro, está bien, recibimos dos props, renderizamos los hijos, pasamos este callback de clic a un botón, todo está bien. Pero sin el profundo conocimiento de TypeScript sobre el sistema de tipos y este código, no tenemos forma de hacer linting sobre una gran cantidad de posibles problemas. Estamos confundidos. Tal vez las acciones asíncronas no están permitidas en esta aplicación. Tal vez la acción no siempre se proporciona. Si es una función en primer lugar, lo cual no sabemos, tal vez se supone que debe recibir argumentos. Tal vez realmente queremos manejar explícitamente las promesas rechazadas. Hay todo tipo de cosas que no podemos saber sin entender cuál es el tipo real de nuestro objeto. Cuáles son los tipos en nuestro código. Así que ahora vamos a hacer algunas comprobaciones de tipos. Usaremos TypeScript para analizar nuestro proyecto completo y entender los posibles tipos de objetos. Y luego haremos que esos tipos estén disponibles para las reglas de ESLint usando el complemento TypeScript ESLint. Ahora, si has configurado ESLint en código TypeScript antes, es probable que hayas hecho algo como esto. Has instalado el paquete analizador de TypeScript ESLint, que es el analizador que permite a ESLint y, dato curioso, también a Prettier, leer la sintaxis de TypeScript en tus archivos. Y tal vez también hayas instalado el complemento ESLint de TypeScript ESLint. El paquete que contiene un montón de reglas de linting adaptadas al código de TypeScript. Es posible que hayas configurado en tu archivo de configuración de ESLint, la configuración del analizador y el complemento. Si todo esto es nuevo para ti, dato curioso, así es como se hace. Pero hay otro paso que recomiendo que tomen muchos proyectos de código, que es extender las reglas recomendadas tanto del núcleo de ESLint como de TypeScript ESLint.
3. Explorando las Reglas de TypeScript ESLint y Ejemplo de Código
Para la mayoría de los proyectos, se recomienda utilizar las reglas estándar tanto del núcleo de ESLint como de TypeScript ESLint. Sin embargo, las reglas recomendadas de TypeScript ESLint no incluyen reglas que requieran información de tipos, ya que pueden ralentizar el proceso de linting. Para habilitar estas reglas, puedes extender el conjunto de reglas recomendadas, configurar las opciones del analizador y especificar tu archivo tsconfig. Ahora, pasemos al código. Analizaremos una aplicación de demostración llamada TypeScript ESLint React demo, que es una aplicación simple de create-next-app. Tiene una página con botones que incrementan un contador de llamadas y cambian el color de fondo de la página. La primera regla que exploraremos es awaitAvailable, que verifica si se utiliza la palabra clave await en un valor que no está disponible. Ahora, veamos el ejemplo de código en nuestra página de inicio, donde tenemos una función de acción de ejemplo que establece el estado de color e incrementa el contador de llamadas. Esta función es utilizada por nuestros componentes await thenable.
4. ESLint y Análisis de Código con TypeScript
El botón debería estar deshabilitado mientras se ejecuta la acción, pero no lo está. La regla de ESLint se queja de un await inesperado de un valor no promesa no ventable. Eliminar los awaits no afecta el código y podemos eliminar el estado innecesario y simplificar el código a una línea. ESLint con TypeScript proporciona información profunda sobre los defectos del código.
5. Explorando Promesas Flotantes y Promesas Mal Utilizadas
La siguiente regla que quiero analizar es la de no promesas flotantes. Una promesa flotante es aquella que se crea sin ningún código configurado para manejar errores. Las promesas flotantes pueden causar problemas como operaciones desincronizadas incorrectas y rechazos de promesas ignorados. En la demostración, tenemos un botón que debe esperar antes de realizar una acción, pero no se deshabilita cuando se hace clic varias veces. Esto se debe a que olvidamos agregar la palabra clave 'await' antes de la acción. Al habilitar la regla de 'no promesas flotantes', recibimos una queja de que las promesas deben ser esperadas. Agregar la palabra clave 'await' soluciona el problema. La última regla que quiero mostrar es 'no promesas mal utilizadas', que prohíbe proporcionar promesas en ubicaciones lógicas donde no se manejan correctamente. En la demostración, pasamos una función asíncrona al atributo 'onClick' de un botón, lo que genera una queja porque React no maneja funciones asíncronas. Al arrojar intencionalmente un error en la función asíncrona, demostramos que el error no puede ser manejado por el framework.
Veremos ambas cosas en esta demostración. Primero, quiero mostrar una violación directa aquí en este botón que es un poco más avanzado que el anterior. Se supone que debe esperar un segundo antes de hacer cosas. Y aunque funciona bien si simplemente hacemos clic una vez, si hacemos clic varias veces la demostración no se rompe como debería. Si hacemos clic varias veces veremos que en realidad no se deshabilita. ¿Qué está sucediendo aquí? Bueno, en esta versión sin promesas flotantes, llamamos a esta acción de ejemplo asíncrona que espera un segundo antes de llamar a esa misma acción de ejemplo y olvidamos agregar el 'await' antes de la acción. Observa cómo en esta está tipada como una función que devuelve una promesa void. Perdón. Entonces, nuestro código en realidad no espera la función antes de establecer los estados. Así que obtenemos este bonito efecto de discoteca si hacemos clic varias veces. Y si habilitamos la regla de no promesas flotantes, simplemente desactivo eso en la configuración para que no obtengamos un subrayado inmediatamente en los otros archivos. Obtenemos esta queja agradable, las promesas deben ser una lista de cosas que puedes hacer, como esperarlas, debes esperarlas. Así que voy a agregar un 'await' aquí, lo que significa que ahora esperamos la acción antes de que se llame a 'running false' y sí, nuestro código está arreglado como antes. ¡Yay! Ahora, las promesas flotantes no son honestamente mi regla favorita porque puede detectar muchas cosas realmente intensas, pero es muy similar en teoría a la última de las tres reglas que quiero mostrarte, que es la de no promesas mal utilizadas. Esta regla prohíbe proporcionar promesas en ubicaciones lógicas como declaraciones 'if' en lugares donde el compilador de TypeScript las permite, pero no se manejan correctamente. Las promesas flotantes son aquellas que se crean y luego no se manejan en absoluto, nadie las usa. Las promesas mal utilizadas son cuando manejas una promesa técnicamente, la proporcionas a algún lugar, pero ese lugar no tiene ninguna lógica para manejar promesas. Y para ilustrar la diferencia, te mostraré la última demostración que es nuestro componente de no promesas mal utilizadas. Aquí, pasamos esto a 'onClick' del botón, igual que antes. Y observa cómo tenemos el pequeño subrayado aquí, la queja, se esperaba una función que devuelve una promesa para el atributo o evitar el retorno, porque los eventos 'onClick' y 'on' en elementos DOM en frameworks como React no manejan funciones asíncronas. No manejan la idea de que la función podría tomar más tiempo síncrono constante para ejecutarse. Y en esta función, he hecho algo malvado. Dije que si el recuento de llamadas es mayor que dos y math.random es mayor que 0.5, vamos a lanzar un error, ¡atrapado!, lo que significa que debido a que este código asíncrono es
6. Manejo de Excepciones y Recursos
Si encuentras una queja o fallo en tu código, envolver todo en un bloque try-catch puede parecer una solución razonable. Sin embargo, aún pueden ocurrir excepciones potenciales, incluso con try-catch. Para manejar de forma segura las funciones asíncronas, se recomienda crear un controlador unificado utilizando una función como 'runSafely', que recibe una acción, una función que crea una promesa y un controlador onError síncrono. Al implementar este enfoque, puedes asegurarte de que tu aplicación permanezca segura y no se bloquee, incluso cuando los usuarios exploran casos extremos. Estas son tres reglas fantásticas de ESLint del complemento TypeScript ESLint que recomiendo encarecidamente habilitar. Para obtener más recursos, ESLint.org ofrece una excelente documentación y una interfaz de usuario fácil de usar. También puedes consultar la demostración de TypeScript ESLint React para ver una demostración de estos conceptos. Si deseas apoyar mi trabajo, puedes comprar mi libro 'Aprendiendo TypeScript' o patrocinarme en GitHub. Además, el equipo detrás de TypeScript ESLint tiene un colectivo abierto y agradecería enormemente tu apoyo. ¡Gracias por ver y disfruta del resto de la conferencia!
Ahora, la forma de hacer esto que podrías tener en un principio sería envolver todo en un bloque try-catch, lo cual es totalmente razonable. Oh, no, error. Y tal vez también running false allí. Lo cual solucionaría el error si actualizamos, hacemos clic un par de veces y finalmente obtenemos la queja. Vamos, aleatorización. Me estás matando aquí. Vamos. Oh, cielos. Bueno, genial. Parece que nunca se rompió. Apuesto a que si revisamos la consola, sí, tenemos algunos oh, no. Pero esto aún podría ser un problema porque ¿qué sucede si haces algo peligroso en tu bloque catch, que accidentalmente tiene un error, jaja? Y luego lo ejecutas nuevamente, y nuevamente te encuentras en el caso en el que, a pesar de try-catch, aún tienes una excepción potencial en tu código. Entonces, la única forma real de hacer esto de manera segura es crear algún tipo de controlador unificado para tus funciones asíncronas. Recomiendo encarecidamente que, si tu aplicación debe ser sólidamente segura y no se bloquee, incluso para los usuarios que exploran casos extremos, si realmente te importa que tus usuarios no experimenten bloqueos, haz alguna función como esta función runSafely, que recibe una acción, una función que crea una promesa, y un on error síncrono, luego llama a action.catch on error, para que puedas crear onClicks o otros controladores de eventos que sean un run safely de tu código asíncrono y luego algo que maneje el error. En este caso, solo para fines de demostración, he configurado un estado de error, que se muestra al usuario en un span con ARIA live assertive. Entonces, ahora, si vamos a nuestra demostración y hacemos clic, esto puede fallar de manera segura. Si falla, aún obtenemos el gotcha, y luego el botón vuelve a estar habilitado, incluso si el código tuvo un fallo. ¡Increíble! Esas son tres reglas fantásticas de ESLint del complemento TypeScript ESLint que recomiendo encarecidamente habilitar. Y eso es todo lo que quería mostrarte en la demostración. Para obtener más recursos, ESLint.org es fantástico, acaban de hacer una gran revisión del sitio con una excelente reescritura de la documentación y una nueva interfaz de usuario encantadora. Tuvimos un rediseño de sitio un poco menos impresionante en TypeScript. Y si quieres ver la aplicación de demostración, nuevamente, está enlazada en el lateral, demo de TypeScript ESLint React. Si quieres apoyarme en mi trabajo para mejorar todo esto para ti, puedes comprar mi libro Aprendiendo Typescript. Y por favor, patrocíname en GitHub, github.com/.sponsors/.JoshuaKGoldberg. Y si quieres apoyarnos como equipo detrás de TypeScript ESLint, tenemos un colectivo abierto, opencollective.com/.typescripteslint. Realmente necesitamos tu apoyo porque estamos muy subfinanciados y tenemos muy poco personal en este momento, y tenemos muchas características, problemas de performance y errores que nos gustaría abordar este próximo año. Dicho esto, muchas gracias por ver. Gracias a los organizadores de la conferencia por organizar todo esto. Puedes encontrarme en Twitter, Joshua K. Goldberg, y espero que disfrutes del resto de la conferencia. Adiós.