Objective Caml - Вторник, 21 декабря 2010

Objective Caml

ocaml@conference.jabber.ru

Вторник, 21 декабря 2010< ^ >

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

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

GMT+3
[00:04:54] komar вошёл(а) в комнату
[00:16:19] serp256 вошёл(а) в комнату
[00:16:38] gds вышел(а) из комнаты
[00:24:40] arhibot вышел(а) из комнаты
[00:33:43] komar вышел(а) из комнаты
[01:11:32] Kakadu вышел(а) из комнаты
[01:57:22] Typhon вышел(а) из комнаты
[07:23:53] iNode вышел(а) из комнаты
[08:27:56] iNode вошёл(а) в комнату
[09:04:16] gds вошёл(а) в комнату
[11:01:08] zert вошёл(а) в комнату
[11:56:37] komar вошёл(а) в комнату
[12:08:56] ermine вошёл(а) в комнату
[12:12:45] komar вышел(а) из комнаты
[12:32:45] ftrvxmtrx вышел(а) из комнаты
[13:15:03] komar вошёл(а) в комнату
[13:33:34] <ermine> даа, мой вопрос остановил конфу
[13:48:54] ftrvxmtrx вошёл(а) в комнату
[14:08:20] <f[x]> ermine: насколько я знаю это не поддерживается, там какие-то проблемы с типизацией выплыли
[14:17:27] <ermine> f[x]: а я не про принтф, а как бы такое реализовать
[14:18:06] <ermine> вчера весь день была в оффлайне и думала об этом... решила, что надо складывать аргументы в array и так брать по индексу
[14:23:28] Kakadu вошёл(а) в комнату
[14:26:31] <f[x]> т.е. сама хочешь printf парсить?
[14:26:50] <f[x]> помнится была реализация printf на camlp4, по-моему кто-то из жж делал
[14:28:12] <ermine> да, на camlp4
[14:28:33] <ermine> а реализацию не видела
[14:29:17] <ermine> и наверное та реализация не подойдет - у меня все же альтернратива геттексту
[17:24:58] iNode вышел(а) из комнаты
[17:32:56] gds вышел(а) из комнаты
[18:10:51] <f[x]> если Sys.os_type = "Cygwin", то можно кастовать file_descr в int или нет?
[18:14:56] <ermine> а file_descr разве не int?
[18:15:35] <f[x]> под виндой - нет
[18:15:39] ermine нашла в гугле бумажку про принтф
[18:15:48] Kakadu вышел(а) из комнаты
[18:16:28] <ermine> f[x]: т.е. в исходниках камля там не int?
[18:16:50] <f[x]> нет
[18:16:59] <ermine> а что там?
[18:20:47] <f[x]> union из SOCKET или HANDLE
[18:21:59] <ermine> ужос
[18:22:27] <ermine> получается, что нигде нельзя кастовать в инт
[18:23:25] <f[x]> ну вообще да, Obj.magic не стоит использовать
[18:26:00] <ermine> тогда возникает вопрос - как обмениваться fd'ами между либлами
[18:31:05] <f[x]> ты ещё спроси как форкаться на винде
[18:31:40] <ermine> ага
[18:31:46] <ermine> а как на венде форкаться?
[18:32:30] <f[x]> assert(false) <- вот как
[18:32:59] <ermine> чота не видно gds, он же спец по виндам
[18:51:40] <ermine> жалко что я почти не знаю SML
[18:52:04] <ermine> а то многообещающие статьи про принтф - именно про SML, потому что там нет принтфа
[18:52:30] <zert> а как там без него?
[18:53:23] <ermine> http://mlton.org/Printf
[18:53:33] <ermine> например так
[18:54:19] <f[x]> ага, пусть мучаются с комбинаторами, чистюли-академики
[18:55:48] <ermine> http://community.livejournal.com/evan_tech/250400.html
[18:56:07] <ermine> там еще одна ссылка на бумагу другую
[19:02:04] gds вошёл(а) в комнату
[19:04:17] <gds> (почитамши чятлоги)
ну да, про венду -- ад и оналъ.  Если хочется кастовать в инт -- сначала проверьте, Obj.is_block ли.  Если хочется форкаться кроссплатформенно -- расхотите.
[19:04:37] Kakadu вошёл(а) в комнату
[19:06:12] <ermine> gds: а как в венде работает open_process_in?
[19:08:27] <gds> вроде нормально работает.  Запускается отдельный процесс, ему stdout редиректится, его читают.  Только про set_binary_mode_in true не надо забывать.
[19:10:31] <gds> посмотрел исходники, вроде фейлить особо нечему там.
[19:17:39] <f[x]> ха, насчёт set_binary_mode_in хорошее замечание
[19:22:29] <f[x]> так что-ли? let int_of_file_descr : Unix.file_descr -> int = if Obj.is_block (Obj.repr Unix.stdin) then fun _ -> failwith "oops" else Obj.magic;;
[19:22:49] <f[x]> интересно, может ли Unix.stdin быть закрыт в момент инициализации модуля?
[19:23:04] <f[x]> а, стоп, это же неважно
[19:23:12] <f[x]> главное что значение есть
[19:23:15] <f[x]> отлично
[19:23:25] <f[x]> а то я думал по os_type проверять
[19:28:52] <komar> Как ни захожу — тут какое-то колдунство. Годный канал.
[19:30:39] <ermine> komar: откуда заходишь?
[19:34:08] <ermine> похоже, что вышел
[19:47:49] <gds> f[x]: были какие-то баги, связанные с тем, что Obj.magic выставлялся наружу напрямую неправильно.  Не помню деталей, но с тех пор стараюсь при нужде делать как-то так (возможно, исключая the_fd, но включая int_fd):
let (int_of_file_descr : ...) fd =  ... else let (the_fd : Unix.file_descr) = fd in let (int_fd : int) = Obj.magic the_fd in int_fd
вот хоть убей, не помню, почему так делаю.  Но пример был в caml-list, и сейчас я его не найду.  (если что, там были Obj.magic, "x", "y", "let", но имхо хрен что найдётся.)
[19:48:42] <gds> а если по-честному, лучше сишную функцию написать.
[19:49:09] <f[x]> хм
[20:04:51] iNode вошёл(а) в комнату
[20:12:30] serp256 вышел(а) из комнаты
[21:09:07] ftrvxmtrx вышел(а) из комнаты
[21:12:48] komar вышел(а) из комнаты
[21:17:41] arhibot вошёл(а) в комнату
[21:38:18] ygrek вошёл(а) в комнату
[22:19:54] <ygrek> http://blog.kievalt.net/post/2143560903/fsharp-event
[22:24:37] <gds> чотко, даже несмотря на мікрософт.
[22:24:40] <ermine> писал б еще на китайском
[22:24:53] <ermine> или лучше на сербском - он понятнее
[22:25:12] <zert> хохлопаті
[22:25:27] <zert> ermine: это в тебе имперский шовинизм говорит
[22:26:18] <ygrek> докладчик кстати года полтора назад искал программера на камль/f#
[22:26:37] <ygrek> ну и давным-давно в рассылке мелькал
[22:26:59] <ygrek> этот вот host-tracker.com на камле написан, а сейчас на f# переезжает/переехал
[22:30:06] <ermine> zert: не, я реально сербский язык понимаю лучше чем украинский
[22:30:14] <ermine> а украинский - никак
[22:38:13] iNode вышел(а) из комнаты
[22:39:59] iNode вошёл(а) в комнату
[22:48:46] ftrvxmtrx вошёл(а) в комнату
[23:03:51] Typhon вошёл(а) в комнату
[23:09:07] zert вышел(а) из комнаты
[23:11:29] Typhon вышел(а) из комнаты: Replaced by new connection
[23:11:32] Typhon вошёл(а) в комнату
[23:16:17] zert вошёл(а) в комнату
[23:17:14] Typhon вышел(а) из комнаты: Replaced by new connection
[23:17:17] Typhon вошёл(а) в комнату
[23:20:39] komar вошёл(а) в комнату
[23:36:17] serp256 вошёл(а) в комнату
[23:41:55] Typhon вышел(а) из комнаты: Replaced by new connection
[23:41:58] Typhon вошёл(а) в комнату
[23:42:02] serp256 вышел(а) из комнаты
[23:42:11] Typhon вышел(а) из комнаты
[23:42:27] Typhon вошёл(а) в комнату
[23:42:27] Typhon вышел(а) из комнаты
[23:42:46] Typhon вошёл(а) в комнату
[23:52:34] Typhon вышел(а) из комнаты: Replaced by new connection
[23:52:37] Typhon вошёл(а) в комнату
[23:52:47] Typhon вышел(а) из комнаты
[23:53:05] Typhon вошёл(а) в комнату
[23:55:20] Typhon вышел(а) из комнаты: Replaced by new connection
[23:55:23] Typhon вошёл(а) в комнату