Ведь программисты, хоть и функциональные, вступайте и обьясните путь лямды
groups.php?act=s&gid=912

Я как-то на Mathematic-е написал синтаксис лямбда-исчисления. Эти, l.x.y и т. п. Y-комбинатор, правда так и не покорился мне :) Кому интересна математика (Wolfram Research), могу кинуть файл.

Кидай =) посмотрим =) интеерсно

http://oleg.subway.net.ru/math/Lambda_Calculus.nb

Ха, да, много же нас... =))

Кстати, господа, что думаете об лиспоподобном языке Scheme. Вот ссылочка http://www.plt-scheme.org/
Я сейчас с ним разбираюсь, одно жалко, никакой документации на русском не найти.

Позволю себе еще одно сообщение. =))

Классная это штука этот вконтакте.ру, при большом желании можно общих знакомых найти. ;)

Как же по Схеме ничего не найти. А как же SICP.
Каноничнее этой книги только кнут %)

http://www.books.ru/shop/search?search_type=+&qu... 0%F3%EA%F2%F3%F0%E0+%E8+%E8%ED%F2%E5%F0%EF%F0%E5%F2%E0%F6%E8% FF&x=0&y=0

Если со ссылкой проблемы, ищите на books.ru
"Структура и интерпретация компьютерных программ".

Я свой экземпляр уже отхватил. И вам советую %)

Да, да, да, видел я эту книжечку, может быть и прикуплю.

Но на самом деле в предыдущих сообщениях я немного не полно выразился, уточню. Нигде не найти материалов на русском языке СВОБОДНЫХ для скачивания. ;)

Кажется, на букс.ру Саша отхватил последний экземпляр :)

Не, я ее в другом местекуплю, там по дешевле. Но место это не скажу, ибо там она тоже в одном экземпляре стоит. =))

А еще "клуб" называется... С тебя - OCR! =)

ЛИСП - это круто. только ФАР злит...

И почему я не удевлен видеть вас здесь, товарищи програмисты?

СИСЬКИ!!!!

И нах это все надо?

Есть ли функция или переменная выдающая как список текущую функцию. То есть своеобразынй квин? А то надо срочно проанализировать количество переменных в функции...

посоветуйте хорошую книгу по лиспу

Отвечаю на свой же вопрос. Получить функцию в виде списка в MyLISP можно через (GETD). А вот как это делаеться в Common Lisp пока не знаю...

Paul Graham - отменные книжки пишет - они доступны в нете. Плюс еще есть книжка Practical Common Lisp - тоже неплохая.
http://www.gigamonkeys.com/book/
http://www.paulgraham.com/books.html
на русском к сож мало чего есть

отличная книга по Scheme - Абельсон, Сассман "Структура и интерпретация компьютерных программ".
в викибукс есть курс лекции по функциональному программированию.

А вот и сама книжка
http://newstar.rinet.ru/~goga/sicp/sicp.pdf

если кто не знает, ским для кпк :
http://www.mazama.net/scheme/pscheme.htm
\o/

Кто тут рубит...поможите сделать.. нужно написать функцию кот соединяет два спискаисключая одинаковые элементы...
На вход: ( 1 2 3 4 5 ) (4 5 6 7 )
Ны выходе (1 2 3 4 5 6 7)

Заранее спасибо....

Идея следующая: нужно написать предикат (memberp) проверяющий есть ли в списке этот элемент. Далее если элемент есть сконструировать список без него. Потом просто повторить операцию для списка =)

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

(define (memberp a elem)
(cond ((null? a) #f)
((= elem (car a)) #t)
(else (memberp (cdr a) elem))))

(define (merge-lists a b)
(define (merging reslist a b)
(cond
((and (null? a) (null? b)) reslist)
((and (null? a) (not (memberp reslist (car b)))) (merging (cons (car b) reslist) a (cdr b)))
((and (null? a) (memberp reslist (car b))) (merging reslist a (cdr b) ))
((and (not (null? a)) (not (memberp reslist (car a)))) (merging (cons (car a) reslist) (cdr a) b))
((and (not (null? a)) (memberp reslist (car a))) (merging reslist (cdr a) b))))

(merging '() a b))

(define (more-clever-merge-lists a b)
(define (merge-more-clever res a)
(cond
((null? a) res)
((memberp res (car a)) (merge-more-clever res (cdr a)))
(else (merge-more-clever (cons (car a) res) (cdr a)))
))
(merge-more-clever (merge-more-clever '() b) a)
)


(merge-lists '(2 3 4 4) '(5 6 7))
(more-clever-merge-lists '(2 3 4 4) '(5 6 7))

Надеюсь поможет =)

Всем спасибо...очень помогли..особенное спасибо Борису Ярцеву!!!!

Я понимаю что с опозданием но все же - на Common Lisp коим является LispWorks все это выглядело бы следующим образом - (defun memberp (a elem)
(cond ((null a) nil)
((= elem (car a)) T)
(T (memberp (cdr a) elem))))
;;; define заменяется на defun
;;; else в Cond заменяется на T - true

(defun merge-more-clever (res a)
(cond
((null a) res)
((memberp res (car a)) (merge-more-clever res (cdr a)))
(T (merge-more-clever (cons (car a) res) (cdr a)))
))
;;; вместо null? - просто null

(defun more-clever-merge-lists (a b)
(merge-more-clever (merge-more-clever '() b) a)
)

А так - впринципе тоже самое =)

(more-clever-merge-lists '(2 3 4) '(5 6 7))

Язык Эрланг для многопоточных приложений.

club42075

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

А никто не знает, в Scheme можно как-нибудь замерить время выполнения функции?

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

Витольд, да вот в том-то и фишка, ищу, не нахожу. А может просто плохо ищу.

И еще, никто не пробовал разираться с компиляцией в Scheme?

Алгоритм нахождения свободного дерева (т.е. без циклов просто)..
Если в вершину только входят дуги или только выходят то эту вершину вычёркиваем вместе со всеми дугами
и так до тех пор пока нечего будет вычеркнуть, если вычеркнули все то циклов не было,
если вычеркивать нечего а вершины есть значит они образуют цикол или циклы)то есть короче они там есть....

Представить граф можно так:
(SETQ MAP '((A 0 (C)(B))
B 0 (A)(D))
D 0 (B)(C))
)

где задан список вершин, 0 значит то что вершина не удален 1-удалена..
в первых скобках предки(из кот входят дуги)..
во вторых потомки(в которые выходят дуги)..

Одна проблема никак не могу написать это на лиспе=(
Помогите написать...можно на Common можно на Scheme..
только нельзя операторы циклов использовать и PROG..

В DrScheme есть функция time.
Скажем (time (+ 1 2)) скажет тебе сколько выполняется сложение двух чисел.
В SICP тоже какая-то функция описана. Что-то вроде runtime. Не помню. Посмотри там.

Александр, премного благорарен. =))
Обидно, в стандарте R5RS такой нету... Хотя там много чего нету. =)
Какраз использую интерпритатор DrScheme. С недавнего времени перешел на PLT-ский стандарт Textual (MzScheme, includes R5RS).
Сразу многое стало получаться.

Всем добрый вечер. Скоро попробую сделать сайт по ФП: основная тематика - Scheme, но и для остальных языков ФП место тоже будет. Основная идея проекта - сделать что-то в духе идей HtDP и How To Think Like A CS - программирование (а точнее CS, просто сказать информатика - язык не поворачивается) как развивающая дисциплина. То есть программирование в образовательных целях либо как хобби, но не как профессиональное занятие.
Соответственно, на сайте будет документация, учебники, статьи, новости. Это уже то, чего в Рунете лично я пока не нашел - специализированного ресурса по ФП с более-менее регулярной поддержкой. Но если соберется достаточная аудитория, то можно будет заниматься достаточно интересными вещами: писать задачники, переводить на русский (а может даже и писать) учебники, создать сообщество с форумом... В общем, сделать на мой взгляд действительно интересный проект. К участию приглашаются как спецы, так и начинающие - каждый может внести свой вклад. Как вам идея?
На данном этапе я набираю литературу. До сих пор не нашел
The Little Schemer, 4th Edition Daniel P. Friedman and Matthias Felleisen
The Seasoned Schemer Daniel P. Friedman and Matthias Felleisen
The Reasoned Schemer Daniel P. Friedman, William E. Byrd and Oleg Kiselyov
Winston Horn LISP 3rd edition

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

http://lisp.org.ru/
http://clisp.linkfly.ru/

http://community.livejournal.com/ru_scheme/
http://community.livejournal.com/ru_lisp/
http://dmoz.org/Computers/Programming/Languages/Lisp.../
http://www.apl.jhu.edu/~hall/lisp-books.html

http://www.torrentz.com/650a06f228a86d1efd15e15eb1e6... ec9f

Илья, а сайт на Скиме написать не хотите? ^_^

Тьфу на вас) И так человек, который обещал хост, куда-то пропал) А вообще, была мысль - в образовательных целях.)

Да я просто хочу на Скиме попробовать какой-нибудь интернет ресурс написать, пусть даже про тот же ским.

Илья, не пробовал такое?

что есть ским?
не врубаюсь бррр

Scheme

блин ну и насокращают
а не схема ли правильней?

2 Артур Пастернак
Схема - это калька. Ским - это произношение английского слова Scheme, а не сокращение.
2 Сева Ляпин
Нет, не пробовал. Посмотрел на sourceforge.net - ничего вразумительного не нашел, все так или иначе связано с java. С другой стороны, есть
http://www.schemers.org/
Судя по значку в низу страницы, сайт построен с использованием PLT Scheme. В общем, не понимаю. Видел какую-нибудь доку по сабжу?

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

http://www.call-with-current-continuation.org/eggs/w... e.html
http://www.cs.brown.edu/courses/cs173/2005/Assignmen... b.shtml
http://docs.plt-scheme.org/web-server/web-server.html
http://galinha.ucpel.tche.br:8081/web-scheme/example.... ws

Ау, сюда вообще кто-нибудь заглядывает?

Нас, кстати, уже 50, а это значит, что можно обсуждения врубать.

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

Здравствуйуте. Как работает setf? Ведь он принимает два аргумента - dst и src. А как он получает адрес dst, зная только сам dst?

[1]> (set 'a (make-array 3))
#(NIL NIL NIL)
[2]> (setf (aref a 0) 4)
4
[3]> (print (aref a 0))

4
4

setf это макрос, а не процедура.

Привет "торчащим от LISP" :)

зацените
http://www.paragent.com/lisp/cusp/cusp.htm

Круто! =))
Артур, спасибо за ссылку. А ты уже пробовал юзать эту штуку?

не еще не попробовал

Артур, спасибо, посмотрим-с.

это может уже введем обсуждения здесь по темам?

ВНИМАНИЕ!!!
Продам дешево (книги новые):
1. страструп «язык с+ »
2. холзнер XSLT

А так же есть литература по биологической химии, ядерной и квантовой физике, электронике, микроэлектронике. Их отдам почти за даром в хорошие руки.
Все заинтересовавшиеся – пишите в личку.
_

>Александр Колоев

здесь не доска объявлений о продаже
да и к тем более книжки о таких быдло языках