* [devel] I: alterator internals - 2
@ 2005-05-27 8:30 Stanislav Ievlev
2005-05-27 17:03 ` Alexey Voinov
0 siblings, 1 reply; 2+ messages in thread
From: Stanislav Ievlev @ 2005-05-27 8:30 UTC (permalink / raw)
To: devel
Продолжение.
2.2 Немного про alterator
На пару минут отвлечёмся от увлекательного мира Scheme и попробуем
поприменять полученные знания в alterator - ведь именно он является
основной темой повествования.
Как вы должно быть уже заметили в предыдущий раз, на схеме как думается,
так и пишется. Попробуем например описать интерфейс. По-русски мы бы это
сказали например так: "Кнопка 'Quit'".В alterator это выглядит:
(button "Quit")
Ещё вариант: "Горизонтальная группа из кнопки 'Yes' и кнопки 'No'". В
alterator это:
(hbox
(button "Yes")
(button "No"))
Продолжаем: "Вертикальная группа из метки 'Hello, world!' и кнопки 'Quit'".
(vbox
(label "Hello, world!")
(button "Quit"))
Вот видите, как всё просто! Мы уже умеем описывать интерфейсы, заодно
познакомились с тем что в схеме бывают не только целые числа, но и строки.
2.3 Имена
Выражение: (* 10 50) хорошо, а: (* width height) лучше.
(3.1415926 * 10.5 * 10.5) - интригующе, а (* pi radius radius) - всё же
понятнее, (+ 2/3 5/7) - какие-то невзрачные действия с дробями, а
(+ my-piece-of-cake your-piece-of-cake) - уже обретает смысл.
Хочется сделать выражения более осмысленные и читаемые. Сказано -
сделано. Фраза "Опеределим b как 5", записывается (define b 5).
Сразу несколько примеров:
(define a 3)
(define b 4.5) ; b - это действительное число 4,5
(define c 2/3) ; c - это рациональное число 2/3 (две третих)
(define str "some string") ; str - это строка "some string"
(define width (+ 2 5)) ; width - это сумма 2 и 5, то есть width - это 7
Если при определении встречается какое-либо выражение, например сумма двух
целых чисел из последнего примера, то это выражение вычисляется и
переменная полагается равной уже его результату. Кстати a,b,c,str и width
- действительно называются переменными. Вас это совершенно не должно
смущать ибо с переменными вы сталкивались ещё в курсе школьной алгебры.
Итак, записать (define w (+ 1 3)) совершенно равносильно тому что записать
(define w 4). Либо вы подсчитаете в уме, либо за вас это сделает Scheme.
Ну уж коли мы вспомнили про школу, то теперь мы можем записать известные
нам выражения.
(+ a b) ; это a + b, где a и b какие-то переменные
(* 2 a) ; это 2a, где a какая-то переменная
(* a a) ; это квадрат a
(* c c c) ; это куб c
(+ (* a a) (* b b)) ; это сумма квадратов a и b.
Теперь вооружившись полученными знаниями мы можем записывать уже гораздо
более сложные программы на Scheme, например такую:
(define width 3)
(define height 5)
(* width height) ; умножить ширину на высоту
Наверное вы заметили, что комментарии к коду я пишу начиная их с ";". Это
не случайно, все комментарии в тексте программы начинаются с символа ';'.
Когда интерпретатор или компилятор читает наш код, весь текст начинающийся
с ';' и до конца строки он игнорирует.
Ещё одна программа:
(define pi 3.1415926)
(define radius 15)
(* pi radius radius)
2.4 Про истину
Если говорить кратко "всё есть истина кроме лжи", то есть
3 - это истина
3.5 - это истина
"test" - это истина
Вообще все другие типы, которые мы ещё не изучили - это истина.
Все кроме лжи, которая имеет обозначение #f.
Сразу познакомимся с простейшими логическими операциями:
Результат (not 3) - это #f,
Результат (not "test") - это тоже #f.
Интересно, а какой должен быть результат (not #f) . Истин-то у нас много ;)
На этот случай есть истина в первой инстанции, обозначаемая #t.
Стало быть результат (not #f) - это #t.
2.5 Разделяй и влавствуй
Ещё для счастья нам не хватает объединять повторяющиеся фрагменты в
функции, которые можно было бы потом вызывать.
Это очень важный и интересный момент в Схеме. Вы наверное часто замечали,
что разделение многоэтапной операции на составляющие очень полезно.
Например, создание нового процесса, можно разделить на два этапа.
Клонирование - fork и замена содержимого клона на другой процесс - exec.
Такое разделение позволяет не запускать например новый процесс, когда это
не нужно (сразу exec) или не пророждать новый процесс, если клон сам
справится с задачей (сразу fork).
Вот так и с функциями. Создание функции, например f от одного аргумента,
делится на собственно создание одноаргументной функции и на присваивании
ей имени f.
Как присваивать имена, мы уже знаем - через define, а
создание функции описывается следующей конструкцией
(lambda (<аргументы>) <инструкции>)
Если аргументов нет, то они просто не пишутся. Результат вычисления
последней инструкции возвращается в качестве ответа.
Примеры:
(lambda () (+ 2 5))
; создать безаргументную функцию, которая вернёт результат суммирования 2 и 5, то есть 7.
(lambda () 7)
;тоже самое, функция которая возращает 7.
(lambda (x) (* x x))
;создать одноаргументную функцию от параметра x, которая вернёт результат
умножения x на x, то есть вернёт квадрат x.
(lambda (x y) (+ x y))
;создать двухаргументную функцию от параметра x, которая вернёт результат
сложения x и y.
Теперь совместим создание функции с присваиванием ей имени
(define f (lambda() 7))
;f - это функция без аргументов, которая возвращает 7
(define square (lambda (x) (* x x)))
;square - это функция с одним аргуметном, которая возвращает квадрат переданного ей числа.
(define sum (lambda (x y) (+ x y)))
;sum - это функция с двумя аргументами, которая возращает сумму переданных ей двух чисел.
Вызываются созданные функции точно также как мы это делали ранее: (имя аргументы)
Как я говорил уже синтаксис в Схеме очень регулярный, нет лишних
синтаксических конструкций если они не требуются.
Ну вот, теперь мы можем ещё больше усовершенствовать наши программы:
(define a 3)
(define b 5)
(define square (lambda (x) (* x x)))
(define sum (lambda (x y) (+ x y)))
(square 3)
;подсчитать квадрат числа 3, ответ будет 9.
(square a)
;подсчитать квадрат a, где a - это 3, то есть ответ будет опять 9.
(sum 5 6)
;подсчитать сумму 5 и 6, ответ будет 11
(sum a 7)
;подсчитать сумму a и 7, ответ будет 10
(sum a b)
;подсчитать сумму a и b, ответ будет 8
Продолжение следует ....
--
Станислав Иевлев.
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [devel] I: alterator internals - 2
2005-05-27 8:30 [devel] I: alterator internals - 2 Stanislav Ievlev
@ 2005-05-27 17:03 ` Alexey Voinov
0 siblings, 0 replies; 2+ messages in thread
From: Alexey Voinov @ 2005-05-27 17:03 UTC (permalink / raw)
To: ALT Devel discussion list
[-- Attachment #1: Type: text/plain, Size: 1553 bytes --]
Stanislav Ievlev wrote
> 2.3 Имена
>
> Выражение: (* 10 50) хорошо, а: (* width height) лучше.
> (3.1415926 * 10.5 * 10.5) - интригующе, а (* pi radius radius) - всё же
> понятнее, (+ 2/3 5/7) - какие-то невзрачные действия с дробями, а
> (+ my-piece-of-cake your-piece-of-cake) - уже обретает смысл.
Надо, наверное, чуть-чуть добавить, что в отношении всяческих имён в
scheme намного свободней чем в других языках. Вполне допустимыми являются
имена типа string->integer или substring/shared. Формально набор символов
описан здесь:
http://schemers.org/Documents/Standards/R5RS/HTML/r5rs-Z-H-5.html#%_sec_2.1
> Наверное вы заметили, что комментарии к коду я пишу начиная их с ";". Это
> не случайно, все комментарии в тексте программы начинаются с символа ';'.
> Когда интерпретатор или компилятор читает наш код, весь текст начинающийся
> с ';' и до конца строки он игнорирует.
Полезные ссылки по теме:
http://community.schemewiki.org/?comment-style
http://community.schemewiki.org/?scheme-style
> 2.4 Про истину
>
> Если говорить кратко "всё есть истина кроме лжи", то есть
> 3 - это истина
> 3.5 - это истина
> "test" - это истина
> Вообще все другие типы, которые мы ещё не изучили - это истина.
> Все кроме лжи, которая имеет обозначение #f.
Для тех, кто немного знает другие языки: 0 - тоже #t.
(if 0 111 222) ; -> 111
(if (not 0) 111 222) ; -> 222
Для тех, кто знает Common Lisp или T: '() - тоже #t.
--
Best Regards!
Alexey Voinov
voins@voins.program.ru
voins@altlinux.ru
[-- Attachment #2: Type: application/pgp-signature, Size: 189 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2005-05-27 17:03 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-05-27 8:30 [devel] I: alterator internals - 2 Stanislav Ievlev
2005-05-27 17:03 ` Alexey Voinov
ALT Linux Team development discussions
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/devel/0 devel/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 devel devel/ http://lore.altlinux.org/devel \
devel@altlinux.org devel@altlinux.ru devel@lists.altlinux.org devel@lists.altlinux.ru devel@linux.iplabs.ru mandrake-russian@linuxteam.iplabs.ru sisyphus@linuxteam.iplabs.ru
public-inbox-index devel
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.devel
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git