Подобрать слова к схеме: помогите подобрать слова под схему: 1)имя сущ корень,суффикс,окончание 5 слов. 2)имя

Глава 8

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

Вы можете использовать функцию сначала , чтобы найти первую букву слова. Что делать, если вы хотите найти первые буквы нескольких слов? Ты сделал это в первой главе, как часть процесса поиска сокращений.

Чтобы начать с простого случая, предположим, что у вас есть два слова (то есть предложение длины два). Вы можете применить к каждому из них процедуру , первую и объединить результаты:

 (определить (два первых отправлены)
  (se (первый (первый отправленный))
      (первая (последняя отправленная))))
 
> (два первых '(джон леннон))
(J L)
 
> (два первых (джордж харрисон))
(G H)
 

 (определить (отправлено три первых)
  (se (первый (первый отправленный))
      (первый (первый (парень отправлен)))
      (первая (последняя отправленная))))
 
> (три первых '(джеймс пол маккартни))
(ДжП М)
 

 (определить (первые письма отправлены)
  (cond ((= (количество отправлено) 1) (отправлено одним первым))
        ((= (количество отправленных) 2) (отправлено два первых))
        ((= (подсчет отправлено) 3) (отправлено три первых))
        … и так далее …))
 

Но даже это не сработает, потому что нет возможности сказать «и так далее» на схеме.Вы можете написать версию, которая работает для всех предложения длиной, скажем, 23, но у вас будут проблемы, если кто-то пытался использовать вашу процедуру в предложении из 24 слов.

 (определить (первые письма отправлены)
  (каждый первый отправленный))
 
> (первые буквы '(вот и солнце))
(Ч С Т С)
 
> (первые буквы '(Люси в небе с бриллиантами))
(L I T S W D)
 

> (до последнего '(пока моя гитара тихо плачет))
(E Y R Y S)
 
> (каждые - '(4 5 7 8 9))
(-4-5-7-8-9)
 

 (определить (множественное число)
  (если (равно? (последнее существительное) 'y)
      (слово (bl имя существительное) 'ий)
      (слово существительное)))
 
> (каждое множественное число '(черепаха битл холли кинк зомби))
(BEATLES TURTLES HOLLIES KINKS ZOMBIES)
 

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

 (определить (двойная буква) (слово буква))

> (каждая двойная девушка)
(GG II RR LL)

> (каждый квадрат 547)
(25 16 49)
 

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

 (определить (послано из первых двух ср.)
  (se (first wd) (first (bf wd))))

> (каждый посланный двумя первыми (внутренний свет))
(T H I N L I)

> (каждый отправленный из первых двух (скажите мне, что вы видите))
(Т Е М Е З И О С Е)

> (определить (g wd)
    (se (слово 'with wd)' ты))

> (каждые g '(выходят))
(В ТЕБЕ БЕЗ ВАС)
 

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

Пауза для отражения

Ранее мы использовали метафору «функциональной машины» с бункер наверху, в который мы бросаем данные, и желоб на дно, с которого падает результат, как на мясорубке. Хорошо, каждые – это функциональная машина, в бункер которой мы бросаем другую функция машины! Вместо мясорубки у нас металлическая болгарка.[3]

Вы понимаете, какая это интересная идея? Мы привыкли думать о числах и предложениях как о “реальных вещах”, в то время как функции меньше похожи на вещи и больше похожи на действия. В качестве аналогии подумайте о кулинарии. Настоящая еда – это мясо, овощи, мороженое, и так далее. Вы не можете съесть рецепт, который аналогичен функция. Рецепт должен быть применен к ингредиентам, и результат выполнения рецепта съедобная еда. Это казалось бы странным если в рецепте использовались другие рецепты в качестве ингредиентов: «Разогрейте духовку на 350 и вставьте свой Joy of Cooking. ”Но в схеме мы может это сделать. [4]

Готовить свою кулинарную книгу необычно, но общий принцип – нет. В некоторых случаях мы относимся к рецептам как к вещам, а не как алгоритмы. Например, люди пишут рецепты на карточках и кладут их в коробку с файлом рецептов. Затем они выполняют такие операции, как поиск для конкретного рецепта, сортировка рецептов по категориям (основное блюдо, десерт и т. д.), копирование рецепта друга и т. д. Одинаковый рецепт – это и процесс (когда мы готовим с ним), и объект процесса (когда мы его регистрируем).

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

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

> (четные? '(1 2 3 4 5))
(2 4)
 
> (определить (концы-е? слово) (равно? (последнее слово) 'е))
 
> (держать концы-е? '(пожалуйста, положите салями над синим слоном))
(ПОЖАЛУЙСТА, ВЫШЕ СИНИЙ)
 
> (сохранить номер? '(1 после 909))
(1 909)
 

Keep также примет слово в качестве второго аргумента.В этом случае это применяет предикат к каждой букве слова и возвращает другое слово:

> (сохранить номер? 'Zonk23hey9)
239

> (определить (гласная? буква) (член? буква '(а е я о у)))

> (держать гласную? 'поросята)
IIE
 

Когда мы использовали каждые для выбора первых букв слов ранее мы находили первые буквы даже неинтересных слов, таких как “.” Мы работаем над процедурой сокращения, и для этого Цель, которую мы хотели бы иметь возможность отбросить скучные слова.

 (определить (реальное слово? Wd)
  (not (member? wd '(a an in of and for to with))))

> (держите слово? '(Люси в небе с бриллиантами))
(ЛЮСИ НЕБО БРИЛЛИАНТЫ)

> (каждый первый (держите слово? '(Люси в небе с бриллиантами)))
(L S D)
 

В каждые и сохраняют , каждый элемент второго аргумента вносит независимо в общий результат. То есть каждые и сохраняют, что применяет процедуру к одному элементу за раз.В Общий результат – это набор отдельных результатов без взаимодействия между элементами аргумента. Это не позволяет нам говорить такие вещи, как “Добавить вверх все числа в предложении, “где желаемый результат – функция всего предложения аргумента, взятого в целом. Мы можем сделать это с помощью процедура с именем накапливает . Накопить выполняет процедуру и предложение в качестве аргументов. Он применяет эту процедуру к двум словам предложения. Затем применяется процедура к результату мы вернулись и еще один элемент предложения, и так далее.Он заканчивается, когда все слова предложения объединяются в один результат.

> (накопить + '(6 3 4-5 7 8 9))
32
 
> (накапливайте слово '(a c l u))
ACLU
 
> (накопить макс. '(128 32 134 136))
136
 
> (определить (поставить дефис слово1 слово2)
    (слово слово1 '- слово2))
 
> (накапливать дефис '(об ла ди об ла да))
OB-LA-DI-OB-LA-DA
 

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

Accumulate также может принимать слово в качестве второго аргумента, используя буквы как элементы:

> (накопить + 781)
16

> (накапливайте предложение 'colin)
(C O L I N)
 

Объединение функций высшего порядка

 (определить (добавочные номера отправлены)
  (накопить + (сохранить номер? отправлено)))
 
> (сложение цифр '(4 кричащих птицы 3 курицы 2 голубя-черепахи))
9
 
> (add-numbers '(1 за деньги 2 за шоу 3, чтобы подготовиться
и 4 в ходу))
10
 

У нас также есть достаточно инструментов для написания версии процедуры count , который находит количество слов в предложении или количество букв в слово.Сначала мы определим процедуру always-one , которая возвращает 1 нет независимо от того, каков его аргумент. Мы будем каждый всегда-один по нашему аргументу предложение, [5] что приведет к предложению как столько, сколько слов было в исходном предложении. Тогда мы можем использовать накопите с + , чтобы сложить единицы. Это немного круговой подход; позже мы увидим более естественный способ найти отсчетов предложения.

 (определить (всегда один аргумент)
  1)

(определить (количество отправленных)
  (Накопить + (каждый всегда-один отправлен)))

> (count '(продолжение истории счета за бунгало))
6
 

 (определить (аббревиатура)
  (накапливать слово (каждое первое (сохранять слово? фразу))))

> (аббревиатура '(сокращенный набор команд компьютера))
RISC

> (аббревиатура '(структура и интерпретация компьютерных программ))
SICP
 

Выбор подходящего инструмента

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

Каждый преобразовывает каждый элемент слова или предложения индивидуально. В предложение результата обычно содержит столько же элементов, сколько аргумент. [6]

Keep выбирает определенные элементы слова или предложения и отбрасывает другие. Элементы результата являются элементами аргумента, без преобразование, но результат может быть меньше оригинала.

Accumulate преобразует все слово или предложение в один результат объединив тем или иным образом все элементы.

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

Вот еще один способ сравнить эти три функции высшего порядка:

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

> (каждая двойная девочка)
(GG II RR LL)

> (se (двойной 'g)
      (двойной 'я)
      (двойной 'r)
      (двойной 'l))
(GG II RR LL)
 

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

Выражение, использующее keep , также можно заменить выражением, которое выполняет те же вычисления без использования keep . На этот раз это немного грязнее:

> (четные? '(1 2 3 4 5))
(2 4)

> (se (если (даже? 1) 1 '())
      (если (даже? 2) 2 '())
      (если (даже? 3) 3 '())
      (если (даже? 4) 4 '())
      (если (даже? 5) 5 '()))
(2 4)
 

Вот как можно долго выразить накопление :

> (накопить слово '(a c l u))
ACLU

> (слово 'а (слово' с (слово 'л' и)))
ACLU
 

(Конечно, слово будет принимать любое количество аргументов, поэтому мы мог бы вычислить тот же результат со всеми четырьмя буквами в качестве аргументов для тот же призыв.Но версия, которую мы здесь показали, показывает, как накопить реально работает; он объединяет элементы один за другим.)

Функции первого класса и приговоры первого класса

Если Scheme (или любой диалект Lisp) – ваш первый язык программирования, наличие процедур, которые работают с целыми предложениями одновременно, может показаться не таким большое дело. Но если вы раньше программировали на каком-то менее сложном языке, вы вероятно, вы привыкли писать что-то вроде первых букв как цикл , в котором у вас есть переменная с именем I , и вы выполняете некоторые последовательность шагов для I = 1 , I = 2 и так далее, пока вы не дойдете до N , количества элементов.Использование функций высшего порядка позволяет нам: выразить эту проблему сразу, а не в виде последовательности событий. Один раз вы привыкли к образу мышления Lisp, вы можете сказать себе “просто возьмите каждые первые предложения “и это похоже на один шаг, не сложная задача.

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

Второй момент – функции тоже первоклассные. Это позволяет нам писать процедура типа pigl , которая применяется к одному слову, а затем объедините это с каждые , чтобы перевести все предложение на Pig Latin. Если бы у Scheme не было первоклассных функций, у нас не было бы универсальных такие инструменты, как , сохраняют и каждые , потому что мы не можем сказать, какие функция для распространения на все предложение.Позже вы увидите, что без через каждые все еще можно было бы написать конкретный отправленных свинцом процедуру и отдельно напишите первых букв процедуру. Но возможность использовать процедуру в качестве аргумента для другой процедуры позволяет нам обобщить идею «применить эту функцию к каждому слову предложение.”

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

В следующем примере процедура повторяется возвращает процедуру:

> ((повторяется bf 3) '(она вошла через окно ванной))
(ЧЕРЕЗ ОКНО ВАННОЙ)
 
> ((повторяется во множественном числе 4) 'компьютер)
КОМПЬЮТЕРСССС
 
> ((повторяющийся квадрат 2) 3)
81 год
 
> (определить (отправлено дважды)
    (отправлено отправлено))
 
> ((повторяется двойная 3) '(банан))
(БАНАН БАНАН БАНАН БАНАН БАНАН БАНАН БАНАН БАНАН)
 

> (повторяющийся квадрат 4)
# <ПРОЦЕДУРА>
 

> ((повторяющийся квадрат 4) 2)
65536
 

 (определить (элемент n отправлен)
  (первый ((повторный bf (- n 1)) отправлен)))
 
> (пункт 1 '(день из жизни))
А
 
> (пункт 4 '(день из жизни))
THE
 

Подводные камни

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

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

 (определить (любые числа? Отправлено) ;; неверно!
  (накапливается или (каждое число? отправлено)))
 

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

> (предложение #T #F)
ОШИБКА: АРГУМЕНТ ОТПРАВИТЬ НЕ СЛОВО ИЛИ ПРЕДЛОЖЕНИЕ: #F

> (каждое число? '(a b 2 c 6))
ОШИБКА: АРГУМЕНТ ОТПРАВИТЬ НЕ СЛОВО ИЛИ ПРЕДЛОЖЕНИЕ: #T
 

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

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

 (определить (любые числа? Отправлено)
  (нет (пусто? (оставить номер? отправлено))))
 

Функция keep всегда возвращает результат одного и того же типа (т. Е. слово или предложение) в качестве второго аргумента. Это имеет смысл, потому что если вы выбрав подмножество слов предложения, вы хотите получить предложение; но если вы выбираете подмножество букв слова, вы хочу слово. С другой стороны, каждое всегда возвращает предложение. Вы можете подумать, что для каждые было бы разумнее возвращать слово, когда его вторым аргументом является слово. Иногда это – это , что вы хочу, но иногда нет. Например:

 (определить (по буквам цифра цифра)
  (элемент (+ 1 цифра)
'(ноль один два три четыре пять шесть семь восемь девять)))

> (каждая цифра заклинания 1971)
(ОДИН ДЕВЯТЬ СЕМЬ ОДИН)
 

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

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

Некоторые люди пытаются обойти это, говоря такие вещи, как

 (каждое (частное 6) '(1 2 3)) ;; неправильно!
 

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

 (частное 6 1)
(частное 6 2)
(частное 6 3)
 

Но, конечно, Scheme делает то же самое, что всегда делает: оценивает выражения аргументов, затем вызывает каждые . Так Схема попытается вычислить (частное 6) и выдаст сообщение об ошибке.

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

 (каждые (+ 3) '(1 2 3)) ;; неправильно!
 

Первый аргумент каждые в этом случае не является ” процедура, которая добавляет 3 “, но результат, возвращаемый вызовом + с единственный аргумент 3 . (+ 3) возвращает число 3 , которое это не процедура. Таким образом, вы получите сообщение об ошибке типа «Попытка применить непроцедура 3. ”

Идея этой ошибки – поиск способа “специализации” процедура с двумя аргументами, указав один из аргументов заранее, – это на самом деле хороший. В следующей главе мы представим новый механизм что позволяет такую ​​специализацию.

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

 (определить (битл-номер n)
  (если (или ( n 4))
      '()
      (элемент n '(джон пол джордж ринго))))

> (битл-номер 3)
ДЖОРДЖ

> (битл-номер 5)
()

> (каждый битл-номер '(2 8 4 0 1))
(ПОЛ РИНГО ДЖОН)
 

Что случилось с 8 и 0 ? Представьте, что из каждых не существует, и вам пришлось проделать сложный путь:

 (se (битл-номер 2) (битл-номер 8) (битл-номер 4)
    (номер-битл 0) (номер-битл 1))
 

Используя замену результата, мы получили бы

 (se 'paul' () 'ringo' () 'джон)
 

, что составляет всего (ПОЛ РИНГО ДЖОН) .

С другой стороны, если каждая процедура аргумента возвращает пустое слово, оно появится в результате.

> (каждый парень (ты мне нужен))
("" EED OU)
 

Предложение, возвращаемое каждые , состоит из трех слов: пустое слово, eed и ou .

Не путайте

 (первый '(один, два, три, четыре))
 

с

 (каждый первый (один, два, три, четыре))
 

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

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

 (накопить se '(одно слово))
 

возвращает слово однослово .

Что произойдет, если вы дадите накопить пустое предложение или слово? Accumulate принимает пустые аргументы для некоторых объединителей, но не для другие:

> (накопить + '())
0

> (накопить max '())
ОШИБКА: НЕВОЗМОЖНО НАКОПИТЬ ПУСТОЙ ВХОД С ЭТОМ КОМБИНЕРОМ
 

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

Почему этим четырем процедурам, и никаким другим, должно быть разрешено накапливать пустых предложений или слов? Разница между ними и другие комбайнеры заключаются в том, что вы можете вызывать их без аргументов, тогда как max , например, требует хотя бы одного числа:

> (+)
0

> (макс.)
ОШИБКА: НЕДОСТАТОЧНО АРГУМЕНТОВ К # <ПРОЦЕДУРА>.
 

Accumulate фактически вызывает объединитель без аргументов чтобы узнать, какое значение вернуть для пустого предложения или слова.Нам бы хотелось реализовать , накопить , чтобы любые процедура, которая может быть вызвана без аргументов, будет принята как комбайнер для накопления пустого предложения или слова. К сожалению, Scheme не позволяет программе спросить: «Сколько аргументов будет процедуру accept? “Лучшее, что мы могли сделать, – это создать определенный набор Комбайнеры с нулевым аргументом в порядке в определении накапливают .

Не думайте, что возвращаемое значение для пустого аргумента всегда равно нулю или пустой.

> (накопить * '())
1
 

Объяснение такого поведения заключается в том, что любая работающая функция без аргументов в этом случае возвращает свой элемент идентификации . Что такое элемент идентичности? Функция + имеет тождественный элемент 0 , потому что (+ ничего 0) возвращает ничего. Точно так же пустое слово является элементом идентичности для слова . В общем, элемент идентичности функции обладает тем свойством, что когда вы вызываете функцию с элементом идентичности и чем-то еще как аргументы, возвращаемое значение – что-то еще.Это соглашение о схеме что процедура с элементом идентичности возвращает этот элемент при вызове без аргументов. [8]

Использование двух последовательных открытых круглых скобок для вызова процедуры процедура возвращает странное обозначение:

 ((повторный бф 3) 987654)
 

Не путайте это с похожей нотацией cond , в котором внешние круглые скобки имеют особое значение (ограничивая предложение cond ). Здесь круглые скобки имеют обычное значение.Внутренний круглые скобки вызывают процедуру , повторенную с аргументами bf и 3 . Значение этого выражения – процедура. У него нет name, но для целей этого абзаца представим, что он называется bfthree . Тогда внешние скобки в основном говорят (bfthree 987654) ; они применяют неназванную процедуру к аргументу 987654 .

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

 (повторный bf 3 987654) ;; неправильно
 

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

Упражнения для растачивания

8.1 Что возвращает Scheme в качестве значения каждого из следующих выражений? Убедитесь в этом сами, прежде чем попробовать на компьютере.

> (каждый последний '(алгебра пурпурный спагетти томатный гну))

> (сохранить номер? '(раз, два, три, четыре))

> (накопить * '(6 7 13 0 9 42 17))

> (член? 'h (держать гласную?' (t h r o a t)))

> (каждый квадрат (оставить четным? '(87 4 7 12 0 5)))

> (накапливать слово (держать гласную? (каждое первое '(а я ее люблю))))

> ((повторяющийся квадрат 0) 25)

> (каждый (повторяется бл 2) '(добрый день, солнышко))
 

8.2 Заполните пропуски в следующей схеме взаимодействий:

> (______ гласная? 'День рождения)
Я

> (______ первый '(золотые сны))
(G S)

> (______ '(золотые дремоты))
ЗОЛОТОЙ

> (______ ______ '(дитя))
(E D)

> (______ ______ (______ ______ '(дитя)))
ED

> (______ + '(2 3 4 5))
(2 3 4 5)

> (______ + '(2 3 4 5))
14
 

8,3 Опишите каждую из следующих функций на английском языке. Обязательно укажите описание области и диапазона каждой функции.Будьте так же точны, как возможно; например, “аргумент должен быть функцией одного числового аргумент “лучше, чем” аргумент должен быть функцией “.

 (определить (f a)
  (держать даже? а))

(определите (g b)
  (каждый б '(путь голубой сойки)))

 

 (определить (h c d)
  (c (c d)))

(определить (i e)
  (/ (накопить + e) ​​(подсчитать e)))

накапливать

sqrt

повторяется

(повторяется sqrt 3)

(повторяется даже? 2)

(повторяется первые 2)

(повторяется (повторяется bf 3) 2)
 

Реальные упражнения

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

8,4 Напишите процедуру choose-beatles , которая принимает предикат функция в качестве аргумента и возвращает предложение только тех Битлз (Джон, Пол, Джордж и Ринго), удовлетворяющие сказуемому. Например:

 (определить (конечный гласный? Wd) (гласный? (Последний wd)))

(определить (четное число? wd) (четное? (счет wd)))

> (выбрать-битлз концы-гласный?)
(ДЖОРДЖ РИНГО)

> (выбрать-битлз даже-посчитать?)
(ДЖОН ПОЛ ДЖОРДЖ)
 

8.5 Напишите процедуру transform-beatles , которая принимает процедуру как аргумент, применяет его к каждому из Beatles и возвращает результаты в виде предложение:

 (определить (удивить имя)
  (слово "удивительное-имя"))
 

> (трансформировать-битлз изумлять)
(УДИВИТЕЛЬНЫЙ-ИОАНН УДИВИТЕЛЬНЫЙ-ПОЛ УДИВИТЕЛЬНЫЙ-ДЖОРДЖ.
 УДИВИТЕЛЬНОЕ РИНГО)

> (трансформируй-битлз, но сначала)
(ОН АУЛ ЭОРГЕ ИНГО)
 

8,6 Когда вы разговариваете с кем-то по шумной радиосвязи, вы иногда нужно произносить слово по буквам, чтобы другой человек его понял.Но и названия букв понять не так-то просто, так что есть стандартный код, в котором каждая буква представлена ​​определенным словом, которое начинается с буквы. Например, вместо «Б» вы говорите «браво».

Напишите процедуру слов , которая принимает слово в качестве аргумента и возвращает предложение названий букв в слове:

> (слова "кабина")
(ЧАРЛИ АЛЬФА БРАВО)
 

(Вы можете придумать свои собственные имена для букв или найти стандартные, если хотите.)

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

8,7 [14,5] [9] Напишите процедуру подсчета букв , которая принимает предложение как свое аргумент и возвращает общее количество букв в предложении:

> (количество букв '(исправление дырки))
11
 

8,8 [12,5] Напишите процедуру преувеличения , которая преувеличивает предложения:

> (преувеличить (я съел 3 потстикера))
(Я ЕСТЬ 6 НАКЛЕЙКОВ)

> (преувеличить '(здесь хорошо поесть чау-чау))
(ЗДЕСЬ БОЛЬШОЙ ЧАУ ВЕСЕЛЬЕ)
 

Он должен удвоить все числа в предложении и заменить “хорошо” с “отличным”, “плохо” с “ужасным” и все остальное, что вы можно придумать.

8,9 Какую процедуру вы можете использовать в качестве первого аргумента для каждые , чтобы для любое предложение, используемое в качестве второго аргумента, , каждое возвращает это предложение?

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

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

8.10 Записать верный для всех предикат ? , который принимает два аргумента: сказуемая процедура и предложение. Он должен вернуть #t , если Аргумент предиката возвращает истину для каждые слова в предложении.

> (верно для всех? Даже? '(2 4 6 8))
#T

> (Верно для всех? даже? '(2 6 3 4))
#F
 

8,11 [12,6] Напишите процедуру GPA. В качестве аргумента следует использовать предложение с оценками. и вернуть соответствующий средний балл:

> (гпа '(A A + B + B))
3.67
 

Подсказка: напишите вспомогательную процедуру базового уровня , которая требует оценка в качестве аргумента и возвращает 0, 1, 2, 3 или 4, а также другой помощник процедура модификатор класса , который возвращает -,33, 0 или 0,33, в зависимости от есть ли у оценки минус, плюс или нет.

8,12 [11,2] Когда вы ведете класс, люди отвлекутся, если вы скажете “ммм” слишком много. раз. Напишите count-ums , которое считает, сколько раз “um” появляется в предложении:

> (count-ums
   '(сегодня мы собираемся поговорить о функциональном программировании))
3
 

8.13 [11,3] Напишите процедуру phone-unspell , которая использует версию номер телефона, например POPCORN , и возвращает реальный номер телефона в этот случай 7672676 . Вам нужно будет написать вспомогательную процедуру, которая использует 8-стороннее выражение cond для перевода одной буквы в цифра.

8,14 Напишите процедуру подслово , которое принимает три аргумента: слово, номер начальной позиции и номер конечной позиции.Должно вернуть подслово, содержащее только буквы между указанными должности:

> (подслово полиэтилен 5 8)
ПОТОМ
 

[2] Если говорить о каждых , наши решите отличать функции от процедур, которые их реализуют.Является ли аргумент каждые функцией или процедурой? Если мы подумаем о каждый как процедура – то есть, если мы сосредоточимся на том, как это выполняет свою работу – тогда, конечно, мы должны сказать, что она выполняет свою работу, многократно вызов процедуры , которую мы передаем в качестве аргумента. Но это одинаково справедливо для нас сосредоточить внимание на функции, которую каждые процедура реализует, и эта функция принимает функций как аргументы.

[3] Вы можете столкнуться с математической проблемой, если попытаетесь определить функция, домен которой включает всех функций, потому что применение таких функция сама по себе может привести к парадоксу.В программировании соответствующая опасность состоит в том, что применение процедуры высшего порядка к самому может привести к программе, которая будет выполняться вечно.

[4] Некоторые рецепты могут включать другие рецепты, потому что они говорят что-то вроде «добавить песто» (рецепт на стр. 12) ». Но это всего лишь композиция функций; результат процедуры песто используется в качестве аргумента этого рецепта. В Сам по себе рецепт песто не является ингредиентом.

[5] Мы имеем в виду, конечно, “Мы будем вызывать каждые с процедура всегда - один и наше предложение аргумента в качестве двух его аргументов.” После того, как вы какое-то время занимались программированием компьютеров, такое злоупотребление Английский язык придет к вам естественным образом.

[6] Под “обычно” мы подразумеваем то, что каждые часто используется с функцией аргумента, которая возвращает одно слово. Если функция возвращает предложение, длина которого может отличаться от единицы, тогда число слов в общем результате могло быть что угодно!

[7] Как мы говорили в главе 4, специальные формы не процедуры, и не являются первоклассными.

[8] PC Scheme возвращает ноль для вызова max без аргументов, но это неправильный ответ.Во всяком случае, ответ должен быть −∞.

[9] В упражнении 14.5 части IV вам предлагается решить эту проблему. та же проблема с использованием рекурсии. Здесь мы просим вас использовать функции высшего порядка. Когда мы ставим одну и ту же проблему в обеих частях, мы сделайте перекрестные ссылки в скобках, как мы сделали здесь. Когда вы видите проблему во второй раз вы можете обратиться к первому решению за идеями.