LTU-Kiev meeting 2009 v2. Call for Papers and Participation
Max Desyatov
Лето заканчивается, а у меня потихоньку созревает материал, чтобы
рассказать на следующем LTU-Kiev meeting.
Собираюсь впихнуть в презентацию такое:
* Разработка request-response веб-приложений с использованием Haskell в
качестве основного языка. Какие проблемы при разработке возникали и
как решались. Какие грабли предполагаются в дальнейшем и какие
противоядия я подготовил, в моём конкретном случае разработки.
* Использованый инструментарий. Обзор основных библиотек, их целевой
аудитории, в каком оно находится состоянии.
* Примеры написанных приложений, обзор их достоинств и недостатков.
* Как подведение итогов: дискуссия на тему, зачем Haskell в такой нише
вообще нужен. Ответы на ответы, вопросы на вопросы, вести с полей.
Готовый материал можно ожидать примерно к концу сентября-началу
октября. До этого времени готов учесть предложения касательно плана
доклада.
Также, было бы приятно в этом треде увидеть планы и предложения других
докладчиков.
WBR, Max.
Roman Cheplyaka
Интересно было бы послушать отдельно про formlets, если ты их
использовал.
--
Roman I. Cheplyaka :: http://ro-che.info/
"Don't let school get in the way of your education." - Mark Twain
Valery V. Vorotyntsev
> Интересно было бы послушать отдельно про formlets, если ты их
> использовал.
Не использовал!
Часто рекомендуют использовать formlets. Я с ним промучился в
первой версии своего web-app. Как концепт — интересно, но не
более. Любителям готовых решений вообще не стоит на это смотреть,
чтобы не запудривать себе мозги.
[comment to http://community.livejournal.com/ru_lambda/107847.html]
:)
--
vvv
Max Desyatov
днях: http://hpaste.org/fastcgi/hpaste.fcgi/view?id=8031
Оно как бы стало более юзабельным, чем вначале предполагалось, но я всё
равно не буду его внедрять в свой код, т.к.:
* у меня используется обобщённый подход к данным находящимся в реквесте
(формы/печеньки/всё такое прочее не разделяется).
* formlets используют класс Applicative. Тоже overkill, мне кажется +
затрудняет и затуманивает параллельную обработку ошибок.
Про formlets в докладе обязательно буду упоминать и сравню со своим
подходом.
WBR, Max.
Max Desyatov
приложение, в котором уже происходит разделение на Model/View/Controller
хотя бы модулям, — ещё один major pain. Model/View/Controller в formlets
разделено, но только в пределах одного формлета.
Это к тому, что слушать отдельно про них нечего. Для совсем простого
приложения они может быть подойдут, но я не буду рассказывать о совсем
простых приложениях.
formlets, как я понимаю, впервые были реализованы на окамле, а потом уже
переписаны на хаскеле. Лет пять назад они оказались бы полезными, но
сейчас в пределах такой громадины, как happstack, впилить их совершенно
некуда.
WBR, Max.
Valery V. Vorotyntsev
Call for Participation.
Итак, предположительная дата встречи: 26 сентября.
Подразумеваемая тема: "Использование Haskell в ***[*]".
[*] Машиностроении, сельском хозяйстве, животноводстве
и др. областях науки и техники.
Если у вас есть что рассказать community -- предлагайте своё
выступление.
До регистрации и пиар-компании ещё дело не дошло. Но если есть
настроение -- можете затеять страницу, посвящённую грядущей встрече,
на https://groups.google.com/group/ltu-kiev (там внизу есть ссылка
"Create some pages").
И как вы относитесь к проведению новой встречи в "формате" HUG?
[http://www.haskell.org/haskellwiki/Boston_Area_Haskell_Users'_Group#Meeting_Format]:
The Haskell Users' Group is *not a forum for academic talks*.
[...]
The Haskell Users' Group is a forum for *informal interactions*
and a place where you can *show us the code*.
The ideal meeting will include two presentations and a break:
- A presentation of *code that even a beginner will appreciate*
- A break (which may also include Lightning Talks or other
advertisements of interest)
- A presentation of *code that will make at least some experts
say Ooh! and Aah!*
Demos are also encouraged, but we want to see at least a little
bit of code, please.
--
vvv
Dmitry Astapov
Ладно, формлеты формлетами, но не будем забывать про изначальный
Call for Participation.
Итак, предположительная дата встречи: 26 сентября.
Подразумеваемая тема: "Использование Haskell в ***[*]".
[*] Машиностроении, сельском хозяйстве, животноводстве
и др. областях науки и техники.
Если у вас есть что рассказать community -- предлагайте своё
выступление.
20-го сентября выйдет второй номер fprog.ru, а я могу рассказать (по материалам своей статьи оттуда) про использование Haskell в ... эээ... сельском хозяйстве. На Машинно-Тракторной Станции :) Правда, кода там особо не будет, будет в основном blah-blah-blah.
--
Dmitry Astapov
Oleg Smirnov
wrote:
> До регистрации и пиар-компании ещё дело не дошло. Но если есть
> настроение -- можете затеять страницу, посвящённую грядущей встрече,
> "Create some pages").
Сделал драфт: https://groups.google.com/group/ltu-kiev/web/meeting-2
Оно таки работает.
> И как вы относитесь к проведению новой встречи в "формате" HUG?
>
> [http://www.haskell.org/haskellwiki/Boston_Area_Haskell_Users'_Group#M...]:
>
> The Haskell Users' Group is *not a forum for academic talks*.
Это к тому, чтоб гонять шибко умных?
--
Regards,
Oleg Smirnov
Valery V. Vorotyntsev
>
> Сделал драфт: https://groups.google.com/group/ltu-kiev/web/meeting-2
> Оно таки работает.
Cool!
>> И как вы относитесь к проведению новой встречи в "формате" HUG?
>>
>> [http://www.haskell.org/haskellwiki/Boston_Area_Haskell_Users'_Group#M...]:
>>
>> The Haskell Users' Group is *not a forum for academic talks*.
>
> Это к тому, чтоб гонять шибко умных?
LtU-Kiev не есть HUG, и вряд ли написанное для Boston Area идеально
подойдёт району Протасового Яра. Но как эксперимент интересно
попробовать. Для разнообразия.
Что касается шибко умных, то не гонять, а сгонять!
| 5:06 PM
| romakh: подумываю, что через неделю-две буду поднимать бложик на
| happstack, релизить в опенсорс свои обёртки над happstack, а
| примерно в то же время буду думать как оформить свой текущий опыт в
| виде презентации для ltu-kiev
|
| 5:09 PM
| me: Отлично! Очень полезно снова дефибриллировать ltu-kiev, и ещё
| раз собрать умных людей в одной комнате. (Они как обезьянки, такие
| забавные.)
--
vvv
Max Desyatov
Перед тем как делать определённые анонсы с тематикой и датой meeting'а,
хотелось бы получить качественную предварительную обратную связь по
поводу моего доклада.
Отметьте плиз, о чём вам хотелось бы услышать больше в моём докладе (если
сразу несколько пунктов, то ставьте звёздочки в желаемых вами пропорциях):
[ ] обзор библиотек, полезных в разработке веб-приложений
(formlets, HSP, templates, xml-генераторы, остальное в след. пунктах :) ;
[ ] дизайн веб-приложений с учётом специфики программирования на Haskell
(какие приёмы я использовал, как удалось избежать некоторой части
болезненного рефакторинга, благодаря вдумчивому проектированию, etc);
[ ] общие приёмы для людей, которые мало знакомы с написанием
Haskell-кода: как использовать monad tranformers, applicative,
generics, моноиды etc. Если ставим галочку здесь, то указываем
подробно, что именно интересует, ведь можно покрыть очень большую
тематику и не угадать с аудиторией;
[ ] обзор доступных относительно сложных веб-приложений, написанных на
Haskell (gitit, patch-tag, happs-tutorial, ваш вариант);
[ ] использование happstack;
[ ] Rich Internet Applications и Haskell (работа с JSON/генерирование
javascript etc);
[ ] RDBMS и вообще доступные хранилища данных (happstack-state и другие
сериализаторы для persistent state);
[ ] ваш вариант;
От ваших пожеланий сильно зависит качество моего доклада, будьте
бдительны!
Если у вас есть знакомые, которые не подписаны на эту рассылку, но
заинтересованы тематикой, — расспросите их, о чём они больше всего хотят
узнать, если придут на meeting, отметьте за них галочки (или добавьте к
своим) и ответьте на это сообщение.
WBR, Max.
Anton Tayanovskyy
I have been keeping quiet and busy working on a new product my company
is developing. I will be in Kyiv in mid-December and would be glad to
give a short talk about the experience. By that time we will have more
examples and more to report - the first public preview release is
expected only in late September, but preliminarily it will look like
this:
IntelliFactory WebSharper(TM) platform - functional web programming
for the .NET framework
* cross-compiling F# quotations to JavaScript
* client-server RPC with JSON
* pagelets - building composable webapp blocks with the visual appeal
of HTML, the functionality of DOM, and automated CSS and JS dependency
management
* formlets [1] - adapting the formlet concept for AJAX; validating on
the client-side *and* server-side from a single codebase; combining
flows with monads
* functional reactive programming - using DOM-integrated,
Flapjax[2]-backed first-class events and behaviors
* post-compiler verification - catching errors that the type checker could not
* legacy code interop - parsing JavaScript, binding to JS frameworks
with extern and macro procedures, embedding into ASP.NET
There are some interesting solutions in there (i.e. type Formlet<T> =
Pagelet * Behavior<T>) and I am really excited about this project.
As for the presentation - I hope F# qualifies for a functional
language! Most of our framework could be implemented in Haskell, but
the solutions to the problems would be radically different. The
greatest concept I would miss is F# quotations, which allow to look at
functions as both code and as data, simplifying the cross-compilation
(would TH fit the bill?). Arguably, in a LISP environment it would be
more straightforward; but F# is a sweet spot because you have both
metaprogramming and HM type inference. OCaml could do well too with
Camlp4 macros, but then it lacks reflection, which has served us to
get out of a few corners. Most decisively, ASP.NET integration has
customer appeal.
If other people do something similar, I would be interested to see
samples and explanations for RPC, page and form building, validation
and event handling.
From the other reporters I would like to hear focused talks in one of
the formats:
* an experience report - "I went there, did this, encountered that
problem, solved it like this"
* a lecture - "I explain this topic and give you references and
exercises for homework"
Thanks,
--A
[1] Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop. "An
idiom's guide to formlets." Technical report, University of Edinburgh,
2008
[2] http://www.flapjax-lang.org/
2009/9/3 Max Desyatov <explic...@googlemail.com>:
> заинтересованы тематикой, -- расспросите их, о чём они больше всего хотят
> узнать, если придут на meeting, отметьте за них галочки (или добавьте к
> своим) и ответьте на это сообщение.
>
> WBR, Max.
>
> >
>
--
Kind Regards,
Anton Tayanovskyy
Oleg Smirnov
> Отметьте плиз, о чём вам хотелось бы услышать больше в моём докладе (если
> сразу несколько пунктов, то ставьте звёздочки в желаемых вами пропорциях):
>
Слайды с анализом производительности Happstack.Server vs. Apache vs.
Yaws vs. еще что-нибудь, например.
> От ваших пожеланий сильно зависит качество моего доклада, будьте
> бдительны!
--
Regards,
Oleg Smirnov
Andrei Melnikov
Haskell-кода: как использовать monad tranformers, applicative,
generics, моноиды etc.
По поводу общих приемов - мне интересно, на каком этапе Вы видели
моноиды. На этапе проектирования, при написании, или уже в ходе
рефакторингов понимали, что код можно сократить? Т.е. ход Ваших мыслей
и вообще workflow, может, какие-то case studies. Сколько времени
уходило на борьбу с системой типов (например, расставление деклараций
ввиду того, что локальный вывод Хаскеля не справлялся, устранение
странных ошибок типов).
Общая информация, которую можно прочитать, скажем, в тайпклассопедии,
не интересует. Интересуют именно "приёмы" - приемы анализа и
проектирования.
--
Andrei
wizzard0
On 3 Вер, 11:35, Max Desyatov <explicitc...@googlemail.com> wrote:
> Перед тем как делать определённые анонсы с тематикой и датой meeting'а,
> хотелось бы получить качественную предварительную обратную связь по
> поводу моего доклада.
>
> Отметьте плиз, о чём вам хотелось бы услышать больше в моём докладе (если
> сразу несколько пунктов, то ставьте звёздочки в желаемых вами пропорциях):
>
> [ ] обзор библиотек, полезных в разработке веб-приложений
> (formlets, HSP, templates, xml-генераторы, остальное в след. пунктах :) ;
> [ ] дизайн веб-приложений с учётом специфики программирования на Haskell
> (какие приёмы я использовал, как удалось избежать некоторой части
> болезненного рефакторинга, благодаря вдумчивому проектированию, etc);
+1
> [ ] общие приёмы для людей, которые мало знакомы с написанием
> Haskell-кода: как использовать monad tranformers, applicative,
> generics, моноиды etc. Если ставим галочку здесь, то указываем
> подробно, что именно интересует, ведь можно покрыть очень большую
> тематику и не угадать с аудиторией;
+1 насчет monad transformers, applicative, comonads может
> [ ] обзор доступных относительно сложных веб-приложений, написанных на
> Haskell (gitit, patch-tag, happs-tutorial, ваш вариант);
> [ ] использование happstack;
> [ ] Rich Internet Applications и Haskell (работа с JSON/генерирование
> javascript etc);
> [ ] RDBMS и вообще доступные хранилища данных (happstack-state и другие
> сериализаторы для persistent state);
+1
> [ ] ваш вариант;
>
> От ваших пожеланий сильно зависит качество моего доклада, будьте
> бдительны!
>
> Если у вас есть знакомые, которые не подписаны на эту рассылку, но
> заинтересованы тематикой, -- расспросите их, о чём они больше всего хотят
wizzard0
gap between the
'ivory tower' pure-haskell/ocaml/etc, and real-world legacy JS/ASP.NET
codebases.
Looking forward for updates.
On 3 Вер, 12:14, Anton Tayanovskyy <anton.tayanovs...@gmail.com>
wrote:
> 2009/9/3 Max Desyatov <explicitc...@googlemail.com>:
> Anton Tayanovskyy- Сховати цитований текст -
>
> - Показати цитований текст -
Roman Cheplyaka
> [ ] обзор библиотек, полезных в разработке веб-приложений
> (formlets, HSP, templates, xml-генераторы, остальное в след. пунктах :) ;
> [ ] дизайн веб-приложений с учётом специфики программирования на Haskell
> (какие приёмы я использовал, как удалось избежать некоторой части
> болезненного рефакторинга, благодаря вдумчивому проектированию, etc);
> [ ] общие приёмы для людей, которые мало знакомы с написанием
> Haskell-кода: как использовать monad tranformers, applicative,
> generics, моноиды etc. Если ставим галочку здесь, то указываем
> подробно, что именно интересует, ведь можно покрыть очень большую
> тематику и не угадать с аудиторией;
> [ ] обзор доступных относительно сложных веб-приложений, написанных на
> Haskell (gitit, patch-tag, happs-tutorial, ваш вариант);
> [ ] использование happstack;
> [ ] Rich Internet Applications и Haskell (работа с JSON/генерирование
> javascript etc);
> [ ] RDBMS и вообще доступные хранилища данных (happstack-state и другие
> сериализаторы для persistent state);
> [ ] ваш вариант;
Мне кажется целесообразным разбить это на две части: доклад, в котором
будет показан опыт, интересный broad Haskell audience (напр., дизайн
веб-приложений с учётом ...) и такой себе туториал для начинающих
веб-программистов на Haskell (там уже говорить про конкретные
библиотеки, фреймворки, технологии). В первой части мне было бы еще
интересно услышать про какие-то приёмы/идиомы, которые позволили сделать
код более читаемым, компактным.
А вторую часть, кстати, можно втиснуть в ближайшую сходку питонистов или
еще каких-то веб-программистов -- пусть заценят.
Vladimir Korenev
> [ ] общие приёмы для людей, которые мало знакомы с написанием
> Haskell-кода: как использовать monad tranformers, applicative,
> generics, моноиды etc. Если ставим галочку здесь, то указываем
> подробно, что именно интересует, ведь можно покрыть очень большую
> тематику и не угадать с аудиторией;
Тема моноидов очень хорошо раскрыта в "Практике функционального
программированния". Остальное было бы очень интересно.
Valery V. Vorotyntsev
Во первых, с праздником! (http://ru.wikipedia.org/wiki/День_программиста)
Во вторых, наша встреча 26-го числа под вопросом. Если Максим Десятов не
успеет подготовить доклад (он завтра точно скажет), то мы остаёмся без
основного доклада.
Правда, есть фронтовая история Димы Астапова (ADEpt) про укрощение
mission critical системы с помощью Haskell. Ну, а в GL-Клубе есть орешки
и PS3 (сам видел), и, возможно, квас, попкорн и мороженое (говорят[*]).
В общем, даже не знаю... Хотите встретиться потрындеть за жизнь?
--
vvv
Roman Cheplyaka
> В общем, даже не знаю... Хотите встретиться потрындеть за жизнь?
Я за. :)
Paul Sujkov
--
Regards, Paul Sujkov
Gleb Golubitsky
С удовольствием!
WBR,
Gleb Golubitsky
2009/9/13 Valery V. Vorotyntsev <vale...@gmail.com>:
Dmitry Astapov
Здравствуйте, ребята!
Правда, есть фронтовая история Димы Астапова (ADEpt) про укрощение
mission critical системы с помощью Haskell. Ну, а в GL-Клубе есть орешки
и PS3 (сам видел), и, возможно, квас, попкорн и мороженое (говорят[*]).
Впрочем, поглядим на кол-во желающих.
--
Dmitry Astapov
Oleg Taykalo
Max Desyatov
> успеет подготовить доклад (он завтра точно скажет), то мы остаёмся без
> основного доклада.
которые были реквестированы в треде за полчаса. По-моему получасовой
доклад — уже повод встретиться.
WBR, Max
Valery V. Vorotyntsev
> Damn. У меня как раз на ближайший месяц ситуация такая, что выбраться днем в
> любой будний день мне на 10 порядков легче, чем в субботу :(
>
> Впрочем, поглядим на кол-во желающих.
Что ж. Тогда предлагаю желающим начать регистрироваться:
http://doodle.com/kzggugegt9fv4ry6
--
vvv
maard
> Успею, сделаю. Не вижу проблемы покрыть хотя бы основные пункты,
> которые были реквестированы в треде за полчаса. По-моему получасовой
> доклад -- уже повод встретиться.
видео с доклада будет?
т.к. не попадаю на встречу, было бы интересно почитать/послушать.
Dmitry Astapov
--
Dmitry Astapov
Valery V. Vorotyntsev
> видео с доклада будет?
> т.к. не попадаю на встречу, было бы интересно почитать/послушать.
Максимушко,
было бы здорово слайды опубликовать.
Хотя бы задним числом, если до 3-го не успеешь, но обязательно.
Иначе утечёт в песок. Да и видео [с технических talk-ов] без
слайдов плохо воспринимается.
--
vvv
Roman Cheplyaka
> "maard" <max...@gmail.com> writes:
> > видео с доклада будет?
> > т.к. не попадаю на встречу, было бы интересно почитать/послушать.
>
> Максимушко,
Стоит уточнить, к какому Максимушке ты обращаешься ;)
Хоть из контекста и понятно.
> было бы здорово слайды опубликовать.
>
> Хотя бы задним числом, если до 3-го не успеешь, но обязательно.
> Иначе утечёт в песок. Да и видео [с технических talk-ов] без
> слайдов плохо воспринимается.
Так что, уже определились с датой?
Valery V. Vorotyntsev
> Стоит уточнить, к какому Максимушке ты обращаешься ;)
К тому, что в поле `To:', звычайно.
> Так что, уже определились с датой?
См. http://doodle.com/kzggugegt9fv4ry6
Результаты голосования явно указывают на 3-е октября.
(Есть вероятность, что до понедельника - когда нужно
сообщить решения gl-клубным мажордомам - придут
33 функциональных программиста с дядькой Черномором
и докладом и предпочтут 26.09, но она, вероятность эта,
достаточно мала.)
--
vvv
Roman Cheplyaka
> 2009/9/18 Roman Cheplyaka <ro...@ro-che.info>:
> > Стоит уточнить, к какому Максимушке ты обращаешься ;)
>
> К тому, что в поле `To:', звычайно.
1:0
> > Так что, уже определились с датой?
>
> См. http://doodle.com/kzggugegt9fv4ry6
> Результаты голосования явно указывают на 3-е октября.
>
> (Есть вероятность, что до понедельника - когда нужно
> сообщить решения gl-клубным мажордомам - придут
> 33 функциональных программиста с дядькой Черномором
> и докладом и предпочтут 26.09, но она, вероятность эта,
> достаточно мала.)
Ну, тогда мы и 26-го можем собраться отдельно, чтобы Черномора послушать
;)
Max Desyatov
Должен предупредить, что слайды будут или сегодня вечером или завтра
утром. Предупреждение для тех, кто планировал устроится в пятницу
вечером возле своего уютненького камина и выискивать ошибки и неточности
в докладах.
Но они будут, главное ещё мне завтра не проспать. :/
WBR, Max
Valery V. Vorotyntsev
> видео с доклада будет?
> т.к. не попадаю на встречу, было бы интересно почитать/послушать.
Камрады!
А может ли кто видеокамеру притащить, кино поснимать?
Потому как у Адепта не получается с камерой...
--
vvv