Семинар 02-19

Кратко, что было на семинаре в четверг. Всего нас было трое, так что в основном общались на близкие к основной темы. Начали с понятия подстановки и β-редукции, нормальной формы, то есть такой, когда уже никакие редукции дальше над выражением невозможны, дальше появились понятия слабой и сильной нормализации. Потом решили поупражняться, как же это всё делается руками и разобрали пример.
( пример )

На этом примере иллюстрируется понятие лексического (статического) способа разрешения переменных (lexical scoping), когда значение переменной задаётся ближайшим, самым первым определением. Это отличается от динамического разрешения (dynamic scoping) при котором существуют глобальные переменные и их значение определяется во время выполнения и ближайшим окружением. Это всё связано с понятием замыкания (closure) с помощью которого можно эмулировать объектно-ориентированное программирование.

(no subject)

Хоть температура ещё несколько мешает радоваться жизни, однако уже пошёл участвовать в интеллектуальном тесте - турнире по терминомике. В этот раз авторы разбирают Российскую Конституцию и предлагают ответить на элементарные вопросы, которые сами по себе многое проясняют. Например, по поводу Статьи 2:

3. Когда носителем суверенитета, сувереном объявляют весь народ, непонятно, кого он может подчинить.

4. Если в народ включены не все, то было бы честно разъяснить, кто входит в народ и подчиняет, а кто — нет и подчиняется.

Предлагается оценить, корректно или нет каждое такое высказывание. Свои варианты ответов можно отправлять до 23:59 28-го февраля 2009 г.