(Cuándo) Debo aprender compiladores?

Deberías aprender acerca de los compiladores, por la sencilla razón de que implementar un compilador te hace un mejor programador. El compilador seguramente apestará, pero habrás aprendido mucho durante el camino. Es una gran manera de mejorar (o practicar) su habilidad de programación.

No es necesario entender a los compiladores para ser un buen programador, pero puede ayudar. Una de las cosas que me di cuenta al aprender sobre ellos, es que compilar es simplemente una traducción.

Si alguna vez ha traducido de un idioma a otro, acaba de hacer la compilación.

Entonces, ¿cuándo debería aprender sobre los compiladores?

Cuando lo desea, o lo necesita para resolver un problema.

Si vas a trabajar a un nivel lo suficientemente alto donde te estás preocupando por UML y el código autodescriptivo, fácilmente podrías ir toda tu carrera sin querer o necesitar detalles íntimos de cómo funciona el compilador.

Pero, si eres un codificador en las trincheras y no tienes aspiraciones de manejar a tus amigos, es probable que un día te des cuenta de que estás librando una guerra con tu compilador. Podría ser un error aleatorio que aparece o una conversación en el pasillo sobre while-verses-for bucle. Te darás cuenta de que la asamblea (o IL, probablemente, en los próximos años) está un poco a la izquierda de lo que necesitabas y otro universo se desplegará.

Así que, supongo que mi respuesta es, solo tenga en cuenta que el compilador por ahora, está haciendo mucho, pero no se preocupe demasiado.

La teoría del compilador es útil, pero no esencial.

Aunque hay algunas técnicas que son útiles, como el análisis léxico y el análisis.

Otro es el manejo de errores. Los compiladores necesitan muchos de estos. La entrada del usuario puede contener cualquier cosa, incluso lo inesperado. Y tienes que lidiar con todo esto.

Si tiene la intención de escribir código en tiempo real extremadamente crítico, se beneficiará de entender cómo el compilador optimiza su código. Sin embargo, en realidad se beneficiará más al comprender la arquitectura subyacente de su hardware.

Desde mi experiencia, si entiendes cómo funciona el hardware y cómo el compilador interpreta tu código, podrás escribir código que haga exactamente lo que pretendes que haga. He sido capturado en varias ocasiones, escribiendo código que me optimizó el compilador e hizo que el hardware hiciera algo que no pretendía.

En general, entender toda la pila de software-hardware no es esencial para escribir buenos algoritmos y código, pero sin duda ayudará!

Desde una perspectiva práctica, la teoría general del compilador es menos de preocupación que un ensamblador, enlazador y cargador a una plataforma específica. Por ejemplo, solo considero el compilador GCC como un traductor de mi lenguaje C de alto nivel al lenguaje ensamblador de bajo nivel en una plataforma x86. Y más a menudo que no, manualmente refino ;) el código generado por el compilador.

Desde una perspectiva científica, le sugeriría fuertemente que aprenda la teoría del compilador, lo hará ayudarle a entender la gran idea sobre la que se basa la computadora. Y aún más, usted tendrá un ojo diferente sobre el mundo.

Los cursos de compiladores generalmente se centran en cómo se analiza el código de alto nivel y se traduce en código máquina. Eso es muy interesante, pero no crucial. Es más importante entender lo que es este código máquina que es generado por el compilador para que usted entienda cómo funciona una computadora y cuál es el costo de cada construcción de lenguaje.

Así que prefiero decir que usted debe saber un lenguaje ensamblador (me refiero a un subconjunto limitado de lenguaje ensamblador para una arquitectura) para entender cómo funciona una computadora y esto último es definitivamente necesario para un programador competente para que entienda qué es la falla de segmentación, cuándo optimizar y cuándo no y otras cosas similares de bajo nivel.

Solo mi opinión, pero creo que los compiladores no se le da suficiente atención en los cursos de CS, no en la mía, y no en cualquier otro afaik. Creo que cualquier CS mayor debe hacer 2 cosas después de un año sabático o terminar su mayor: Volver a aprender si es necesario autómatas finitos y tal vez un lenguaje de métodos formales. Aplícalo. Escriba un compilador simple con este conocimiento. Alex Aiken tiene un tutorial en línea muy útil sobre cómo escribir un compilador para el COOL (Classroom Object Oriented Language), que es un subconjunto de Scala como de 2013 ver. Al menos en el momento de escribir.