Возможно, он хотел сказать не "теоретиков", а "академиков". "Есть разделение на академиков и практиков"

Возможно. Но я намекнул именно на этот аспект вопроса. 😊

@Sergey_Sverdlov Добавлено, спасибо!

К сожалению, учитывая историю академического образования, знания академические слабо применимы к рабочим вопросам обычно

Можно сразу дать выбор. Годами ботать и потом быть специалистом по чему-то нетривиальному, или выучить джаваскрипт и "шлепать круды" :)

Если тот, кто спрашивал совета как обучиться программированию еще здесь, то я бы посоветовал такую последовательность: изучить понятия операционной, денатоционной и аксиоматической семантики, почитать статьи Гордона Плоткина и Гленна Винскеля. Затем перейти к лямбда исчислению. Затем уже можно изучить какой-нибудь функциональный язык вроде Хаскеля (уже понимая, что многие вещи являются синтаксическим сахаром).
Затем нужно погрузиться в мат.логику: proof theory, model theory и в конце category theory. Понимая как это все устроено, можно устраиваться на работу и приобретать промышленный опыт.

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

Если серьёзно, то это мнимый выбор для человека, который ещё не представляет как это вообще ощущается — "шлепать круды" или "быть специалистом по чему-то нетривиальному". 😞

Неплохо написано, я оценил. 👍
Но на всякий случай поясню для непосвящённых: это был сарказм.

В телеграм-канале, откуда этот перепост, студентам предлагается тестировать фронт-енд. Приглашаю к участию.

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

Я согласен с Петром, давайте к компиляторам.

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

Вообще если вспоминать как нас в школе учили программированию, то это было примерно так (где-то 2001-2003 г):
1. Управление роботом в лабиринте. У робота примитивные команды типа шаг влево/вправо/вверх/вниз/закрасить клетку и проверки типа "закрашена ли клетка снизу?" или "свободна ли клетка справа?". Код вводился в IDE, которая предотвращает синтаксические ошибки (т.е. не даёт редактировать текст, а позволяет выбирать нужные команды из меню). Разработано в самой школе.
2. Очень простой функциональный язык (настолько простой, что функция не является объектом первого рода, нет глобального state) - тоже разработан внутри школы
3. Паскаль с довеском в виде разных коллекций (структур данных) и framework-а для модульного тестирования (т.е. писать предлагалось не всю программу, а только функции, которые фреймворк будет вызывать). Надстройка тоже написана внутри школы
4. Немного C++
5. Курсовой проект

Цель изучения программирования — изучить программирование. Любой язык затем можно изучить за две недели.

ну или за 21 день, если это C++

Чтобы не требовалось "индустрии" все больше и больше ремесленников, владеющих сиюминутными "технологиями", проявить себя должны те, кого называют tool makers. То есть это наша с вами задача -- автоматизировать нелегкий, рутинный, ручной труд кодеров, а профессию программиста заставить рассматривать в качестве творческой. Поэтому — компиляторы. Примерно так надо выводить любую тему в ontopic :)

Да, основы любого языка можно изучить за 2 недели. Стать хорошим специалистом на C++ можно за 3 года (при том, что обучение астронавтов NASA занимает 18 месяцев).

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

+1

Господа, обучение программированию - увлекательная тема, но давайте оффтоп плавно сворачивать