Objective Caml - Четверг, 27 января 2011

Objective Caml

ocaml@conference.jabber.ru

Четверг, 27 января 2011< ^ >

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

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

GMT+3
[00:42:24] ermine вышел(а) из комнаты
[00:44:26] <ygrek> ermine: s/interpretator/interpreter/
[01:00:11] arhibot вышел(а) из комнаты
[01:20:30] ygrek вышел(а) из комнаты
[05:31:23] komar вышел(а) из комнаты
[07:45:03] iNode вышел(а) из комнаты: Replaced by new connection
[07:45:04] iNode вошёл(а) в комнату
[08:57:44] gds вошёл(а) в комнату
[10:02:32] ftrvxmtrx вышел(а) из комнаты
[10:02:46] ftrvxmtrx вошёл(а) в комнату
[10:09:31] Typhon вошёл(а) в комнату
[10:31:23] serp256 вошёл(а) в комнату
[10:31:44] ermine вошёл(а) в комнату
[10:35:01] ygrek вошёл(а) в комнату
[10:55:24] ygrek вышел(а) из комнаты
[10:55:40] ygrek вошёл(а) в комнату
[11:13:13] Kakadu вошёл(а) в комнату
[11:38:20] ftrvxmtrx вышел(а) из комнаты
[11:50:23] ygrek вышел(а) из комнаты
[12:23:42] zert вошёл(а) в комнату
[12:34:25] Typhon вышел(а) из комнаты: Replaced by new connection
[12:34:26] Typhon вошёл(а) в комнату
[12:38:33] <gds> http://pastebin.com/PuBhcDs1 -- интересно, где там вообще применение аргументов к x?
[12:48:11] <f[x]> # let drop f = ();;
val drop : 'a -> unit = <fun>
# let f (x:int->int) = drop x;;
val f : (int -> int) -> unit = <fun>
[12:48:20] <f[x]> ignore особенный?
[12:51:54] <gds> похоже.  Тоже в том направлении пошёл: let rec f x = x 123 and g (x : int -> int) = f x;; -- нет предупреждений.
[12:52:01] <gds> в рассылку отписать штоле?
[12:57:56] <f[x]> ха, It is equivalent to f x; ()
[12:58:20] <gds> это откуда?
[12:58:38] <f[x]> мануал
[12:58:43] <f[x]> хотя это ничего не объясняет
[12:59:25] <f[x]> это объясняет только если ignore макрос
[12:59:33] <f[x]> обрабатывается как макрос
[12:59:43] <gds> может сделать let ignore _ = () и не париться?
[13:01:05] <f[x]> таки да, см. Pignore в bytecomp
[13:05:12] ftrvxmtrx вошёл(а) в комнату
[13:31:39] <gds> и нафига отдельно выделять Pignore?..  Чтобы оптимизатор не скушал, разве что?
[13:33:54] <f[x]> чтобы вот такие вот ошибки и ловились?
[13:34:14] <f[x]> iiuc оптимизатор такое не выкушивает
[13:38:37] <gds> но приведённое мной -- не ошибка, а нормальная попытка игнорировать функциональный аргумент.
[13:40:02] <f[x]> чем это отличается по сути от f (x:int->int->int) = ignore (x 2) ?
[13:40:20] <f[x]> и не ошибка а ворнинг
[13:40:47] <f[x]> ну т.е. если хочешь игнорировать функцию - то не используй её :)
[13:41:00] <gds> а тогда будет warning: unused ...
[13:41:12] <f[x]> т.е. ворнинг в таком конкретном случае имхо ок
[13:41:16] <f[x]> ну _x
[13:43:03] <gds> ну да, _x, но хотелось более явно выказать своё игнорирование x, и не переименовывать потом аргумент.  Хотя уже сделал _x.
Но не понимаю, почему это ок.
[13:44:38] <f[x]> ну откуда компилеру знать что ты на самом деле не хотел применить эту функцию
[13:50:19] <gds> ну, разве что если так.
[14:05:05] Kakadu вышел(а) из комнаты
[14:08:57] Kakadu вошёл(а) в комнату
[14:10:49] <f[x]> ermine: https://forge.ocamlcore.org/tracker/index.php?func=detail&aid=897&group_id=133&atid=626
[14:43:55] <ermine> ага
[14:44:25] <ermine> f[x]: а в оазисе можно поставить депендс к камлу 3.12?
[14:44:41] <ermine> а то как введу фирст ордер модули так придеца указать такой депендс
[15:01:02] <ermine> а у меня похоже щас таки вылезли баги в mybase64 :)
[15:11:14] <f[x]> можно
[15:11:44] <f[x]> oasis manual | grep -i ocamlversion
[15:36:34] ftrvxmtrx вышел(а) из комнаты
[16:19:40] komar вошёл(а) в комнату
[16:33:05] ygrek вошёл(а) в комнату
[16:33:19] ygrek вышел(а) из комнаты
[16:53:25] ftrvxmtrx вошёл(а) в комнату
[17:10:23] iNode вышел(а) из комнаты
[17:30:38] gds вышел(а) из комнаты
[17:37:40] iNode вошёл(а) в комнату
[17:43:40] kemiisto вошёл(а) в комнату
[17:46:26] <kemiisto> Всем привет! А тут можно задавать глупые вопросы? =)
[17:46:52] <f[x]> рискни
[17:47:43] <kemiisto> вот есть такое объявление функции
let positive_sum a b =
    let a = max a 0
    and b = max b 0 in
    a + b;;
[17:48:03] <kemiisto> и такое
let positive_sum a b =
    let a = max a 0 in
    let b = max b 0 in
    a + b;;
[17:48:13] <kemiisto> есть разница?
[17:49:50] <f[x]> нет
[17:51:47] <kemiisto> f[x]: ага, спасибо
[18:09:50] komar вышел(а) из комнаты: Replaced by new connection
[18:09:52] komar вошёл(а) в комнату
[18:16:35] <f[x]> в 3.12 камлобилде впихнули вызов cut который я специально выпиливал с вики-примера ради виндовс
[18:16:47] <f[x]> но всем пофиг очевидно т.к. виндовой сборки всё равно нет
[18:26:43] kemiisto вышел(а) из комнаты: QIP 2010: Quiet Communication
[18:28:14] gds вошёл(а) в комнату
[19:11:34] Typhon вышел(а) из комнаты
[20:20:02] ftrvxmtrx вышел(а) из комнаты
[20:37:28] serp256 вышел(а) из комнаты
[21:11:36] Typhon вошёл(а) в комнату
[21:28:34] Typhon вышел(а) из комнаты: Replaced by new connection
[21:28:43] Typhon вошёл(а) в комнату
[21:29:41] Typhon вышел(а) из комнаты
[21:30:14] Typhon вошёл(а) в комнату
[21:34:26] ygrek вошёл(а) в комнату
[21:54:30] arhibot вошёл(а) в комнату
[22:13:06] ygrek вышел(а) из комнаты
[22:13:28] ygrek вошёл(а) в комнату
[22:31:02] shoroh-net вошёл(а) в комнату
[22:32:17] <shoroh-net> добрый вечер, у меня вопрос, какую опцию дать компилятору, чтобы собрать под винду приложение, при запуске которого не будет открываться консоль
[22:32:34] <shoroh-net> под линухом никаких проблем с этим нет
[22:32:40] <shoroh-net> собираю под mingw
[22:33:33] <shoroh-net> кстати, спасибо gds, я пользуюсь вашим overbuild, чтобы компилять под windows
[22:35:17] <gds> shoroh-net: прикольно.  Бывает же :)
[22:36:15] <ygrek> прямой способ не придумывается, варианты :
- у msvc линкера есть ключ /subsystem
- можно выставить для любого бинарника руками флажок консоль/gui
- можно попробовать через winapi скрыть окно/консоль
- посмотреть как люди делают
[22:36:44] <gds> по идее, -cclib -Wl,--subsystem,windows
[22:37:10] <ygrek> о
[22:37:39] <shoroh-net> ок, попробую, огромное спасибо)
[22:40:44] shoroh-net вышел(а) из комнаты
[23:00:46] arhibot вышел(а) из комнаты
[23:18:42] arhibot вошёл(а) в комнату
[23:19:07] arhibot вышел(а) из комнаты
[23:49:46] arhibot вошёл(а) в комнату
[23:53:25] ftrvxmtrx вошёл(а) в комнату
[23:57:27] <ygrek> ermine: а насколько сложно впихнуть твою xmpp либу в чужой event loop, т.е. там есть ручки за которые дёргать когда в сокет приходят данные?