Objective Caml - Среда, 11 ноября 2009

Objective Caml

ocaml@conference.jabber.ru

Среда, 11 ноября 2009< ^ >

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

GMT+3
[00:06:08] ygrek вышел(а) из комнаты
[00:06:23] ermine подправила еще три баги сульци, в общем, ништяк, осталась одна сложная заморочка
[00:10:27] animist вышел(а) из комнаты
[00:10:50] animist вошёл(а) в комнату
[00:20:57] michael.holub вошёл(а) в комнату
[00:49:11] Ỡ_ợ вошёл(а) в комнату
[00:59:14] Ỡ_ợ вышел(а) из комнаты
[01:59:08] Typhon вышел(а) из комнаты: Replaced by new connection
[01:59:27] Typhon вошёл(а) в комнату
[02:32:49] michael.holub вышел(а) из комнаты
[03:01:17] daapp вошёл(а) в комнату
[03:57:02] Typhon вышел(а) из комнаты
[05:15:32] Dema вошёл(а) в комнату
[08:03:12] geovit вошёл(а) в комнату
[08:20:17] gds вышел(а) из комнаты
[08:34:39] iNode вошёл(а) в комнату
[08:55:16] gds вошёл(а) в комнату
[10:44:53] michael.holub вошёл(а) в комнату
[10:49:18] michael.holub вышел(а) из комнаты
[10:54:28] f[x] вошёл(а) в комнату
[11:05:16] Typhon вошёл(а) в комнату
[12:12:23] aloner2k вошёл(а) в комнату
[12:48:37] f[x] наконец дофиксил все найденные им и нашедшие его баги в ocaml-mysql
[13:05:00] <ermine> а им можно пользоваться?
[13:05:19] <ermine> вроде у меня есть одна потребность заюзать mysql в камле
[13:06:46] <f[x]> можно, разрешаю :)
[13:07:22] <ermine> а вместе с sqlgg?
[13:25:56] daapp вышел(а) из комнаты
[13:33:09] Typhon вышел(а) из комнаты
[13:39:34] <f[x]> угу, так и использую
[13:43:01] <Dema> А писать web-интерфейсы на ocamljs это сильный изврат?.. :)
[13:43:19] <gds> имхо нет, если всё получается.
[13:43:27] Typhon вошёл(а) в комнату
[13:44:41] <Dema> я думаю попробовать или нет.. :)
[13:45:33] <gds> если есть нужда в веб-морде, есть смысл попробовать.
[13:47:07] <ermine> какой нафиг ocamljs, когда надо учить go!
[13:52:15] <Dema> для web?... Мадам знает толк в извращениях.. :)
[14:10:08] Typhon вышел(а) из комнаты
[14:23:34] gds вышел(а) из комнаты: Replaced by new connection
[14:23:35] gds вошёл(а) в комнату
[14:52:49] geovit вышел(а) из комнаты
[14:54:38] Typhon вошёл(а) в комнату
[14:55:23] Typhon вышел(а) из комнаты
[14:57:28] Typhon вошёл(а) в комнату
[14:59:35] geovit вошёл(а) в комнату
[15:56:34] Typhon вышел(а) из комнаты
[15:56:37] Typhon вошёл(а) в комнату
[15:56:56] Typhon вышел(а) из комнаты
[15:57:11] Typhon вошёл(а) в комнату
[16:00:03] Dema вышел(а) из комнаты
[16:14:45] sceptic вышел(а) из комнаты
[16:19:32] sceptic вошёл(а) в комнату
[16:20:27] sceptic вышел(а) из комнаты
[16:20:32] sceptic вошёл(а) в комнату
[16:53:37] geovit вышел(а) из комнаты
[16:54:48] geovit вошёл(а) в комнату
[16:55:56] geovit вышел(а) из комнаты
[17:02:28] animist вышел(а) из комнаты
[17:03:01] animist вошёл(а) в комнату
[17:13:32] ermine тоскливо смотрит на заморочку
[17:14:23] <ermine> гильотину мне, гильотину
[17:15:17] <gds> у программистов сейчас модно убиваться об -Wall.
[17:15:23] <gds> а что случилось?
[17:15:47] <ermine> ничего нового не случилось
[17:16:02] <ermine> всё думаю как заменять калбэк на другой
[17:17:41] iNode вышел(а) из комнаты
[17:18:42] ermine внезапно вспомнила, что f[x] обещал код для маркова
[17:24:18] f[x] _внезапно_ вспомнил что обещал код
[17:30:10] gds вышел(а) из комнаты
[17:34:52] <ermine> стоило тут в очередной раз порыдать про заморочку с калбэками, как придумался костыль с хорошими видами на море
[17:47:49] <sevenov> ermine, go? говно же, ну.
[17:50:10] daapp вошёл(а) в комнату
[17:50:36] <ermine> sevenov: аргументов не будет?
[17:51:26] <ermine> а мы щаценили что там есть библиотека для asn.1 и зачатки для хорошей конкурентности
[17:56:45] Typhon вышел(а) из комнаты: Replaced by new connection
[17:56:45] Typhon вошёл(а) в комнату
[18:02:14] <f[x]> аббревиатуру хоть расшифруйте, а
[18:02:17] gds вошёл(а) в комнату
[18:02:43] <Typhon> http://golang.org/ есличо
[18:02:51] <ermine> абстракт синтаксис нотация
[18:03:14] <Typhon> join-calculus вроде как
[18:03:25] <Typhon> хотя подробно не вникал еще
[18:03:53] <gds> на первый взгляд, go -- унылый до безобразия. аргументов не будет.
[18:04:53] <ermine> ну действительно выглядит уныло
[18:05:05] <ermine> но кое-что заценилось
[18:07:25] <f[x]> What operations are atomic? What about mutexes?
We haven't fully defined it all yet, [...]
[18:07:27] <f[x]> сырое
[18:23:16] Kakadu вошёл(а) в комнату
[18:30:34] <Mon> gds, а что в нем унало по сравнению с?
[18:30:45] <Mon> s/унало/уныло/
[18:36:11] <gds> Mon: язык ничего нового/интересного не предоставляет.
Единственная ниша, предполагаю, это низкоуровневый код со сборкой мусора, при этом безопаснее C.
[18:36:34] <Mon> у него любопытная реализция конкурентности
[18:37:19] <Mon> и да, GC в C часто не хватает.
[18:37:27] <Typhon> Mon: jocaml видел?
[18:37:45] <Mon> Typhon, нет, не смотрел.
[18:38:00] <Mon> Typhon, а оно живое?
[18:38:28] <gds> конкурентность -- ну... да, не сишная и не плюсовая, поинтереснее. Но про jocaml подсказывают правильно :) Как и joint calculus в других языках.
[18:38:32] <Typhon> насчет живого не знаю, f[x], наверное побольше здесь знает
[18:38:45] <Typhon> gds: joint или join ?
[18:39:02] <Mon> правильно я понимаю, что из production ready только erlang сейчас?
[18:39:04] <gds> исчисление косяков -- joint calculus :)
[18:43:21] Mon заглянул в экзампл по jocaml
[18:43:44] <Mon> первое что бросилось в глаза - здоровые куски покоменченого кода
[18:44:51] <f[x]> jocaml вполне юзабелен имхо. Сейчас крутится на сервере, тормозов/крэшей/ликов не заметно.
[18:44:56] <f[x]> код получается короче и понятней
[18:45:11] <Mon> f[x], по сравнению с чем?
[18:45:31] <Mon> f[x], как у него с сетевизмами?
[18:45:35] <f[x]> в некоторых случаях быстрее чем ручной на Thread.
[18:45:38] <f[x]> только апстрим туманный, но пишущим на камле не привыкать
[18:46:00] <f[x]> Mon: по сравнению с эквивалентным "обычным" кодом на камле (модуль Thread)
[18:46:09] <Mon> f[x], понял.
[18:46:51] <Mon> f[x], а зачем Thread ?
[18:47:02] <f[x]> что именно "сетевизмы"?
[18:47:36] <Mon> f[x], работа с сокетами, полинг механизмами.
[18:48:49] <f[x]> Mon: это ортогональный вопрос
[18:49:20] <f[x]> т.е. jocaml это альтернатива явному использованию Thread
[18:49:52] <Mon> f[x], ну
[18:49:55] <f[x]> если есть сетевой код с потоками - то его можно переписать на jocaml, если там потоков нет - то jocaml там не нужен
[18:50:22] <Mon> f[x], если клиентов больше 10к - то Thread будет тяжеловат
[18:51:04] <f[x]> Mon: ну естественно
[18:51:37] <Mon> f[x], вот, соотвествнно, можно ли развернуть epoll + fsm в линейный jocaml + epoll ?
[18:52:25] <f[x]> нет, jocaml всегда использует потоки
[18:53:01] <Mon> f[x], то есть, если мне надо писать сервер на 20к коннектов то мне с jocaml не по пути?
[18:53:15] <f[x]> нет
[18:53:28] <Mon> f[x], нет, не по пути или нет, по пути?
[18:53:36] <f[x]> нет, не по пути :)
[18:53:46] <f[x]> а ты пишешь такие сервера на камле?
[18:53:54] <Mon> f[x], спасибо
[18:53:58] <Mon> f[x], писал
[18:54:06] <Mon> f[x], а счастье было так возможно
[18:54:21] <Mon> f[x], libevent + pa_monad + coroutines + cps
[18:54:30] <Mon> f[x], но не очень удобно
[18:55:11] <f[x]> а что за сервер (протокол), если не секрет?
[18:56:48] <Mon> f[x], http
[18:57:21] <f[x]> т.е. своя реализация http?
[18:57:25] <Mon> угу
[18:57:43] <f[x]> а насколько полная? keepalive есть?
[18:57:52] <Mon> оно мертвое.
[18:58:22] <Mon> мне просто надо сейчас написать прокси простенький, но, блин, 20к коннектов.
[19:00:28] <gds> интересно, vmthreads не помогли бы? там они внутри select используют, не знаю, приемлемо ли. но ос-тред там один.
[19:01:26] <f[x]> а epoll в lwt вкрутить?
[19:02:22] <Mon> gds, select сосе
[19:02:24] <ermine> lwt - это же кооперативные треды
[19:02:30] <Mon> особенно в окамловой реализции
[19:02:37] <ermine> epoll просто висят тредами пустыми и непустыми
[19:03:25] <ermine> реально редко 20k все активные
[19:03:37] <Mon> ermine, угу
[19:04:20] <Mon> инетересно, как они внутри устроены.
[19:05:24] <Mon> все те же монады..
[19:11:37] daapp вышел(а) из комнаты
[19:15:42] <Typhon> если на компе не установлен камль, достаточно только ocamlrun, чтобы запустить скомпилированный байткод, даже если использовались тучи сторонних либ? кастомный рантайм собирать не надо?
[19:16:28] <f[x]> stublib'ы ещё нужны могут быть некоторые
[19:16:40] <gds> надо бы ещё используемые dll*.so подложить нужные.
[19:17:18] <Typhon> ocamldep скажет что класть?
[19:17:37] <f[x]> нет, это не из той оперы
[19:17:45] <Typhon> да, точно
[19:18:13] <Typhon> хм, а средства узнать, что нужно чтобы запустилось, есть?
[19:18:56] <f[x]> OCAMLRUNPARAM=v=0x100
[19:19:49] <Typhon> спасибо, туплю, пролистал флаги в доках :(
[19:58:34] f[x] вышел(а) из комнаты
[20:16:26] sceptic вышел(а) из комнаты
[20:26:18] Typhon вышел(а) из комнаты
[20:29:31] mr.wolf вошёл(а) в комнату
[20:29:58] mr.wolf вышел(а) из комнаты: I'll be back
[20:33:22] sceptic вошёл(а) в комнату
[21:02:19] animist вышел(а) из комнаты: Replaced by new connection
[21:22:48] iNode вошёл(а) в комнату
[21:23:22] <ExplicitCall> здесь писавшие dependency properties для WPF на F#?
[21:23:28] <ExplicitCall> *здесь есть
[22:01:27] Typhon вошёл(а) в комнату
[22:04:02] ExplicitCall вышел(а) из комнаты
[22:04:39] ExplicitCall вошёл(а) в комнату
[22:10:12] ExplicitCall вышел(а) из комнаты
[22:10:25] ExplicitCall вошёл(а) в комнату
[22:20:16] <ExplicitCall> и насколько легитимно в этой конференции задавать вопросы по F#?
[22:34:21] <ermine> легитимно
[22:34:29] <ermine> только вроде никто не юзает f@
[22:35:29] ygrek вошёл(а) в комнату
[22:35:43] ygrek вышел(а) из комнаты
[22:36:16] ygrek вошёл(а) в комнату
[22:37:40] ermine обработала еще три модуля под новую сульцю, только /me не знает, как их подцепить к телу
[22:37:57] <ermine> но все компилится, как завещал ygrek
[23:18:13] iNode вышел(а) из комнаты
[23:28:22] Kakadu вышел(а) из комнаты
[23:37:24] <ygrek> ermine: дай базу маркова большую