Схема с. Схема ИЛИ: особенности, виды и применение в электронике

Техника стрижки

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

1. Начните с выделения основных зон вертикальным и горизонтальным проборами, как на фотографии.
2. Зоны темени отделают и закрепляют зажимами, а затылочную делают еще на две половины. Начинают работать с нижними слоями около шеи.
3. Состригают с нулевой оттяжкой прядь посередине и постепенно выполняя закругление, двигаются влево и вправо.
4. Параллельным пробором отделите следующую часть волос и стригите с наложением на нижний ярус, но длиннее на 1-2 см.
5. Выделите часть волос для челки, зачешите вперед и состригите чуть ниже бровей контрольную центральную прядь. Смотрите схему.
6. Височные зоны обрезают с оттяжкой под углом с удлинением по направлению «к ушам».
7. Освободите заколотые волосы и начиная выделять небольшие участки, сравнивайте с уже срезанными локонами.
8. В конце попросите клиента встряхнуть голову, чтобы волосы заняли позицию естественного роста, это поможет устранить случайные недостатки прически, укоротить выбивающиеся из общей массы пряди.

Видео: Урок классического Сессуна

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

https://youtu.be/Ql0OP4XU4X0

Видео: На вьющихся коротких волосах

Описание поэтапного выполнения стрижки на кудрявых волосах после легкой химии.

Видеоурок: Градуированная стрижка в стиле сессон

Разновидность классического варианта с рваными кончиками.

Уход и способы укладки

Как говорилось ранее, уход неприхотлив. Коррекции придется делать на коротких прядях не реже 1 раза в 3-4 недели, а сессон на средних волосах – раз в 4-6 недель.

Укладка может быть:

1. Утюжком создают ровные линии. Такой способ подойдет любительницам стильных и оригинальных образов.
2. Романтичной, светлой и женственной можно стать, воспользовавшись феном и круглой крупной щеткой, которые во время укладки помогут окантовке получить закругленную вовнутрь форму.
3. Для торжества можно прибегнуть к помощи электрощипцов или бигуди. В конце зафиксируйте конструкцию лаком.
4. Если начесать волосы и уложить в хаотичном порядке, то получится укладка в стиле гранж. Подойдет для эпатажных молодых особ.

Примеры звезд

Основоположницей моды на Сессун стала непревзойденная Мирей Матье. Популярность в массы на стрижку дошла к концу 70-х годов.

Мирей Матье

В современном мире эту прическу выбирают знаменитости, стремящиеся сделать акцент на своем ухоженном внешнем виде, утонченности и женственности. В России такую стрижку выбирала для себя Тина Канделаки.

Из зарубежных селебритис хочется отметить:

Рианна и Кира Найтли

Перис Хилтон и Наоми Кэмпбелл

Кэти Холмс и Джессика Альба

Прическа сессон: фото

— Начало работы со схемой

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

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

Установка CHICKEN Схема

CHICKEN — это интерпретатор и компилятор схемы с собственной системой модулей расширения, которая называется «яйца».Он способен компилировать Scheme в собственный код, сначала скомпилировав Scheme в C.

Debian или Ubuntu или другие производные дистрибутивы:

  sudo apt-get install ящик для цыплят
  

Fedora / RHEL / CentOS:

  sudo yum установить корзину для цыплят
  

Arch Linux:

  sudo pacman -S курица
  

Gentoo:

  sudo emerge -av dev-схема / курица
  

OS X с Homebrew:

  заварить курицу установить
  

OpenBSD

  doas pkg_add -vi курица
  

Microsoft Windows

• Установить MSYS2

• Запустите оболочку MSYS2 MinGW-w64

• Установите предварительные реквизиты, запустив:

    pacman -S mingw-w64-cross-toolchain base-devel mingw-w64-x86_64-gcc winpty wget
    

• Загрузите архив последней версии, набрав:

    wget https: // code. call-cc.org/releases/current/chicken.tar.gz
    

• Распакуйте tarball, запустив tar xvf chicken.tar.gz

• Введите извлеченный каталог, например, набрав cd chicken-4.11.0

• Запустите make PLATFORM = mingw-msys install

Если у вас возникли проблемы с запуском csi , попробуйте вместо этого запустить winpty csi

Чтобы использовать схему CHICKEN REPL, введите в командной строке csi .

Чтобы скомпилировать программу Scheme с помощью CHICKEN, запустите csc program.scm , который создаст исполняемый файл с именем program в текущем каталоге.

Установка модулей

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

Вы устанавливаете выбранные яйца с помощью этой команды:

  sudo chicken-install [название яйца]
  

Использование REPL

Вы можете добавить поддержку readline в свой REPL, чтобы редактирование строк в csi работало так, как вы могли ожидать.

Для этого запустите команду sudo chicken-install readline и затем создайте файл с именем ~ / .csirc со следующим содержимым:

  (используйте строку чтения)
(текущий-вход-порт (make-readline-порт))
(файл истории установки #f "/.csi.history")
  

Установка мит-схемы

Ниже приведены примеры установки схемы MIT / GNU:

Установка Debian / Ubuntu:

  sudo apt-get install mit-scheme
  

Ручная установка:

Загрузите двоичный файл Unix прямо из проекта GNU, затем следуйте инструкциям с официальной веб-страницы:

  # Распаковать tar файл
tar xzf mit-scheme. tar.gz

# перейти в каталог
CD MIT-схема / SRC

# настроить ПО
./configure
  

По умолчанию программное обеспечение будет установлено в / usr / local , в подкаталогах bin и lib. Если вы хотите, чтобы он был установлен в другом месте, например / opt / mit-scheme , передайте параметр --prefix скрипту настройки, как в ./configure --prefix = / opt / mit-scheme .

Сценарий configure принимает все обычные аргументы для таких сценариев и дополнительно принимает некоторые из них, относящиеся к схеме MIT / GNU.Чтобы увидеть все возможные аргументы и их значения, выполните команду ./configure --help .

  # сборка
сделать компиляцию микрокода

# компилировать
make install # может потребовать прав суперпользователя (в зависимости от конфигурации)
  

Windows 7 :

Самостоятельно устанавливаемый исполняемый файл можно найти на официальном сайте.

MIT / GNU Scheme распространяется как самоустанавливающийся исполняемый файл. Установка программного обеспечения проста.Просто запустите загруженный файл и ответьте на вопросы установщика. Программа установки позволит вам выбрать каталог, в который будет установлена ​​схема MIT / GNU, и имя папки, в которой будут размещены ярлыки.

Схема

Проект 4: Интерпретатор схем

Применяются вызовы Eval,
который просто снова вызывает eval!
Когда все это закончится?

Введение

В этом проекте вы разработаете интерпретатор для подмножества Язык схемы.По мере продвижения подумайте о проблемах, которые возникают в дизайн языка программирования; многие языковые особенности являются побочным продуктом решений по реализации в интерпретаторах и компиляторах.

Вы также будете реализовывать в Scheme несколько небольших программ, включая count_change функция, которую мы изучали на лекции. Схема простая, но мощный функциональный язык. Вы должны найти то, о чем узнали Python полностью переносится на Scheme, а также на другие языки программирования.Учить подробнее о схеме вы можете прочитать в исходной структуре и Интерпретация компьютерных программ онлайн бесплатно. Примеры из главы 1 и 2 включены в качестве тестовых примеров для этого проекта. Язык функции из глав 3, 4 и 5 не являются частью этого проекта, но конечно, вы можете расширить свой интерпретатор, чтобы реализовать больше язык. Поскольку мы включаем только часть языка, ваш переводчик не будет точно соответствовать поведению других интерпретаторов, таких как STk.

Проект завершается открытым конкурсом графики, в котором вам предлагается создавать рекурсивные изображения всего в нескольких строках схемы. В качестве примера того, что вы могли бы create, на картинке выше абстрактно показаны все способы внесения сдачи за 0,50 доллара. с использованием валюты США. Все цветы появляются на конце ветки длиной 50. Маленькие. углы в ветке указывают на дополнительную монету, а большие углы указывают на новую номинал валюты. В конкурсе у вас тоже будет шанс раскрыть свой внутренний рекурсивный художник.

Этот проект включает несколько файлов, но все изменения будут внесены в первые три: scheme.py , scheme_reader.py и tests.scm . Вы можете скачать все код проекта в виде zip-архива.

Логистика

Это проект, состоящий из двух частей. Как и в предыдущем проекте, вы будете работать в команда из двух человек, человека А и человека Б. Все вопросы помечены последовательно, но некоторые обозначаются для определенных людей префиксом их буква (А или Б).Оба партнера должны понимать решения для всех вопросов.

В первой части вы будете разрабатывать интерпретатор поэтапно:

• Схема чтения выражений
• Вызов примитивных процедур
• Оценка и определение символов
• Лямбда-выражения и определение процедуры
• Вызов пользовательских процедур
• Оценка различных специальных форм

Во второй части вы реализуете процедуры схемы, аналогичные к некоторым упражнениям, которые вы ранее выполнили на Python.

Есть 27 возможных точек правильности и 3 точки композиции. В оценка композиции в этом проекте позволит оценить ясность вашего кода и ваша способность писать тесты, которые проверяют поведение вашего переводчик.

Язык схемы

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

Чтение-Eval-Print. Запускать в интерактивном режиме, интерпретатор читает схему выражения, оценивает их и распечатывает результаты. Интерпретатор использует scm> как подсказка.

    scm> 2
    2
    scm> (((лямбда (f) (лямбда (x) (f f x)))
          (лямбда (f k) (если (ноль? k) 1 (* k (f f (- k 1)))))) 5)
    120
   

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

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

    scm> (нагрузочные тесты)
   

Обозначения. В отличие от некоторых реализаций Scheme, в этом проекте числа и логические значения нельзя использовать в качестве символов. Символы не могут быть заглавные.

Черепаха Графика. В дополнение к стандартным процедурам Схемы, мы включить вызовы процедур в пакет Python turtle .Прочтите его документация.

Примечание : Модуль Python turtle может не быть установленным по умолчанию на вашем персональном компьютере. Тем не менее На учебные машины устанавливается модуль черепаха . Итак, если вы хотите создать графику черепахи для этого проекта (т.е. для конкурс), то вам нужно либо установить черепаху на свой персональный компьютер или тестируйте на своей классной учетной записи.

Тестирование

Тесты для этого проекта в основном взяты из Схемы учебник, которым 61А пользовался много лет.Примеры из соответствующих главы (и еще несколько примеров для проверки различных угловых случаев) появляются в tests.scm .

Вы также можете сравнить вывод вашего интерпретатора с ожидаемым выводом запустив scheme_test.py .

    python3 scheme_test.py
   

Файл tests.scm содержит схему выражения с вкраплениями комментариев в форме:

    (+ 1 2)
    ; ожидать 3
    (/ 1 0)
    ; ожидать ошибки
   

Вверху, scheme_test.py оценит (+ 1 2) используя свой код в scheme.py , затем выведите ошибку теста если 3 не возвращается. Второй пример проверяет наличие ошибки (но не конкретное сообщение об ошибке). Скрипт scheme_test собирает эти ожидаемые результаты и сравнивает их с фактическими результатами программа, подсчет и отчет о несоответствиях.

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

Важно : По мере продолжения работы над проектом добавляйте новые тесты в начало из tests.scm , чтобы проверить поведение вашей реализации.

Наконец, как всегда, вы можете запустить тесты документации для проекта, используя:

    Схема python3 -m doctest.py scheme_reader.py
   

Не забудьте использовать декоратор trace из ucb модуль для отслеживания пути выполнения в вашем переводчик.

По мере разработки интерпретатора схемы вы можете обнаружить, что Python вызывает различные неперехваченные исключения при вычислении выражений схемы. В следствии, ваш интерпретатор схемы выйдет из строя. Некоторые из них могут быть результатом ошибок в вашей программе, и некоторые могут быть полезными индикаторами ошибок в пользовательской программы.Первое должно быть исправлено (конечно!), А второе — поймано и заменено на SchemeError исключения, которые перехватываются и распечатываются как сообщения об ошибках с помощью цикла чтения-оценки-печати схемы, который мы написано для вас. Исключения Python, которые «просачиваются» пользователю в необработанном виде ошибки в вашем интерпретаторе (трассировки предназначены для разработчиков, а не мирные жители).

Запуск интерпретатора схем

Чтобы запустить интерпретатор схемы в интерактивном режиме, введите:

    схема python3.ру
   

    python3 scheme. py tests.scm
   

    scm> 1
    1
    scm> 42
    42
    scm> #t
    Правда
   

    scm> (выход)
   

Читатель

Функция scheme_read в scheme_reader.py анализирует экземпляр Buffer ( buffer.py ), который возвращает действительные токены схемы при вызовах , текущих и pop методов. Он возвращает следующее полное выражение схемы в src buffer, используя следующее внутреннее представление:

Тип данных схемы	Наше внутреннее представительство
Номера	Встроенные в Python типы данных int и float .
Символы	Встроенный в Python тип данных string .
Логические ( #t , #f )	Встроенный Python True , False значения.
Пар	Класс Pair , определенный в scheme_reader.py файл.
ноль	Объект nil , определенный в scheme_reader.py файл.

Задача 1 (1 балл). Завершите функцию scheme_read в scheme_reader.py , добавив поддержку цитаты.

• Если следующий токен в src — это строка "nil" , вернуть объект nil . (предоставлена)
• Если следующий токен не является разделителем, то это атом. Верни это. (предоставлена)
• Если текущий токен относится к началу цитаты (например, как 'бублик ), то рассматривайте цитируемый символ как особую форму (запросить бублик) .
• Если текущий токен — левая скобка "(" , вернуть результат read_tail . (предоставлена)

Задача 2 (2 балла). Завершите функцию read_tail в scheme_reader.py путем добавления поддержки точечных списков. Пунктирная список в схеме не обязательно является правильно сформированным списком, но вместо этого имеет произвольный второй атрибут , который может быть любым значением схемы.

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

Рассмотрим случай вызова scheme_read на входе « (1 2 . 3) «. Функция read_tail будет вызываться на суффикс « 1 2. 3) », то есть

• пара, состоящая из значения схемы 1 и значения хвоста « 2. 3) », что является
  • пара, состоящая из значения схемы 2 и значения схемы 3 .

Подсказка: Чтобы убедиться, что только один элемент следует за точкой, после встречает '.' , прочтите еще одно выражение, а затем убедитесь, что следует закрывающая скобка.

Чтобы убедиться, что ваши решения проблем 1 и 2 работают правильно, запустите doctests для scheme_reader.py и протестируйте ваш парсер в интерактивном режиме бегом,

    # python3 scheme_reader.py
    читать> 42
    42
    читать> '(1 2 3)
    (цитата (1 2 3))
    читать> ноль
    ()
    читать> '()
    (цитата ())
    читать> (1 (2 3) (4 (5)))
    (1 (2 3) (4 (5)))
    читать> (1 (9 8).7)
    (1 (9 8). 7)
    читать> (привет. (cs. (студент)))
    (Привет, студентка CS)
   

Оценщик

Все дальнейшие изменения в интерпретаторе будут производиться в схема.py . Для каждого вопроса добавьте несколько тестов вверху tests. scm , чтобы проверить поведение вашей реализации.

Глава В 3.7 конспектах курса описана структура схемы. оценщик. В данной реализации scheme_eval функция завершена, но некоторые из используемых ею функций или методов реализовано.Фактически, оценщик может оценивать только самооценку. выражения: числа, логические значения и nil .

Задача 3 (2 балла). Реализуйте apply_primitive , которая вызывается scheme_apply для PrimitiveProcedures . Примитивные процедуры применяются путем вызова соответствующей функции Python который реализует процедуру.

Примитивные процедуры схемы представлены как экземпляры PrimitiveProcedure класс, определенный в схема_примитивы.py . Примитивная процедура имеет два атрибуты экземпляра:

• self.fn — функция Python, реализует примитивную процедуру схемы.
• self.use_env — это логический флаг, который указывает, не эта примитивная процедура будет ожидать, что текущая среда будет передается как последний аргумент. Среда требуется, например, для реализации примитивной процедуры eval .

Чтобы увидеть список всех примитивных процедур схемы, используемых в проекте, посмотрите в файле scheme_primitives.py . Любая функция, украшенная @primitive будет добавлен в глобально определенный _ПРИМИТИВЫ список.

Функция apply_primitive принимает PrimitiveProcedure экземпляр, список значений аргументов схемы, и текущая среда. Ваша реализация должна:

• Преобразует список схемы в список аргументов Python.
• Если procedure.use_env имеет значение True , то добавьте текущую среду env в качестве последнего аргумента.
• Вызов procedure. fn для этих аргументов ( подсказка : используйте * обозначение).
• Если вызов функции приводит к ошибке TypeError выбрасывается, то вместо этого вызывает SchemeError .

Доктест для apply_primitive теперь должен пройти.Тем не мение, ваш интерпретатор схемы по-прежнему не сможет применять примитив процедуры, потому что ваш интерпретатор схемы все еще не знает как найти значения для символов примитивных процедур (таких как + , * и вагон ).

Задача 4 (2 pt) Реализуйте поиск метод Рама кл. Он принимает символ (строку Python) и возвращает значение, связанное с этим именем в первом кадре среды, в которой оно найденный. Frame представляет среду через два экземпляра атрибуты:

• self.bindings — это словарь, который отображает символы схемы (представлены как строки Python) в значения схемы.
• self.parent является родительским Frame пример. Родителем Global Frame является None .

• Вернуть значение символа в self.привязки , если они существуют.
• В противном случае ищет этот символ в родительском элементе, если он существует.
• В противном случае вызовите SchemeError .

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

    scm> +
    <объект scheme_primitives.PrimitiveProcedure по адресу 0x2742d50>
    scm> (+1 2)
    3
    scm> (* 3 4 (- 5 2) 1)
    36
    scm> (нечетное? 31)
    Правда
   

Задача A5 (1 балл).В методе отсутствуют две части do_define_form , который обрабатывает (определить ...) специальные формы. Реализуйте только первую часть, которая связывает имена со значениями но не создает новых процедур.

    scm> (определите tau (* 2 3.1415926))
   

Теперь вы можете давать имена значениям и оценивать символы для эти ценности.

    scm> (определить x 15)
    scm> (определить y (* 2 x))
    scm> y
    30
    scm> (+ у (* у 2) 1)
    91
    scm> (определить x 20)
    scm> x
    20
   

Задача B6 (1 балл).Реализовать do_quote_form функция, которая оценивает специальную форму цитаты . Как только у вас есть сделав это, вы можете оценивать цитируемые выражения.

    scm> 'привет
    Здравствуйте
    scm> '(1,2)
    (1. 2)
    scm> '(1 (2 три. (4. 5)))
    (1 (2 три 4. 5))
    scm> (автомобиль '(а б))
    а
    scm> (eval (cons 'автомобиль' ('(1 2))))
    1
   

На этом этапе проекта ваш интерпретатор схемы должен быть иметь возможность поддерживать следующие функции:

• Вычислить атомы, которые включают числа, логические значения, ноль и символы,
• Оцените предложение , специальную форму ,
• Списки оценок,
• Определить символы и
• Вызов примитивных процедур, например (+ (- 4 2) 5)

Пользовательские процедуры

В нашем интерпретаторе пользовательские процедуры будут быть представленными как экземпляры класса LambdaProcedure , определен в схеме . py . A Лямбда-процедура instance имеет три атрибута экземпляра:

• self.formals — это список схем формальных параметры (символы), которые называют аргументы процедуры.
• self.body представляет собой одно выражение схемы; тело процедура.
• self.env — среда, в которой выполнялась процедура. определены.

Задача 7 (2 балла). Реализуйте специальную форму begin , который имеет список из одного или нескольких подвыражений, каждое из которых оценивается в заказ.Значение последнего подвыражения — это значение начало выражения.

    scm> (начало (+ 2 3) (+ 5 6))
    11
    scm> (начало (отображение 3) (новая строка) (+ 2 3))
    3
    5
   

Примечание : Когда scheme_eval оценивает одно из условные конструкции (, если , и , или , условное , начало , case ), обратите внимание, что он вызывает scheme_eval на возвращаемом значении соответствующего do_FORM процедуры ( do_begin_form , do_cond_form и т. д.). Позаботьтесь о том, чтобы интерпретатор вашей схемы случайно не позвонил scheme_eval на одном и том же значении дважды, иначе вы могли бы получить следующее недопустимое поведение:

    scm> (начало 30 'привет)
    Ошибка: неизвестный идентификатор: привет
   

Задача 8 (2 балла). Реализуйте метод do_lambda_form , который создает значений LambdaProcedure путем вычисления лямбда выражений. Хотя вы не можете вызвать пользовательский процедуры, вы можете убедиться, что вы правильно ее прочитали, оценка лямбда-выражения.

    scm> (лямбда (x y) (+ x y))
    (лямбда (x y) (+ x y))
   

    STk> ((лямбда (y) 42 (* y 2)) 5)
    10
   

    scm> (лямбда (y) 42 (* y 2))
    (лямбда (у) (начало 42 (* у 2)))
   

Задача A9 (1 балл). В настоящее время ваш интерпретатор схемы возможность определять определяемые пользователем процедуры следующим образом:

    scm> (определить f (lambda (x) (* x 2)))
   

    scm> (определить (f x) (* x 2))
   

Измените функцию do_define_form так, чтобы она обрабатывает приведенную выше сокращенную форму определения процедуры.Убедитесь, что это может обрабатывать тела с несколькими выражениями. Подсказка : создайте лямбда выражение и оцените его с помощью do_lambda_form .

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

    scm> (определить (квадрат x) (* x x))
    scm> квадрат
    (лямбда (х) (* х х))
   

Задача 10 (2 балла). Реализуйте метод make_call_frame из Frame класс.Должно:

• Создание нового фрейма, родителем которого является self .
• Привязка формальных параметров к связанным с ними значениям аргументов.

Задача B11 ​​ (1 балл). Реализуйте check_formals функция, вызывающая ошибку всякий раз, когда список формальных параметров схемы передано ему недействительно. Вызов SchemeError , если список formals не является правильно сформированным списком символов, или если какой-либо символ повторяется.

Задача 12 (2 балла). Реализовать scheme_apply правильно применить определенные пользователем экземпляры LambdaProcedure . (Случай MuProcedures обрабатывается позже в проекте). Должно:

• Создать новый Frame со всеми формальными параметрами привязаны к их значениям аргументов.
• Оценить тело процедуры в среде представлен этим новым фреймом.
• Вернуть значение вызова процедуры .

После заполнения scheme_apply пользовательские функции (и лямбда-функции) должны работать в вашем интерпретаторе схемы. Сейчас отличное время, чтобы еще раз вернуться к тестам в tests.scm и убедиться, что вы передаете те, которые включают определение (разделы 1.1.2 и 1.1.4). Вы также следует добавить дополнительные тесты, чтобы убедиться, что ваш интерпретатор ведет себя так, как вы ожидаете.

Особые формы

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

На схеме только #f (также известный как false или False ) — ложное значение. Все остальные значения являются истинными. Вы может проверить, является ли значение истинным или ложным значением, используя предоставленные Функции Python scheme_true и scheme_false , определено в scheme_primitives.py .

Задача A13 (1 балл).Реализуйте do_if_form так, чтобы , если выражений вычислены правильно. Эта функция должна вернуть либо второе (следствие), либо третье (альтернативное) выражение выражение if , в зависимости от значения первого (предикат) выражение.

Примечание : для этого проекта мы будем обрабатывать только , если выражения, содержащие три операнда. Следующее выражения должны правильно поддерживаться вашим интерпретатором:

    scm> (если (= 4 2) истина ложь)
    Ложь
    scm> (если (= 4 4) (* 1 2) (+ 3 4))
    2
   

    scm> (если (= 4 2) верно)
    Ошибка: слишком мало операндов в форме
   

Задача B14 (2 балла).Реализовать do_and_form и do_or_form , чтобы и и или выражения оцениваются правильно. Логические формы и и или — это , замыкающие . Для и ваш интерпретатор должен оценить каждый аргумент из слева направо, и если какой-либо аргумент оценивается как False , то Ложь возвращается. Если все, кроме последних подвыражений, оценивают к истинным значениям, вернуть последнее подвыражение из do_and_form .Аналогично для или оцените каждый аргумент слева направо, amd если какой-либо аргумент принимает истинное значение, вернуть его. Если все, кроме последнее подвыражение оценивается как ложное, возвращает последнее подвыражение из do_or_form .

    scm> (и)
    Правда
    scm> (или)
    Ложь
    scm> (и 4 5 6)
    6; все операнды являются истинными значениями
    scm> (или 5 2 1)
    5; 5 - истинное значение
    scm> (и #t #f 42 (/ 1 0))
    Ложь    ; короткое замыкание и
    scm> (или 4 #t (/ 1 0))
    4; короткое замыкание или
   

Задача A15 (1 балл).Реализуйте do_cond_form так, чтобы он возвращает первое подвыражение результата, соответствующее истинному предикату (или еще). Ваша реализация должна соответствовать следующим примерам и дополнительные тесты в tests.scm .

    scm> (cond ((= 4 3) 'нет)
              ((= 4 4) 'привет)
              (иначе подождите))
    Привет
    scm> (cond ((= 4 3) 'ват)
              ((= 4 4))
              (иначе хм))
    Правда
    scm> (cond ((= 4 4) 'здесь 42)
              (иначе ват 0))
    42
   

    (cond ((= 4 4) 'здесь 42))
    (cond ((= 4 4) (начало 'здесь 42)))
   

Несколько пояснений:

Задача A16 (2 балла). Специальная форма let знакомит с местными переменные, давая им их начальные значения. Например,

    scm> (определить x 'привет)
    scm> (определите y 'пока)
    scm> (пусть ((x 42)
              (у (* 5 10)))
          (список x y))
    (42 50)
    scm> (список x y)
    (Привет пока)
   

    scm> (пусть ((x 42)) x 1 2)
    2
   

Специальная форма let эквивалентна созданию и последующему вызову лямбды. процедура. То есть следующие два выражения эквивалентны:

    (пусть ((x 42) (y 16)) (+ x y))
    ((лямбда (x y) (+ x y)) 42 16)
   

Привязки, созданные с помощью let , не могут ссылаться на Заявленные ранее привязки от того же пусть .

Задача B17 (2 балла). Реализовать do_mu_form для оценки особая форма mu , нестандартный тип выражения Scheme. А Выражение mu аналогично выражению lambda , но оценивается как экземпляр MuProcedure , который динамически ограниченный. Вам предоставлен класс MuProcedure .

Дополнительно заполните схему _приложение для звонка MuProcedure процедур с использованием динамической области видимости.Вызов LambdaProcedure использует лексическую область видимости: родительский элемент нового вызова frame — это среда, в которой была определена процедура. Вызов MuProcedure , созданный выражением mu , использует динамический scoping: родительский элемент нового кадра вызова — это среда, в которой Выражение вызова было оценено. В результате MuProcedure делает не нужно хранить среду как атрибут экземпляра. Это может относиться к имена в среде, из которой он был вызван.

    scm> (определить f (mu (x) (+ x y)))
    scm> (определить g (lambda (x y) (f (+ x x))))
    scm> (г 3 7)
    13
   

Реализация интерпретатора схемы завершена. У тебя должно быть добавлял тесты в tests.scm по мере того, как вы делали каждую задачу. Эти тесты будут оцениваться как часть вашей оценки композиции для проекта. Убедитесь, что ваш проект работает должным образом.

Часть 3: Напишите схему

Ваш интерпретатор схемы не только является древовидной программой, но и является достаточно гибкий, чтобы оценивать других рекурсивных программ, .Реализуйте следующие процедуры в схеме внизу tests.scm .

Задача 18 (2 балла). Реализуйте процедуру слияния , которая требует два аргумента отсортированного списка и объединяет их в один отсортированный список. Например:

    scm> (объединить '(1 4 6)' (2 5 8))
    (1 2 4 5 6 8)
   

Задача A19 (2 балла). Реализуйте процедуру count-change , которая подсчитывает все способы внесения сдачи на общую сумму , используя монеты с различных номиналов ( деноминаций ), но никогда не использует более max-монет Всего монет.Предоставляется строка определения процедуры в tests.scm вместе со списком номиналов США.

Задача B20 (2 pt) Реализуйте процедуру count-partitions , который считает все способы разделить положительное целое число всего , используя только части, меньшие или равные другому положительному целому числу максимальное значение . В номер 5 имеет 5 разделов с использованием частей до максимального значения 3 :

    3, 2 (две штуки)
    3, 1, 1 (три штуки)
    2, 2, 1 (три штуки)
    2, 1, 1, 1 (четыре штуки)
    1, 1, 1, 1, 1 (пять штук)
   

Задача 21 (2 балла).Реализуйте процедуру list-partitions , в котором перечислены все способы разделить положительное целое число итого на большинство макс. штук штук, которые все меньше или равны положительному целое число максимальное значение . Подсказка : Определите вспомогательную функцию для построения перегородки.

Задача 22 (0 баллов). Реализуйте процедуру hax , которая рисует следующую рекурсивную иллюстрацию, когда переданы два аргумента, сторона длина d и рекурсивная глубина k .Пример ниже взято из (hax 200 4) .

Чтобы увидеть, как построена эта иллюстрация, рассмотрите этот аннотированный версия, которая дает относительную длину линий форм компонентов в фигура.

Дополнительный кредит

Задача 23 (5 баллов). Завершите функцию scheme_optimized_eval в scheme.py . Эта альтернатива scheme_eval является правильно рекурсивный хвост.То есть интерпретатор позволит неограниченное количество активного хвоста звонки в постоянное пространство.

Вместо рекурсивного вызова scheme_eval для хвостовых вызовов и логические специальные формы, и пусть заменяют текущие expr и env с разными выражениями и среды. Для выражений вызова это изменение применяется только к вызову определяемые пользователем процедуры.

Когда закончите, раскомментируйте строку scheme_eval = scheme_optimized_eval в схеме .py .

Поздравляем! Вы завершили последний проект 61А! Предполагая, что ваш тесты хорошие и вы их все прошли, считайте себя настоящим компьютером ученый!

А теперь поспите. Ты заслужил это!

Конкурс: Рекурсивное искусство

Мы добавили ряд примитивных процедур рисования, которые вместе называется «черепаховая графика». черепаха представляет состояние рисунка модуль, который имеет положение, ориентацию, состояние пера (вверху или внизу) и цвет пера.Схема _ x функционирует в scheme_primitives.py — реализации этих процедуры, и покажите их параметры с кратким описанием каждой. Документация Python модуль черепахи содержит более подробную информацию.

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

Призов будут присуждены за победившую заявку в каждом из следующих категории.

• Полулегкий вес. Не более 256 токенов схемы, не включая комментарии и разделители.
• Тяжелый вес. Не более 2012 токенов Scheme, не включая комментарии и разделители.

Заявки (код и результаты) будут размещены в Интернете, и победители будут выбран всенародным голосованием как часть будущего домашнего задания. Инструкции по голосованию прочитает:

Пожалуйста, проголосуйте за вашу любимую запись в Рекурсивной выставке 61A этого семестра конкурс.Победитель должен продемонстрировать принципы элегантности, красоты и абстракции, которые высоко ценятся в учебной программе по информатике в Беркли. Как академического сообщества, мы должны стремиться признавать и поощрять заслуги и достижение (перевод: пожалуйста, не голосуйте только за своих друзей).

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

Инструкции по отправке будут опубликованы в ближайшее время.

Схемы универсального идентификатора ресурса (URI)