1. Синтаксис языка лисп. Списки. Атомы. Виды атомов. Комментарии

Скачать 260.62 Kb.

Название	1. Синтаксис языка лисп. Списки. Атомы. Виды атомов. Комментарии
страница	8/9
Тип	Документы

rykovodstvo.ru > Руководство эксплуатация > Документы

1 2 3 4 5 6 7 8 9

26. Особая форма let. Сравнение let и define

Позволяет заводить внутренние локальные переменные
(let (

(переменная_1 выр_1)

(переменная_2 выр_2)

(переменная_3 выр_3)

)

выр

)
В выр можно использовать все объявленные переменные.
Например,

(define (f x)

(let ((y (* x x)))

( / y (+ y 1))

)

)

27. Реализация особой формы let

Перепишем оператор let в виде лямбда-выражения:
( (lambda ( переменная_1 переменная_2 ...) выр) выр_1 выр_2 ...)

28. Числа Чёрча

Числа Чёрча — это реализация натуральных чисел. Требуется 0 и инкремент.

(define zero

(lambda (f)

(lambda (x) x))) ; Это возвращает f(x)
(define (inc n)

(lambda (f)

(lambda (x) (f ((n f) x))) ; Это возвращает f(n)

))
0: zero = (lambda (f) (lambda (x) x))

1: (inc zero) = (lambda (f) (lambda (x) (f x)))

2: (inc (inc zero)) = (lambda (f) (lambda (x) (f (f x))))
(define one (inc zero))

(define two (inc one))
(one f) → возвращает → g(x)=f(x)

(two f) → g(x)=f(f(x))
1: (lambda (f)(lambda (x)(f x)))

2: (lambda (f)(lambda (x)(f (f x))))

3: (lambda (f)(lambda (x)(f (f (f x)))))

4: (lambda (f)(lambda (x)(f (f (f (f x))))))

5: (lambda (f)(lambda (x)(f (f (f (f (f x)))))))

6: (lambda (f)(lambda (x)(f (f (f (f (f (f x))))))))

7: (lambda (f)(lambda (x)(f (f (f (f (f (f (f x)))))))))

8: (lambda (f)(lambda (x)(f (f (f (f (f (f (f (f x))))))))))

9: (lambda (f)(lambda (x)(f (f (f (f (f (f (f (f (f x)))))))))))

10: (lambda (f)(lambda (x)(f (f (f (f (f (f (f (f (f (f x))))))))))))

11: (lambda (f)(lambda (x)(f (f (f (f (f (f (f (f (f (f (f x)))))))))))))

12: (lambda (f)(lambda (x)(f (f (f (f (f (f (f (f (f (f (f (f x))))))))))))))

13: не влезает на строку. А до этого момента выучить обязательно!!!111111111111

29. Пары значений. Реализация пар значений

Абстракция данных

Пара значений: (a b) = p

Операции:

создание пары: (cons a b)
первый элемент: (car p)
второй элемент: (cdr p)
является ли парой: (pair? p)

Выполняются два соотношения (К.О. уведомляет):

(car (cons a b)) → a
(cdr (cons a b)) → b

Реализация пары на Lisp

(define (cons x y) - создает пару

(define (dispatch m) - если 0, то возвращает х, иначе у

(if (= m 0) x y))

dispatch)

(define p (cons x y))

(define (car p) (p 0)) - в данном случае р - это как раз возвращенная функция от cons

(define (cdr p) (p 1))
Можно написать вот так:

(define (cons a b) - cons возвращает функцию, которая будет принимать один параметр m

(lambda (m)

(if (= m 0) a b)))

30. Вертикальные барьеры абстракции. Конструкторы. Селекторы.

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

Для пары это : cons, car, cdr.

Функции-селекторы: car, cdr — позволяют получить элемент из структуры (в данном случае из пары)

Функция-конструктор: cons
Любой тип данных — это набор операций, это наш барьер абстракций.

Нам не важно, что стоит за функциями, они есть и все, дальше нам разбираться не надо.

31. Списки. Основные функции для работы со списками. Реализация списков.

(a (b (c nil)))

(cons a (cons b (cons c nil))))
Так писать неудобно, поэтому:
(list a b c …)

(list a b c) – здесь a,b,c вычисляются

`(a b c) – здесь a,b,c не вычисляются (для тех, кто забыл — это особая форма quote)
Функции такие же, как для пары: car, cdr, list?.

1 2 3 4 5 6 7 8 9

Похожие:

	Дмитриев Михаил Николаевич гбоу школа №1586 \| Москва, Улица Дружбы... Проектная работа представляет собой программное приложение, разработанное как для уроков физики и химии, так и для индивидуальных...		1. Если атомы растворимого компонента в замещают в узлах решетки... Диаграмма состояния сплавов, образующих с ограниченной растворимостью в твердом состоянии с перитектикой, изображена на рис
	Семантика Синтаксис Морфология К 28 Семантика. Синтаксис. Морфология. — М.: Главная редакция восточной литературы издательства «Наука», 1988. — 309 с		Учебное пособие включает в себя материалы к 9 практическим занятиям... Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
	Методическое руководство к выполнению лабораторных работ по биоорганической... Скелет их молекул построен только из атомов углерода. В зависимости от последовательности соединения атомов углерода в углеродном...		Инструкция по составлению финансового отчета (краткие комментарии) № Основные требования к форме и составу документации, подтверждающей расход (Комментарии)
	Основная образовательная программа высшего образования Направление... Целью курса синтаксиса современного русского литературного языка является знакомство студентов с синтаксисом как центральной лингвистической...		Издание третье Панин, его стилистической системы, описана роль писателей, публицистов, общественных деятелей в развитии норм литературного языка....
	6. Злаки специального назначения Особую группу газонных злаков составляют виды, отличающиеся хорошей приспособленностью к специфическим условиям. Они могут быть использованы...		Урока: Образовательные Развить понятие о взаимном влиянии атомов, зависимости применения от свойств веществ
	Учебно-методическое пособие по английскому языку для студентов первого... Введение. Своеобразие английского языка. Его роль в современном мире как языка международного и межкультурного общения		Методическая разработка «Рекомендации по переводу научного текста» Деловой иностранный язык играет большую роль в процессе изучения иностранного языка в колледже. Деловой язык делает акцент на конкретные...
	Проблемная технология на уроках английского языка в 9 классе Автор: Закирова Татьяна Валерьевна Маоу «сош №7 с углубленным изучением английского языка» г. Перми, учитель английского языка высшей квалификационной категории		Сведения о чу дпо «Чувашский учебно-курсовой комбинат» Предмет и виды деятельности Учреждения, виды реализуемых образовательных программ
	Курсовая работа На тему: «клиника и лечение трихинеллеза» Экспериментально трихинеллезом заражаются все виды млекопитающих животных и многие виды птиц		«Углубленное изучение английского языка» по направлению подготовки... Повышение уровня культуры образования, а также культуры общения, мышления и речи. 3 Знакомство с культурой стран изучаемого языка...

Руководство, инструкция по применению