OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc - Понедельник, 9 сентября 2013

OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc

ocaml@conference.jabber.ru

Понедельник, 9 сентября 2013< ^ >

Конфигурация комнаты

Участники комнаты

GMT+4
[00:48:51] olibjerd вышел(а) из комнаты
[01:02:24] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[01:02:31] ForNeVeR вошёл(а) в комнату
[05:37:43] f[x] вошёл(а) в комнату
[07:16:48] ForNeVeR вышел(а) из комнаты: Unhandled exception at 0x00000000.
[07:36:57] ForNeVeR вошёл(а) в комнату
[09:46:04] f[x] вышел(а) из комнаты
[09:53:04] zinid вошёл(а) в комнату
[10:27:58] klapaucius вошёл(а) в комнату
[10:54:09] f[x] вошёл(а) в комнату
[11:09:44] shoroh-net вошёл(а) в комнату
[11:37:08] <shoroh-net> тук
[11:51:07] <ADEpt> http://sol.gfxile.net/dontask.html
[12:12:39] Kakadu вошёл(а) в комнату
[13:22:13] Typhon вошёл(а) в комнату
[13:58:08] shoroh-net вышел(а) из комнаты
[13:58:19] shoroh-net вошёл(а) в комнату
[13:58:23] shoroh-net вышел(а) из комнаты
[14:21:16] f[x] вышел(а) из комнаты
[14:34:27] Kakadu вышел(а) из комнаты
[14:37:06] Kakadu вошёл(а) в комнату
[15:03:37] n06r1n вошёл(а) в комнату
[15:52:18] f[x] вошёл(а) в комнату
[16:34:45] n06r1n вышел(а) из комнаты
[17:33:04] f[x] вышел(а) из комнаты
[17:36:04] n06r1n вошёл(а) в комнату
[18:08:17] <n06r1n> блин, начинает надоедать учить окамль.
Вы как переходили от теории к практике?
[18:08:29] dicu вышел(а) из комнаты
[18:12:01] <Kakadu> я писал курсовую
[18:12:25] <Kakadu> Иди напиши игрушку какую-нибудь
[18:12:34] <Kakadu> крайзис)
[18:12:38] <n06r1n> игрушку? На окамле?
[18:12:55] <Kakadu> Ты тоже думаешь что на нм только компиляторы писать?
[18:13:30] <n06r1n> Ну мне кажется что на нем можно писал системы для работы с информацией, нежели мультимедия-приложения.
[18:13:46] <Kakadu> почему нельзя
[18:13:48] <n06r1n> я почему-то задумываюсь о сервер-сайде например для какого-нибудь сайта
[18:13:54] <Kakadu> Вон игры даже на х-е пишут
[18:14:04] <Kakadu> Напиши сайтик на оксигене
[18:14:06] <n06r1n> писать можно что угодно, на чем угодно
[18:14:14] <n06r1n> я вот думал, написать на оксигене
[18:14:29] <n06r1n> но тогда я уперся что не понимаю окамль достаточно хорошо
[18:15:47] <n06r1n> надо бы заново глянуть
[18:16:46] <Kakadu> Если захочется вернуться к графике: https://github.com/serp256/lightning
[18:17:43] <n06r1n> кстати, а есть тесты производительности программ написаных на разных языках?
[18:17:58] <n06r1n> Просто интересно, насколько функциональная парадигма способствует скорости
[18:18:07] <Kakadu> Всегда можно подобрать тест, чтобы получить нужный результат
[18:18:07] <ForNeVeR> "ha ha ha"
[18:18:29] <n06r1n> не, ну правда
[18:18:39] <n06r1n> понятно что языки с динамической типизацией сосут
[18:18:45] <n06r1n> например
[18:18:56] <n06r1n> ну вообще тесты скорости для окамля проводились?
[18:20:42] <ForNeVeR> Например, warp - веб-сервер на х-ле - на некоторых тестах показывает лучшие результаты, чем nginx.
[18:21:00] <ForNeVeR> Это разве не должно демонстрировать преимущества функциональной парадигмы?
[18:21:18] <Kakadu> на каких тестах? засчет чего?
[18:23:11] <ForNeVeR> http://www.yesodweb.com/blog/2012/10/measuring-warp - вот, например.
[18:23:18] <ForNeVeR> За счёт неимоверной крутости, очевидно.
[18:23:38] <Kakadu> Не, я серьёзно спрашивал
[18:24:23] <n06r1n> вообще возможно мне кажется за счет того что вместо циклом используется хвостовая рекурсия
[18:24:40] <n06r1n> по-идее она должна быть проще для процессора
[18:24:41] <ForNeVeR> Эм, а какие преимущества это может дать?
[18:24:53] <ForNeVeR> Хороший компилятор делает из хвостовой рекурсии цикл.
[18:25:00] <n06r1n> по-идее наоборот
[18:25:00] <ForNeVeR> А очень хороший - константу :)
[18:25:04] <ForNeVeR> n06r1n: wat
[18:25:09] <n06r1n> ну в ассемблере нету циклов же
[18:25:12] <n06r1n> есть только петли
[18:25:14] <ForNeVeR> И рекурсии.
[18:25:21] <ForNeVeR> loop - чем не цикол?
[18:25:37] <n06r1n> рекурсия как раз-таки это и есть петля (loop) в ассемблере
[18:25:49] <ForNeVeR> Нет, цикл это loop в ассемблере.
[18:25:50] <ADEpt> выиграть "в общем" в произоводительности только за счет выбора языка - это, как мне кажется, невозможно
[18:25:53] <ForNeVeR> Понял теперь? ;)
[18:26:14] <n06r1n> ну что производительней? Си или ява?
[18:26:23] <Kakadu> смотря на каком тете
[18:26:26] <Kakadu> тесте*
[18:28:01] <ADEpt> есть еще один ответ: "а это важно? а это _настолько_ важно?"
[19:22:30] ForNeVeR вошёл(а) в комнату
[19:27:52] Typhon вышел(а) из комнаты
[19:33:35] <gds> в общем, моё мнение.  Камло предоставляет достаточно производительности под все разумные задачи.  Микробенчмаркам и их авторам я сру в их мелкие низкие душонки.  Смотреть надо на реальных примерах.  Вот например, толку с того, что на шутауте у х-я хорошие показатели, если в реальности мы видим тормозной даркс и жрущую гигабайты памяти на простых задачах агду.
Если производительности не хватает, всегда можно (и известно, как) оптимизировать камлокод, как по процессору, так и по памяти.  Если ещё не хватает, те самые 5% кода, которые вызывают тормоза, можно переписать на цэ.
[19:39:26] <aleksey> на хаскеле можно писать эффективный код, только трудозатраты на это написание большие
[19:40:59] <gds> верю охотно.  раз уж микробенчмарки подкрутить сумели, начитили, то и в большом проекте можно всё сделать.
[19:42:16] <zinid> кто-то ещё смотрит на шутаут?
[19:42:48] <zinid> надо сравнивать программы хотя бы строк на 100k кода
[19:42:58] <zinid> там сразу видно кто где срал
[19:45:12] <gds> двачую этого.
[19:50:41] <n06r1n> а с оксигеном кто-нибудь работал?
[19:51:56] <gds> из нашего чятика -- ermine и komar (кстати, где он.) -- точно.
[19:52:57] <gds> я вот в своё время точил зубья на js_of_ocaml, да не судьба была использовать это в деле.  руками эту срань писал.
[19:56:59] <n06r1n> думал просто изучить сервер, а сейчас смотрю и вроде как тупо использовать его только одного, оксиген это вроде как комплексный подход
[20:00:58] <gds> да, комплексный.  Если прёт -- лучше и клиентскую часть тоже взять.  Заодно, если будешь публиковать разборки с ним, я буду рад почитать.
[20:01:55] <gds> а почему я не брал серверную часть -- хотел (и сделал) её на итератах.  Это такие няшные штуки, придуманные великим Олегом.
[20:16:14] <n06r1n> эх, запилить бы стартам на оксигене, стать успешными и обеспеченными и ездить по-конференциям да рассказывать как мы этого добились
[20:16:30] <gds> так пили, чо.
[20:16:54] <n06r1n> осталось немного. Освоить оксиген, придумать идею для стартапа. Попробовать раз пять-шеть этот алгорит и будет норм
[20:17:25] <gds> собственно ocsigen трогать не очень хочу (надо в нём разобраться, что лень), а если стартап хороший будет -- зови меня.
[20:18:12] <n06r1n> ох лол. Кто бы меня позвал
[20:18:24] <n06r1n> мне вообще кажется что я в окамле никогда не разберусь
[20:22:15] <gds> да окамл простой как две копейки.  разве что заморочки со структурной [под]типизацией, и всё.  бери простой проект (не обязательно ocsigen) и вперде.
[20:22:43] <Kakadu> n06r1n: оксиген клёвый
[20:22:50] <Kakadu> на нубские вопросы отвечу
[20:25:10] <gds> а если хочешь покодить for the great (approx.) good -- у меня всегда есть код, который надо бы написать, но на который нет времени.
[20:25:48] <ermine> хто будил?
[20:25:59] <ermine> оксигень и само камло - то еще болото
[20:26:15] <gds> камло не болото.  ocsigen -- вот да.
[20:26:53] <ermine> не, там интерфейс точат годами в нечто великолепное, но из-за камла так и остается болотом
[20:27:21] <ermine> типизация, модулизация, монадизация
[20:27:25] <ermine> мама!
[20:29:32] <ermine> кстати на этот раз бы не отказалась от долизации оплаты домена камлунити, у меня чота маловато в яндекс.кошельке
[20:33:06] <gds> у меня сейчас с баблом туго, но дело нужное.  Если кто-нибудь за меня оплатил бы, я в пределах нескольких месяцев вернул бы бабло.
[20:33:13] f[x] вошёл(а) в комнату
[20:34:13] <ermine> да продление стоит 450руб, если ничо не поменялось
[20:35:21] <gds> а, тогда смогу взять половину на себя.  или нужно больше?
[20:35:37] <gds> ориентируйся по своим возможностям.
[20:37:58] <ermine> 4100183156779 яндекс
[20:38:15] <f[x]> а пейпал годится?
[20:38:27] <ermine> нету
[20:38:46] <ermine> даже если бы и был, то не принималось бы
[20:38:52] <f[x]> why?
[20:39:07] <ermine> рашка специфик кажись :)
[20:39:08] <f[x]> хотя у украинского регистратора я тоже не мог заплатить
[20:39:52] <ermine> точнее проблемы с переводами на персональные счета
[20:43:25] <gds> у меня есть возможность пополнить свой счёт в яндекс-деньгах, но там же регистрироваться надо, а это страшно.
[20:43:56] <gds> зато бабла на счёту вполне хватит для оплаты 450RUR.
[20:44:55] <ermine> да в этом году домен так или иначе проплатится, просто у меня привычка пополнять свой баланс у регистратора за год до следующего продления
[20:45:03] <ermine> чтобы спать спокойно
[20:45:46] n06r1n вышел(а) из комнаты
[20:46:08] <f[x]> тогда до НГ порешаем %)
[20:46:13] f[x] вышел(а) из комнаты
[20:55:06] Kakadu вышел(а) из комнаты
[21:03:14] <gds> ermine: а ты по вебмани умеешь принимать бабло?  я тут среди знакомых ищу варианты.  ибо бабло есть и его не жалко на такое дело.
[21:06:06] <gds> либо, может, кому-нибудь будет не влом скинуть ermine эти 15$, а я ему потом через "денежный перевод" закину их, или через платёжное поручение (если с законностью прокатит).
[21:16:19] <gds> "cross-compilation support will be in trunk very soon" [caml-list]
[21:22:30] <ermine> xss же
[21:26:42] <gds> где.
[21:43:19] <gds> автор omake вылез в рассылку.  несмотря на то, что долго не поддерживал omake вообще, гад.  годами дистро-специфичные патчи висели.  ответить ему, что ли, в стиле http://planktonoff.ru/wp-content/uploads/2011/02/induk.jpg ?
[21:48:54] ForNeVeR вышел(а) из комнаты
[21:56:20] zinid вышел(а) из комнаты
[22:38:22] Kakadu вошёл(а) в комнату