OberonCore
https://forum.oberoncore.ru/

Журнал "Практика функционального программирования"
https://forum.oberoncore.ru/viewtopic.php?f=72&t=1729
Страница 1 из 3

Автор:  Geniepro [ Вторник, 21 Июль, 2009 08:49 ]
Заголовок сообщения:  Журнал "Практика функционального программирования"

Наконец вышел первый номер нового журнала "Практика функционального программирования"
Будем надеяться, не последний... :D

Автор:  Alexey Veselovsky [ Вторник, 21 Июль, 2009 12:39 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Спасибо за ссылочку. Весьма интересно.

Автор:  Geniepro [ Пятница, 26 Февраль, 2010 07:40 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Да, кстати, вышел уже 4-й номер: http://fprog.ru/2010/issue4/
Обложка гламурная :о)

ЗЫ.
Номер 3: http://fprog.ru/2009/issue3/
Номер 2: http://fprog.ru/2009/issue2/
Номер 1: http://fprog.ru/2009/issue1/

Автор:  Peter Almazov [ Пятница, 26 Февраль, 2010 09:09 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Спасибо, что напомнили.

Автор:  Geniepro [ Среда, 04 Август, 2010 08:43 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Забыл я поместить тут ссылку на давно вышедший пятый выпуск:
http://fprog.ru/2010/issue5/

Заодно начал его потихоньку почитывать. В самом начале там приводятся результаты конкурса ПФП-2009, объявленного в третьем выпуске: http://fprog.ru/2009/issue3/
были присланы решения на следующих языках:
OCaml, Haskell, Erlang, Common Lisp, Python, C#, Visual Basic, Ada, Clojure.

Любопытный фрагмент:
Цитата:
Мы были приятно удивлены призовому месту решения на Visual Basic. Надо отметить его краткость и простоту кода. Решение «в лоб», без особых изысков в плане алгоритмов и структурирования программы, победило в практичности большинство своих аналогов на языках функционального программирования.

Среди недостатков присланных решений на языках функционального программирования надо отметить излишнее мудрствование: использование нетривиальных решений, отказ от использования библиотек синтаксического анализа XML, метапрограммирование, когда задача решалась более простыми средствами, не слишком теряя при этом в производительности. Сравните, например, решение на Visual Basic с решением OCaml–1: различие в производительности в двадцать процентов было получено ценой двукратного увеличения количества кода. Кстати, в этом выпуске журнала есть статья Дмитрия Попова (одного из участников конкурса) о синтаксическом анализе, содержащая, в частности, сравнительный анализ скорости работы различных библиотек синтаксического анализа XML (см. с. 74).

С другой стороны, в каких-то случаях такое мудрствование может быть оправдано. Вариант на Common Lisp, использующий несколько стадий метакомпиляции, кажется сложным для понимания (впрочем, автор все доходчиво рассказал в своем LiveJournal ), но может похвастаться абсолютным рекордом скорости выполнения обрезки карт. Он может служить неплохой иллюстрацией к статье «Лисп — абстракции на стероидах» Виталия Маяцких, опубликованной в предыдущем выпуске нашего журнала.

Интересно отметить, что победившее решение на C# вызвало у жюри более полярные мнения, чем решение на Visual Basic. Вот пара отзывов о победившем решении:

Эксперт–3:
«Программа реализована в лучших традициях продакшен программирования, простой первый прототип и аккуратно реализованный с разбиением на подпроекты и множеством вспомогательных утилит итоговый проект.»

Эксперт–4
«Декомпозиция: лютый овердизайн. Как будто платят за строчки кода. Куча мусора, не относящегося к задаче. Смысл утоплен в деталях реализации.»

Обсуждение конкурса: http://community.livejournal.com/fprog/11783.html

Автор:  Geniepro [ Среда, 01 Декабрь, 2010 08:08 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Алексей Веселовский напомнил, что уже вышел 6-й номер журнала ПФП.

В номере -- интервью с авторами языков Эрланг (Джо Армстронг) и Хаскелл (Саймон Пейтон Джонс), введение в язык Scala, а также перевод статьи Дэна Пипони (автора спецэффектов в трёхсерийном фильме "Матрица").

А ещё авторы журнала запустили проект «Библиотечка ПФП», которая будет заполняться переводами классических статей из серии "Жемчужины функционального программирования" (Functional pearls).

Автор:  Peter Almazov [ Среда, 01 Декабрь, 2010 09:12 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Geniepro писал(а):
Алексей Веселовский напомнил ...
Спасибо обоим.

Автор:  Comdiv [ Вторник, 07 Декабрь, 2010 18:00 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Было бы интересно в следующем номере журнала увидеть статью Ильи Ермакова о Рефале-0.
Кстати, Саймон Пейтон Джонс упоминал Рефал в связи с интересом к суперкомпиляции. Интересно также, что главной проблемой Haskell он считает сложность и объём, и выразил надежду, что когда-нибудь кто-нибудь возьмёт из языка лучшее и сделает более простой.

Автор:  Alexey Veselovsky [ Вторник, 07 Декабрь, 2010 18:09 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Comdiv писал(а):
Было бы интересно в следующем номере журнала увидеть статью Ильи Ермакова о Рефале-0.
Кстати, Саймон Пейтон Джонс упоминал Рефал в связи с интересом к суперкомпиляции. Интересно также, что главной проблемой Haskell он считает сложность и объём, и выразил надежду, что когда-нибудь кто-нибудь возьмёт из языка лучшее и сделает более простой.

Habit же. Впрочем, это не замена хаскеля. Это скорее системный язык похожий на хаскель.
Впрочем, если его немного потрясти, то можно из него получить кошерное миниатюрное хаскелеподобное нечто.

Впрочем, есть же упрощенный хаскель. Для обучизмов.

А SPJ говоря о хаскеле говорил о ghc на самом деле, и всём том что он реализует (а реализует он тонны экспериментальных фич, ибо исследования). Впрочем, язык реализуемый ghc есть стандарт дефакто на haskell. Это хорошо и не хорошо одновременно. Это нужно учитывать.

А рефал да, интересен. Надо его таки осилить. Теперь, после знакомства с хаскелем, Рефал (причем не Рефал-0) должен особенно легко пойти.

Автор:  Илья Ермаков [ Вторник, 07 Декабрь, 2010 18:24 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Я когда-то предлагал им статью, сказали, что неинтересно, не практично.

Автор:  Alexey Veselovsky [ Вторник, 07 Декабрь, 2010 19:23 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Илья Ермаков писал(а):
Я когда-то предлагал им статью, сказали, что неинтересно, не практично.

Это зависит как предложить и когда :-) Сейчас думаю примут. Можно совместно подумать как преподнести.

Автор:  Geniepro [ Вторник, 07 Декабрь, 2010 20:32 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Илья Ермаков писал(а):
Я когда-то предлагал им статью, сказали, что неинтересно, не практично.

Хм. Странно и печально...

Автор:  Comdiv [ Вторник, 07 Декабрь, 2010 21:03 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Илья Ермаков писал(а):
Я когда-то предлагал им статью, сказали, что неинтересно, не практично.

Досадно, конечно.
Но раз есть возможность использовать в C, то очень даже практично. Недавно мне пришлось править реализацию на С разбора одного текстового формата. Люди пошли "наивным" путём и такого наворотили, что жуть. И если бы они воспользовались чем-то похожим, сильно бы упростили себе задачу.
Я тоже считаю, что, возможно на 2-й раз примут, если ещё раз подумать над предложением. Тем более что, судя по всему, от статей они не ломятся, между 5-м и 6-м номером времени прошло много.

Автор:  Alexey Veselovsky [ Вторник, 07 Декабрь, 2010 21:34 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Comdiv писал(а):
Илья Ермаков писал(а):
Я когда-то предлагал им статью, сказали, что неинтересно, не практично.

Досадно, конечно.
Но раз есть возможность использовать в C, то очень даже практично. Недавно мне пришлось править реализацию на С разбора одного текстового формата. Люди пошли "наивным" путём и такого наворотили, что жуть. И если бы они воспользовались чем-то похожим, сильно бы упростили себе задачу.
Я тоже считаю, что, возможно на 2-й раз примут, если ещё раз подумать над предложением. Тем более что, судя по всему, от статей они не ломятся, между 5-м и 6-м номером времени прошло много.

Времени много прошло скорее всего из за согласования бумажного издания.

Я поговорил. В принципе ничего против Рефала не имеют. Однако сильно зависит от темы статьи.

Наивный путь это какой? Взяли Yacc и им что-то там понаворотили?

Автор:  Comdiv [ Вторник, 07 Декабрь, 2010 21:46 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Alexey Veselovsky писал(а):
Наивный путь это какой? Взяли Yacc и им что-то там понаворотили?

работали на уровне strings.h

Автор:  Alexey Veselovsky [ Вторник, 07 Декабрь, 2010 21:50 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Comdiv писал(а):
Alexey Veselovsky писал(а):
Наивный путь это какой? Взяли Yacc и им что-то там понаворотили?

работали на уровне strings.h

Рекурсивный спуск?

Автор:  Comdiv [ Вторник, 07 Декабрь, 2010 22:04 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

:lol: Всё гораздо круче. Представьте, что Вы не знаете этих понятий: рекурсивный спуск, регулярные выражения, автоматное программирование, лексический анализатор. Зато Вы умеете искать подстроку в строке. Представили?

Автор:  Илья Ермаков [ Среда, 08 Декабрь, 2010 00:42 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Мне сейчас просто сильно некогда.

Могу взяться за эту тему, если мне скажут, как перекомпоновать и заточить под журнал имеющийся по Рефалу-0 текст:
http://metasystems.ru/download/science/ ... 08-eie.pdf

Автор:  Info21 [ Среда, 08 Декабрь, 2010 07:36 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

Comdiv писал(а):
:lol: Всё гораздо круче. Представьте, что Вы не знаете этих понятий: рекурсивный спуск, регулярные выражения, автоматное программирование, лексический анализатор. Зато Вы умеете искать подстроку в строке. Представили?
Марковская парадигма.
Надо, конечно, знать такие вещи. Развивает.

Автор:  Alexey Veselovsky [ Среда, 08 Декабрь, 2010 08:09 ]
Заголовок сообщения:  Re: Журнал "Практика функционального программирования"

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

Т.е. краткий план:
- основы марковских алгорифмов
- как из этого получается рефал (его базис).

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

По крайней мере мне интересно :-)

Страница 1 из 3 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/