Лекция 1. Языки программирования и компиляторы (Введение)

История вопроса. Языки программирования и их семантика. Интерпретаторы и компиляторы. Корректность и частичная корректность компилятора.
Лекция №1 в курсе "Языки программирования и компиляторы", весна 2018
Преподаватель курса: Дмитрий Юрьевич Булычев, Даниил Андреевич Березун, Екатерина Андреевна Вербицкая, Антон Викторович Подкопаев

[popcorni]

Те кто пишут про плохое качество видео, не понимают что значит "плохое качество". На самом деле поди поищи видео в открытом доступе с таким качеством и специфичностью материала.
Зато видео с прекрасной картинкой и микрофоном полно. Только какой толк, если в самой картинке и звуковом сопровождении нету самого знания. А тут есть, за что спасибо большое!

[alucard]

удивительно сколько полезного на этом канале и бесплатно! огромное спасибо всем Вам и вашим лекторам!

[IGRDEV_]

50:41 Ответ на самый важный вопрос - Откуда берутся первые компиляторы если их нет?

[isfvbix]

Изучаю С++ год самостоятельно. "Простое" задание из книги Страуструпа по написанию своего упрощенного препроцессора вылилось в неделю поиска материала. Рад, что нашел эти лекции. С удовольствием смотрю, чтобы понимать общие принципы. Это удивительно, что сейчас можно бесплатно приобщиться к процессу обучения, сидя у себя дома.

[macarchev]

Лекция, конечно, хорошая, но, неужели уровень звука нельзя было сделать чуть выше? Лектор чего-то в фоне бубнит себе под нос, процентов 25-30% вообще не воспринимается. По факту получилось видео мужика на фоне доски и фоновым бу-бу-бу

[scaymetonn]

Интересное полезное видео, спасибо, но звук невыносимый, что у него с микрофоном, ничего не слышно

[dimadmitrii]

Спасибо за лекцию, но 1-е почему не вроде Си это чистый компилятор ))) и где перед сканером(лексером) блок ввод-вывода(или драйвер ввода вывода)?

[kovesik]

Что необходимо для того, чтобы попасть на ваши лекции?

[xbgrvyt]

А можете, пожалуйста, поделиться конкретными версиями ocaml, GT и ostap, которые необходимо использовать для выполнения домашнего задания?
При сборке проекта вылезают неочевидные ошибки:
+ в GT/_tags в проекте plugins версии v0.2.0 не прописана библиотека Base
+ потом возникает вот эта ошибка, которую я вообще не понимаю, как чинить.
ocaml 4.10.0
GT 0.2.0
ostap из master, на настоящий момент коммит 6565c87, но до его сборки я даже не дошёл

# + ocamlfind ocamldep -package ppxlib -syntax camlp5o -package camlp5, camlp5.gramlib -modules camlp5/extension.ml > camlp5/extension.ml.depends
# File "camlp5/extension.ml", line 153, characters 60-61:
# While expanding quotation "class_type":
# Parse error: end of input expected after [class_type] (in [class_type_eoi])
# File "camlp5/extension.ml", line 1:
# Error: Error while running external preprocessor
# Command line: camlp5 -nolib '-I' 'pa_o.cmo' 'pa_op.cmo' 'pr_dump.cmo' 'camlp5/extension.ml' > /tmp/ocamlpp9a6d9c
#
# Command exited with code 2.