Objective Caml - Четверг, 14 марта 2013

Objective Caml

ocaml@conference.jabber.ru

Четверг, 14 марта 2013< ^ >

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

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

GMT+4
[00:19:47] Typhon вышел(а) из комнаты: Replaced by new connection
[00:19:58] Typhon вошёл(а) в комнату
[00:35:17] tilarids вошёл(а) в комнату
[00:41:18] ftrvxmtrx вышел(а) из комнаты
[00:57:52] Typhon вышел(а) из комнаты
[01:06:38] ftrvxmtrx вошёл(а) в комнату
[01:25:22] tilarids вышел(а) из комнаты
[01:26:22] tilarids вошёл(а) в комнату
[01:30:45] Kakadu вышел(а) из комнаты
[01:40:58] tilarids вышел(а) из комнаты
[01:45:42] UncleVasya вышел(а) из комнаты
[02:01:24] Sun][ вышел(а) из комнаты
[02:07:28] tilarids вошёл(а) в комнату
[02:19:09] ftrvxmtrx вышел(а) из комнаты
[02:19:38] Zbroyar вошёл(а) в комнату
[02:27:30] ftrvxmtrx вошёл(а) в комнату
[02:30:05] <Zbroyar> … и снова про винду
[02:30:13] <Zbroyar> подскажите, плс, кто бодался:
[02:30:32] <Zbroyar> если задача стоит собирать на выходе standalone exe-шники
[02:30:56] <Zbroyar> как ocaml на винду ставить?
[02:31:17] <Zbroyar> брать инсталятор Проценко?
[02:56:27] <Zbroyar> … список зависимостей достаточно большой и включает в себя cryptokit и atdgen
[03:19:58] akovbovich вышел(а) из комнаты
[03:31:13] Zbroyar вышел(а) из комнаты
[03:44:09] tilarids вышел(а) из комнаты: Computer went to sleep
[05:12:58] tilarids вошёл(а) в комнату
[05:15:41] tilarids вышел(а) из комнаты: Computer went to sleep
[05:37:00] f[x] вошёл(а) в комнату
[05:42:24] <f[x]> чисто камлевые либы не должны быть проблемой
[05:42:53] <f[x]> инсталлятор тот теперь официальный - так что если он работает - то надо его и брать
[05:43:11] <f[x]> хотя gds может расскажет что-нибудь интересное :)
[07:39:22] Typhon вошёл(а) в комнату
[07:59:28] Typhon вышел(а) из комнаты
[09:18:21] tilarids вошёл(а) в комнату
[09:50:49] komar вошёл(а) в комнату
[10:13:04] Sun][ вошёл(а) в комнату
[11:01:28] komar вышел(а) из комнаты: Logged out
[11:01:59] ermine вошёл(а) в комнату
[11:02:55] komar вошёл(а) в комнату
[11:03:23] komar вышел(а) из комнаты: Logged out
[11:31:23] Typhon вошёл(а) в комнату
[11:41:43] Kakadu вошёл(а) в комнату
[12:00:25] ftrvxmtrx вышел(а) из комнаты
[12:33:27] komar вошёл(а) в комнату
[12:41:55] ermine вышел(а) из комнаты
[12:57:27] ftrvxmtrx вошёл(а) в комнату
[12:58:40] tilarids вышел(а) из комнаты: Machine going to sleep
[13:16:54] Sun][ вышел(а) из комнаты
[13:19:00] Kakadu вышел(а) из комнаты: Replaced by new connection
[13:19:01] Kakadu вошёл(а) в комнату
[13:25:12] Sun][ вошёл(а) в комнату
[13:37:47] Zbroyar вошёл(а) в комнату
[13:38:31] <Zbroyar> f[x]: так в том-то и вопрос "работает-ли"?
[13:39:05] <f[x]> по слухам - работает
[13:39:07] <f[x]> сам не пробовал
[13:39:12] <Zbroyar> gds: ты, вроде, по виндовому окамлу выступал?
[13:39:37] <Zbroyar> gds: поделись мудростью :-)
[13:44:00] <gds> Zbroyar: когда была нужда лепить виндовые бинарники -- было дело.  Как сейчас делать -- не знаю.  Сейчас я бы попробовал кросскомпилятор найти, ричард джонс пеарил его, и попробовать собрать им.  А вдруг.  В противном случае попробовал бы официальный виндовый инсталлятор как "просто окамл", и накидал бы остальных библиотек куда-нибудь.  Возможно через свой велосипедный rebildol, а может и опа-опа-пам посмотрел бы.
[13:45:03] <Zbroyar> кросскомпилятор - это с нормальной платформы на винду?
[13:45:40] <gds> да.
[13:45:53] <Zbroyar> wow
[13:46:24] <gds> только я не помню точных ключевых слов, как его искать.
[13:48:27] <Zbroyar> ocaml windows cross compiler
[13:48:42] <Kakadu> опам падвендой пока не собирается с полпинка
[13:48:44] <Zbroyar> первой ссылкой - письмо, в котором RJ как-раз про него пишет
[13:49:27] <aleksey> gds: а где обитает coq комьюнити?
[13:52:32] <Zbroyar> Мне главное C-код скомпилить чем-то...
[14:01:39] komar вышел(а) из комнаты: Logged out
[14:12:14] komar вошёл(а) в комнату
[14:13:23] ermine вошёл(а) в комнату
[14:38:57] zinid вошёл(а) в комнату
[14:41:15] UncleVasya вошёл(а) в комнату
[14:48:22] f[x] вышел(а) из комнаты
[15:21:23] ermine вышел(а) из комнаты
[15:21:43] zinid вышел(а) из комнаты
[15:21:44] Zbroyar вышел(а) из комнаты
[15:21:44] Typhon вышел(а) из комнаты
[15:21:45] ermine вошёл(а) в комнату
[15:21:48] zinid вошёл(а) в комнату
[15:22:00] Typhon вошёл(а) в комнату
[15:22:06] Zbroyar вошёл(а) в комнату
[16:31:03] klapaucius вышел(а) из комнаты
[16:33:02] <gds> впервые использую камло для прототипирования кода, который наговноляпаю на js.  (код там непростой получается для написания без типов, но и не настолько сложный, чтобы js_of_ocaml брать.)  Необычные ощущения.
[16:52:21] <zinid> вот изврат
[16:52:32] <zinid> жысть прогера ужасна
[16:52:46] <zinid> когда есть такие люди, которые придумывают js
[16:53:08] <gds> ваистену так.
[17:10:54] <Zbroyar> Недавно Валкин предложил пару улучшений в JS: http://lionet.livejournal.com/124973.html
[17:11:06] <Zbroyar> Не знаю как кому, а мне понравилось :-)
[17:24:20] <ermine> gds: чем будет правильно резолвить записи SRV в камле? хочу приделать к своей либле xmpp видимо сишнюю либлу, пусть она работала бы на максимум платформах, res_queru() из -lresolv пойдет?
[17:24:52] ermine внезапно вспомнила о своей mlresolv, которая как раз это и делает, вопрос работает ли под ляликсом и чем-то еще
[17:25:26] <ermine> или отвечает f[+]
[17:25:36] <zinid> Zbroyar: лол
[17:25:42] <gds> f[×]
[17:25:49] <gds> крестик поверни.
[17:25:51] <zinid> Zbroyar: это стёб такой? :)
[17:26:25] <gds> ermine: без понятия.  главное dig не дёргай, остальное мелочи.
[17:38:00] <Zbroyar> zinid: "Sarcasm!" © BBT
[17:50:46] <ermine> ftrvxmtrx: а в говядине оно чем резолвит?
[17:52:30] <ermine> оно там разными вещами под винду и невинду
[17:58:21] <ermine> и другой вещью под plan9
[17:59:13] <ermine> плохо писать на низкоуровненных языках типа камла
[18:02:16] <ermine> не нашла короче чем оно там под юниксом машет
[18:08:26] ermine жалобно смотрит на gds - чем резолвить?
[18:09:29] <ermine> хм, у avsm есть ocaml-dns, может пробовать
[18:10:26] <gds> ermine: чем в сишечьке принято, тем и резолвь, работать будет, кодить быстро.  Потом, по нужде, можно будет заменить/добавить способ.
[18:14:29] <ermine> у него требует какой-то cstruct
[18:15:18] <ermine> зато lwt есть
[18:26:45] <ermine> у него посложнее чем просто взять и лукапнуть
[18:28:45] zinid вышел(а) из комнаты
[18:30:30] <ermine> таки буду res_query прикручивать
[18:31:30] <ermine> как минимум на трёх платформах есть
[19:13:31] f[x] вошёл(а) в комнату
[19:35:39] f[x] думает каждый пишет сам себе асинхронный dns резолвер :)
[19:35:45] <f[x]> у меня есть по крайней мере :))
[19:50:02] komar вышел(а) из комнаты
[19:51:29] komar вошёл(а) в комнату
[20:12:07] Kakadu вышел(а) из комнаты
[20:36:18] komar вышел(а) из комнаты: Logged out
[20:42:34] <gds> кто-нибудь мучил reactive programming на практике?  ocaml-react всякий, например.
у меня получается что-то типа их "events", вот думаю, хорошо ли это.
[21:07:16] Kakadu вошёл(а) в комнату
[21:32:22] f[x] вышел(а) из комнаты
[21:32:29] Typhon вышел(а) из комнаты
[21:32:58] Typhon вошёл(а) в комнату
[21:34:25] Zbroyar вышел(а) из комнаты
[21:35:36] Typhon вышел(а) из комнаты
[22:22:10] komar вошёл(а) в комнату
[22:22:20] komar вышел(а) из комнаты: Logged out
[22:33:10] gds вышел(а) из комнаты
[22:39:13] <ermine> ве
[22:39:43] <ermine> с libresolv тоже не всё хорошо - по-разному называются линковки с -lresolv на разных платформах
[22:40:00] <ermine> а оазис ведь не умеет условные cclib?
[22:53:10] ermine вышел(а) из комнаты
[23:02:22] gds вошёл(а) в комнату
[23:17:17] komar вошёл(а) в комнату
[23:35:45] Typhon вошёл(а) в комнату
[23:40:31] komar вышел(а) из комнаты: Logged out
[23:47:22] UncleVasya вышел(а) из комнаты
[23:53:19] komar вошёл(а) в комнату