Construyendo Bolt: Mi viaje hacia un compilador listo para producción

Esta publicación, la primera de una serie, detalla la experiencia del autor construyendo Bolt, un lenguaje de programación orientado a objetos concurrente al estilo de Java. Describe la motivación detrás de la creación de un compilador, explicando el proceso usando la analogía de un operador de telégrafo traduciendo el habla a código Morse. El autor cubre las etapas principales del compilador, como el análisis léxico, el análisis sintáctico, la verificación de tipos y la generación de código, destacando las características avanzadas de Bolt, como objetos, clases, herencia, anulación de métodos, concurrencia y genéricos. El artículo discute la tipificación estática versus dinámica y el papel de LLVM, explicando cómo Bolt compila a LLVM IR para optimización y generación de código de máquina. Único para Bolt es su fase de verificación de tipos doble, que garantiza la seguridad concurrente. La serie promete un tutorial práctico sobre cómo construir un compilador más allá de los lenguajes de juguete.