LINUX.ORG.RU

Новый номер журнала «Практика функционального программирования»

 , , , , ,


0

0

Вышел в свет четвертый выпуск журнала «Практика функционального программирования». В новом номере опубликованы следующие статьи:

  • Лисп — абстракции на стероидах. Виталий Маяцких.
  • Clojure, или «Вы все еще используете Java? тогда мы идем к вам». Алекс Отт.
  • Пределы выразительности свёрток. Виталий Брагилевский.
  • Сечения композиции как инструмент бесточечного стиля. Денис Москвин.
  • Мономорфизм, полиморфизм и экзистенциальные типы. Роман Душкин.

Обсуждение номера и отдельных статей

>>> Новый номер в разных форматах

Ответ на: комментарий от lester

Оно не мертвое, оно древнее и сугубо специфичное. Я с десяток таких вот иерархических и объектных СУБД назвать могу, которые никакой гугль не найдет никогда - но они применяются, причем в составе софтин, которые продаются по нескольку десятков тысяч долларов за лицензию на одно рабочее место в год.

А что SQL не поддерживает - так и не должно. SQL для всякой реляционной чепухи. СУБД, если ты не в курсе, не только реляционные в природе встречаются.

anonymous
()
Ответ на: комментарий от anonymous

> Вы знаете, как обойти setq в лиспе? Вы занаете как помнять значение 'aaa?

anonymous
()
Ответ на: комментарий от anonymous

> Утверждалось, что CL столь гибок, что позволяет

программировать в любом стиле.


Кем утрвеждалось? Тут порой такое прочитать можно...

А еще выяснилось, что далеко не все реализации хвостовые

вызовы оптимизирут.



Конечно, ведь в практике императивного программирования это не очень-то и нужно. Впрочем, ведущие реализации всё оптимизируют.

archimag ★★★
()
Ответ на: комментарий от anonymous

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

Всякие пустобрёхи-окодемеги доказали, что реляционная модель универсальна и на неё можно отобразить любую из существовавших тогда моделей. И народ повёлся. Стали клепать РСУБД в огромных количествах и всё переводить на них. А то, что это вызывает огромное количество практических проблем, осознали слишком поздно, когда SQL и связанное с ним говно стало стандартом де-факто.

Одно только радует во всей этой истории - то, что все подсели на SQL, а не на Datalog. Ведь всё могло быть гораздо хуже!

anonymous
()
Ответ на: комментарий от anonymous

Посмотрим. Но это был ответ на "... Но её в практическом, прикладном программировании просто нет, не было и не _предвидится_ ..". Хотя с учетом роста популярности LINQ можно и в первой части предложения усомниться.

Кстати, вопрос на засыпку. Откуда пошли генерики в C#? Даю подсказку. Только не надо вспоминать про плюсовые шаблоны.

dave ★★★★★
()
Ответ на: комментарий от dave

Из генериков в Java, конечно же. А что ими занимался тот же человек, который на досуге в F# играется, так это совпадение и к функциональщине никак не относится.

anonymous
()
Ответ на: комментарий от archimag

>> А еще выяснилось, что далеко не все реализации хвостовые

вызовы оптимизирут.


Конечно, ведь в практике императивного программирования это не очень-то и нужно. Впрочем, ведущие реализации всё оптимизируют.

Как то писал виртуальную машину для своей реализации Форта - оказалось очень удобно заложиться на хвостовые вызовы при правильных опциях gcc.

anonymous
()
Ответ на: комментарий от anonymous

> А что ими занимался тот же человек, который на досуге в F# играется, так это совпадение и к функциональщине никак не относится.

Это ты так про Дона Сайма или кого-то из его группы? :)

dave ★★★★★
()
Ответ на: комментарий от anonymous

> Как то писал виртуальную машину для своей реализации Форта

А зачем это вообще надо? Какой в этом практический смысл?

archimag ★★★
()
Ответ на: комментарий от archimag

> А зачем это вообще надо? Какой в этом практический смысл?

Описание одной операции делается одной функцией, которая в конце вызывает диспетчер. Получилось эффективнее, чем возвращаться в диспетчер и вызывать следующую функцию.

anonymous
()
Ответ на: комментарий от anonymous

Я не об этом, зачем вообще нужно писать виртуальную машину для своей реализации Форта? Зачем нужна своя реализация Форта?

archimag ★★★
()
Ответ на: комментарий от anonymous

>где r отстаивал точку зрения, что у чисел есть состояния.

*аффтаритетно* Вас подводит память. Перечитайте тред.

r ★★★★★
()

Спасибо большое авторам! С нетерпением жду каждого номера!

P.S. Есть желание отблагодарить ;)

rudchenkos
()

Надо было журнал «Элитарные языкм программирования» назвать :-)

anonymous
()
Ответ на: комментарий от ott

Ааа... клево

А можно мне как человеку, планирующему заняться интеллектуальным анализом данных в будущем, поинтересоваться, какой выигрыш здесь дает использование clojure (либо других фяп) над мейнстримовыми языками, помимо распараллеливания?

Мне правда интересно :)

yoghurt ★★★★★
()
Ответ на: комментарий от archimag

>> Зачем нужна своя реализация Форта?

потому что
что может быть проще ?

kto_tama ★★★★★
()
Ответ на: комментарий от yoghurt

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

ott ★★★★★
() автор топика
Ответ на: комментарий от archimag

>Зачем нужна своя реализация Форта?

Я, например, в своё время JBForth делал из-за того, что это был самый простой способ рулить L2J-сервером из Lineage II-клиента :)

Ну и скрипты на нём проще, гибче, мощнее и быстрее скриптов на Jython были.

KRoN73 ★★★★★
()
Ответ на: комментарий от archimag

Правильный вопрос - зачем нужна своя реализация Форта, написанная не на ассемблере (~500 строк всего и надо).

anonymous
()
Ответ на: комментарий от srj

>P.S. Есть желание отблагодарить ;)

Разве непонятно что это обычные понты ? Как и все отписавшиеся тут с откликами «клева», «спасибо почитаю» - обычные понторезы. Им выложи мурзилку в pdf и создай миф что это круто - они же будучи леммингами тоже самое напишут.

anonymous
()
Ответ на: комментарий от anonymous

Самое смешное, что никто из похваливших и попонтовавшихся эту мурзилку даже не читал. Илите лишь бы отметиться.

anonymous
()
Ответ на: комментарий от Kuka

> Кука, пожалуй, отложит традиционную рецензию до второй-третьей страницы комментов.

Обломщик! Уже пять страниц. Пиши рецензию!

anonymous
()
Ответ на: комментарий от srj

>http://fprog.ru/donate/

Настоятельно рекомендую всем сходить по ссылке

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

Что в переводе на русский означает:

Мы рады новым леммингам которые могут принести нам прибыль. Но нам на.уй не надо тратить на вас время бесплатно.

Одно непонятно - какое отношение подобные новости имеют к linux.

anonymous
()
Ответ на: комментарий от anonymous

да какая там прибыль? деньги идут на оформление (покупка рисунков, шрифтов и т.д.) и на конкурс...

ott ★★★★★
() автор топика
Ответ на: комментарий от archimag

Проще написать свою, чем разбираться как встроить в железку чужую.

anonymous
()
Ответ на: комментарий от anonymous

> Правильный вопрос - зачем нужна своя реализация Форта, написанная не на ассемблере (~500 строк всего и надо).

В данном случае just for fun. Хотелось понять можно ли сделать переносимо без потери эффективности. Да и спарковский ассемблер мне не очень нравится :-)

anonymous
()
Ответ на: комментарий от anonymous

>А нормальный человек, не красноглазый, просто взял бы готовую реализацию ECMAscript

Я же написал - управление из командной строки Lineage II.

KRoN73 ★★★★★
()
Ответ на: комментарий от ott

>да какая там прибыль? деньги идут на оформление (покупка рисунков, шрифтов и т.д.) и на конкурс..

Посетите для примера сайт проекта GNU http://www.gnu.org/help/help.ru.html

Чем помочь

Этот список упорядочен так, чтобы более срочные дела были расположены ближе к началу.

И посмотрите на каком там месте идут финансовые пожертвования.

anonymous
()
Ответ на: комментарий от LamerOk

Японская версия итальянской оперы? Это что? Перевод либретто, основанного на романе американского писателя, на японский? В таком случае, можно ли утвердать, что все персонажи «Анны Карениной» говорят на китайском, коль скоро «Анна Каренина» переводилась на китайский?

svr69 ★★
()
Ответ на: комментарий от anonymous

дык журнал - не FSF, занимающийся глобальными вещами, а конкретное издание. мы не пытаемся организовывать user groups, etc.

ott ★★★★★
() автор топика
Ответ на: комментарий от ott

Тогда что делает новость о выходе вашего журнала на главной странице сайта

LINUX.ORG.RU - Русская информация об ОС Linux

Чем ваш журнал полезней для сообщества чем например http://www.playboy.com.ru

anonymous
()
Ответ на: комментарий от anonymous

> Тогда что делает новость о выходе вашего журнала на главной странице сайта

висит.

anonymous
()
Ответ на: комментарий от anonymous

> Отчего лиспофобы такие нищеброды?

все кто пишет программы под линуксом нищеброды

fix

anonymous
()
Ответ на: комментарий от anonymous

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

ott ★★★★★
() автор топика
Ответ на: комментарий от anonymous

> Чем ваш журнал полезней для сообщества чем например http://www.playboy.com.ru

Что анонимус делает в обсуждении новости на главной странице сайта? Чем анонимус полезнее для сообщества чем например http://en.wikipedia.org/wiki/Adolf_Hitler

anonymous
()
Ответ на: комментарий от ott

яву - это языки высокого уровня или java ? статьи от IBM DeveloperWorks публикуемые тут рассказывают о том что касается open source а на сайте www.ibm.com я не видел на главной странице ссылку на donate :)

anonymous
()
Ответ на: комментарий от anonymous

и чем вас так огорчает кнопка donate? неужели мы с ножом у горла требуем у вас денег и выкатываем счета за чтение журнала?

ott ★★★★★
() автор топика

> Для случая, когда g является функцией четырех аргументов:

(((( . f) . ) . ) . ) g x y z v = g x y z (f v)

В заключение хотелось бы ещё раз подчеркнуть, что бесточечный стиль



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

www_linux_org_ru ★★★★★
()
Ответ на: комментарий от ott

>и чем вас так огорчает кнопка donate?

Тем что не у всех есть электронная карта с привязанным paypal или webmoney, добавьте сервис с отправкой sms - мобильник доступен каждому.

anonymous
()
Ответ на: комментарий от anonymous

насколько я помню, это достаточно затратный сервис - поток donations не особо большой

ott ★★★★★
() автор топика
Ответ на: комментарий от ott

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

anonymous
()
Ответ на: комментарий от LamerOk

> Все. Японская версия.

Ссылку на коммерческие (реальные, практические) проекты на Хаскель я привел. И их даже больше, чем разных арий на японском. Вывод: функционалка не только для теоретиков.

anonymous
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.