Is there anybody out there?

2 views
Skip to first unread message

Valery V. Vorotyntsev

unread,
Dec 23, 2009, 4:46:27 PM12/23/09
to ltu-...@googlegroups.com
А что, LtU-Kiev, или Kiev HUG, или как там нас,

Уж давно докладов не звучало, кода не экспонировалось, за жизнь не
трынделось.

Что-то намедитировали? Есть чем хвастнуть?

--
vvv

Dmitry Astapov

unread,
Dec 23, 2009, 4:50:58 PM12/23/09
to ltu-...@googlegroups.com
/me в поте лица делал http://fprog.ru :)

2009/12/23 Valery V. Vorotyntsev <vale...@gmail.com>

--

Вы получили это сообщение, поскольку подписаны на группу LtU@Kiev.

Чтобы добавлять сообщения в эту группу, отправьте письмо по адресу ltu-...@googlegroups.com.
Чтобы отменить подписку на эту группу, отправьте сообщение по адресу ltu-kiev+u...@googlegroups.com.
О дополнительных функциях можно узнать в группе по адресу http://groups.google.com/group/ltu-kiev?hl=ru.





--
Dmitry Astapov

maard

unread,
Dec 24, 2009, 5:24:57 AM12/24/09
to LtU@Kiev
hi

> Уж давно докладов не звучало, кода не экспонировалось, за жизнь не
> трынделось.

мысли читаешь? o_O
только сегодня ночью думал о том, что давно не было докладов... :)

--
Maxim

Paul Sujkov

unread,
Dec 24, 2009, 12:26:01 PM12/24/09
to ltu-...@googlegroups.com
Много теории, мало практики. Было бы что рассказывать и чем хвастать, но увы

Впрочем, от хакатона никогда не откажусь, да и потрындеть - дело святое

2009/12/24 Valery V. Vorotyntsev <vale...@gmail.com>
--

Вы получили это сообщение, поскольку подписаны на группу LtU@Kiev.

Чтобы добавлять сообщения в эту группу, отправьте письмо по адресу ltu-...@googlegroups.com.
Чтобы отменить подписку на эту группу, отправьте сообщение по адресу ltu-kiev+u...@googlegroups.com.
О дополнительных функциях можно узнать в группе по адресу http://groups.google.com/group/ltu-kiev?hl=ru.





--
Regards, Paul Sujkov

Valery V. Vorotyntsev

unread,
Dec 24, 2009, 12:57:31 PM12/24/09
to ltu-...@googlegroups.com
Paul Sujkov <psu...@gmail.com> wrote:
> Много теории, мало практики. Было бы что рассказывать и чем хвастать, но увы
> Впрочем, от хакатона никогда не откажусь, да и потрындеть - дело святое

Угу, угу.

@all: Thread продолжает работать на приём.

--
vvv

Andrei Melnikov

unread,
Dec 25, 2009, 6:00:43 AM12/25/09
to ltu-...@googlegroups.com
Paul Sujkov <psu...@gmail.com> wrote:
> Много теории, мало практики. Было бы что рассказывать и чем хвастать, но увы

Аналогично. Можно попробовать как раньше - обсудить, что каждый хотел
бы услышать.

Мне было бы интересно:
- AJAX-фреймворки на Хаскел (генерирующие посредством EDSL клиентский
JS), их интеграция с JS-фреймворками а ля qooxdoo
- распределенное программирование на Хаскеле (а ля RPC и а ля MPI),
session types

- Продвинутые фичи системы типов Хаскеля: existentials, GADT, Type
Families. Зачем нужны, кому без них плохо жить и как из них получаются
зависимые типы (а ля HList).
- Логическая (CHI) и категориальная (категория Hask) интерпретации
кода на Haskell (включая интерпретацию продвинутых языковых фич).
Влияние возникающих инсайтов на чтение и проектирование программ.
- Устройство системы типов лямбда-P aka LF
--
Andrei

Roman Cheplyaka

unread,
Dec 26, 2009, 5:26:45 AM12/26/09
to ltu-...@googlegroups.com
* Andrei Melnikov <andy.m...@gmail.com> [2009-12-25 13:00:43+0200]

> - распределенное программирование на Хаскеле (а ля RPC и а ля MPI),
> session types

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

> - Продвинутые фичи системы типов Хаскеля: existentials, GADT, Type
> Families. Зачем нужны, кому без них плохо жить и как из них получаются
> зависимые типы (а ля HList).

Если наберется много желающих, я мог бы (попытаться) рассказать об
использовании разных фич системы типов (type families и т.д.) в
Grapefruit. Но это действительно если будет много заинтересовавшихся,
т.к. мне эта тема интересна постольку поскольку. Так что отмечайтесь.

--
Roman I. Cheplyaka :: http://ro-che.info/
"Don't let school get in the way of your education." - Mark Twain

Paul Sujkov

unread,
Dec 26, 2009, 8:00:18 AM12/26/09
to ltu-...@googlegroups.com
Отмечаюсь

2009/12/26 Roman Cheplyaka <ro...@ro-che.info>
--

Вы получили это сообщение, поскольку подписаны на группу LtU@Kiev.

Чтобы добавлять сообщения в эту группу, отправьте письмо по адресу ltu-...@googlegroups.com.
Чтобы отменить подписку на эту группу, отправьте сообщение по адресу ltu-kiev+u...@googlegroups.com.
О дополнительных функциях можно узнать в группе по адресу http://groups.google.com/group/ltu-kiev?hl=ru.





--
Regards, Paul Sujkov

Oleg Smirnov

unread,
Dec 26, 2009, 4:12:29 PM12/26/09
to ltu-...@googlegroups.com
2009/12/25 Andrei Melnikov <andy.m...@gmail.com>:

> Мне было бы интересно:
> - AJAX-фреймворки на Хаскел (генерирующие посредством EDSL клиентский
> JS), их интеграция с JS-фреймворками а ля qooxdoo
> - распределенное программирование на Хаскеле (а ля RPC и а ля MPI),
> session types

> - Логическая (CHI) и категориальная (категория Hask) интерпретации


> кода на Haskell (включая интерпретацию продвинутых языковых фич).
> Влияние возникающих инсайтов на чтение и проектирование программ.

Про MPI было б интересно поговорить, про инсайты -- послушать.
В общем плюс один к сходке.

--
Regards,
Oleg Smirnov

Dmitry Statyvka

unread,
Dec 28, 2009, 7:46:38 PM12/28/09
to ltu-...@googlegroups.com
>>>>> Paul Sujkov writes:

PS> О©╫О©╫О©╫О©╫О©╫ О©╫О©╫О©╫О©╫О©╫О©╫, О©╫О©╫О©╫О©╫ О©╫О©╫О©╫О©╫О©╫О©╫О©╫О©╫. О©╫О©╫О©╫О©╫ О©╫О©╫ О©╫О©╫О©╫ О©╫О©╫О©╫О©╫О©╫О©╫О©╫О©╫О©╫О©╫О©╫О©╫ О©╫ О©╫О©╫О©╫
PS> О©╫О©╫О©╫О©╫О©╫О©╫О©╫О©╫, О©╫О©╫ О©╫О©╫О©╫ О©╫О©╫О©╫О©╫О©╫О©╫О©╫, О©╫О©╫ О©╫О©╫О©╫О©╫О©╫О©╫О©╫О©╫ О©╫О©╫О©╫О©╫О©╫О©╫О©╫ О©╫О©╫ О©╫О©╫О©╫О©╫О©╫О©╫О©╫О©╫, О©╫О©╫ О©╫
PS> О©╫О©╫О©╫О©╫О©╫О©╫О©╫О©╫О©╫О©╫ - О©╫О©╫О©╫О©╫ О©╫О©╫О©╫О©╫О©╫О©╫

О©╫О©╫О©╫О©╫О©╫О©╫О©╫О©╫О©╫О©╫

[...]

Maxim Yemelyanov

unread,
Jan 3, 2010, 12:07:09 PM1/3/10
to ltu-...@googlegroups.com
hi all

ну и кстати (http://zelych.livejournal.com/11418.html):
"Кстати, главный вывод от встречи: не так важны доклады как чай и печеньки."

даешь печеньки! ;)
PS. полагаю, проведение встречи в выходные дни для большинства удобнее
проведения в рабочие?

2009/12/29 Dmitry Statyvka <dsta...@ipnet.kiev.ua>:
>>>>>> Paul Sujkov writes:
>
>  PS> Много теории, мало практики. Было бы что рассказывать и чем
>  PS> хвастать, но увы Впрочем, от хакатона никогда не откажусь, да и
>  PS> потрындеть - дело святое
>
> аналогично

--
regards,
Maxim

Dmitry Astapov

unread,
Jan 3, 2010, 1:58:14 PM1/3/10
to ltu-...@googlegroups.com


2010/1/3 Maxim Yemelyanov <max...@gmail.com>

hi all

ну и кстати (http://zelych.livejournal.com/11418.html):
"Кстати, главный вывод от встречи: не так важны доклады как чай и печеньки."

даешь печеньки! ;)
PS. полагаю, проведение встречи в выходные дни для большинства удобнее
проведения в рабочие?


Не скажу за большинство, но мне удобнее строго наоборот.

--
Dmitry Astapov
Reply all
Reply to author
Forward
0 new messages