(Когда) должен ли я изучать компиляторы?

вы должны узнать о компиляторах, по той простой причине, что реализация компилятора делает вас лучшим программистом. Компилятор, безусловно, будет сосать, но вы многому научитесь за это время. Это отличный способ улучшить (или практиковать) свои навыки программирования.

вам не нужно, чтобы понять, компиляторы, чтобы быть хорошим программистом, но это может помочь. Одна из вещей, которые я понял, когда узнал о них, заключается в том, что компиляция-это просто перевод.

Если вы когда-либо переводили с одного языка на другой, вы только что сделали компиляцию.

Итак, когда вы должны узнать о компиляторах?

когда вы хотите, или это нужно для решения проблемы.

Если вы собираетесь работать на достаточно высоком уровне, где вы беспокоитесь о UML и самоописывающемся коде, вы можете легко пройти всю свою карьеру, не желая или не нуждаясь в интимных деталях того, как работает компилятор.

но, если вы кодер в окопах и не стремитесь управлять своими друзьями, вполне вероятно, что однажды вы поймете, что ведете войну со своим компилятором. Это может быть случайная ошибка, которая приходит или разговор в коридоре о пока-стихи - для петель. Вы поймете, что ассамблея (или IL, вероятно, в ближайшие годы) находится немного слева от того, что вам нужно, и другая вселенная развернется.

Итак, я полагаю, мой ответ таков: просто знайте о компиляторе сейчас, что он делает довольно много, но не беспокойтесь об этом слишком много.

теория компилятора полезна, но не существенна.

хотя есть некоторые методы, которые пригодятся, такие как лексический анализ и синтаксический анализ.

другой-обработка ошибок. Компиляторам нужно много таких. Пользовательский ввод может содержать что угодно, даже неожиданное. И тебе нужно разобраться со всем этим.

Если вы намерены написать чрезвычайно критичный для времени код в реальном времени, вы выиграете от понимания того, как компилятор оптимизирует ваш код. Тем не менее, вы на самом деле выиграете больше от понимания базовой архитектуры вашего оборудования.

по моему опыту, если вы понимаете, как работает оборудование и как компилятор интерпретирует ваш код, вы сможете написать код, который делает именно то, что вы намереваетесь сделать. Меня несколько раз ловили, когда я писал. код, который был оптимизирован компилятором и заставил аппаратное обеспечение делать то, что я не собирался.

в целом, понимание всего программно-аппаратного стека не важно для написания хороших алгоритмов и кода, но это, безусловно, поможет!

с практической точки зрения общая теория компиляторов-это меньше беспокойства, чем ассемблер, компоновщик и загрузчик для конкретной платформы. Например, я просто рассматриваю компилятор GCC как переводчик с моего языка высокого уровня C на язык сборки низкого уровня на платформе x86. И чаще всего, я вручную уточнение ;) код, сгенерированный компилятором.

с научной точки зрения, я настоятельно рекомендую вам изучить теория компилятора, она поможет вам понять великое идея этот компьютер построен на. Более того, у вас будет другой взгляд на мир.

курсы компиляторов обычно фокусируются на том, как высокоуровневый код анализируется и переводится в машинный код. Это очень интересно, но не важно. Более важно понять, что это за машинный код, который генерируется компилятором, чтобы вы поняли, как работает компьютер и какова стоимость каждой языковой конструкции.

поэтому я бы сказал, что вы должны знать язык сборки (я имею в виду ограниченное подмножество языка сборки для одной архитектуры), чтобы понять, как работает компьютер, и последнее, безусловно, требуется для компетентного программиста, чтобы он понимал, что такое ошибка сегментирования, когда оптимизировать, а когда нет и другие подобные низкоуровневые вещи.

просто мое мнение, но я считаю, что компиляторам не уделяется достаточного внимания в курсах CS, не в моем, и не в любом другом afaik. Я думаю, что любой CS major должен делать 2 вещи после творческого отпуска или окончания своего основного: повторно изучать, если необходимо, конечные автоматы и, возможно, язык формальных методов. Применять его. Напишите простой компилятор с этими знаниями. У Алекса Айкена есть очень полезный онлайн-учебник по написанию компилятора для классного объектно-ориентированного языка, который является подмножеством Scala по состоянию на 2013 год ver. По крайней мере, на момент написания.