golosptic: (Default)
golosptic ([personal profile] golosptic) wrote2004-01-09 02:12 am

(no subject)

А вот кто меня может просветить. Внятно. По возможности - ссылками на РУССКОЕ объяснение современных концепций,
принятых во функциональных языках программирования. А то я в своём развитии далее ЛИСПа и переводной книжки по ПЛЭННЕРУ не пошёл - а тут проект намечается, где, судя по всему в качестве инструмента будет уместен именно функциональный язычек какой-то.

Сомневаюсь, что есть перетолкования.

[identity profile] volodymir-k.livejournal.com 2004-01-08 11:19 pm (UTC)(link)
Функциональные вообще довольно сложные для восприятия.

Основная идея -- что объекты неизменны. Напрочь. А изменение получается созданием нового из данных существующего.

Вторая идея -- что программы тоже есть объекты. В натуре. Так же, как есть неназванные объекты, могут существовать неназванные (и вообще толко что созданные) программы. И мы их можем применять к существующим данным (а можем и формально комбинировать - то есть создавать новые программы, комбинируя и анализируя существующие).

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

Тема очень глубока. Я читал и классический Лисп одного финна, и стогий компромисс ГайСтила, и полупроцедурный бред от Столмэна, и знаменитую по Прологу от Ивана Братко, и смежные, полуСмолтоковую, переводную с японского -- про смолток-процессор Катану, и работы японцев, особенно ?Джона, что ли, Шапиро 1985 года по параллельному Прологу, и борландовский ужас около Пролога, и полуалгебраический труд по лямбда-функциям, их замыкании, классах и замыкании классов. По плэннеру вроде припоминаю книжку 1978 вроде года, эдакий недолисп с загнутыми пальцами кортежей.

Обращайтесь. Здесь.

[identity profile] potan.livejournal.com 2004-01-09 01:09 am (UTC)(link)
Хорошей описание парадигмы есть здесь. Более узкое, но, наверно, более практичное - здесь. Как элементарное могу посоветовать мое введение в Haskell - оно для школьников писалось.
У меня на бумаге есть "Филд А., Харрисон П.", но на него уже очередь :-).

А что за задача, если не секрет?