Objective Caml - Среда, 22 августа 2012

Objective Caml

ocaml@conference.jabber.ru

Среда, 22 августа 2012< ^ >

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

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

GMT+4
[01:26:56] f[x] вошёл(а) в комнату
[01:42:05] Kakadu вышел(а) из комнаты
[02:21:04] ermine вышел(а) из комнаты
[03:54:42] letrec вошёл(а) в комнату
[04:00:25] f[x] вышел(а) из комнаты
[04:27:22] Typhon вышел(а) из комнаты
[04:43:53] letrec вышел(а) из комнаты
[10:03:19] dzhon вошёл(а) в комнату
[10:09:43] Sun][ вошёл(а) в комнату
[10:52:00] ftrvxmtrx вышел(а) из комнаты
[11:22:14] ermine вошёл(а) в комнату
[11:39:54] ftrvxmtrx вошёл(а) в комнату
[11:43:18] dzhon вышел(а) из комнаты: Replaced by new connection
[11:43:18] dzhon вошёл(а) в комнату
[12:16:23] tilarids вышел(а) из комнаты: Machine going to sleep
[12:47:40] Kakadu вошёл(а) в комнату
[12:48:55] Kakadu вошёл(а) в комнату
[13:16:40] dzhon вышел(а) из комнаты: Replaced by new connection
[13:16:40] dzhon вошёл(а) в комнату
[13:53:20] Typhon вошёл(а) в комнату
[15:09:09] tilarids вошёл(а) в комнату
[15:50:44] dzhon вышел(а) из комнаты
[15:50:49] dzhon вошёл(а) в комнату
[16:47:16] <gds> как чоткие пацаны делают отладочную печать?  Мне надо бы, по идее, избежать вычисления аргументов printf'а, создание их массива и пробежку по нему, которые даёт ifprintf.  Видимо, какой-то #define-подобный подход нужен, чтобы разворачивать "LOG уровень fmt" в "if уровень >= !текущий_уровень then printf .. else ()".  Чтобы let () = LOG 3 "kva=%i" kva in ... можно было писать.
Собственно, направление поисков понятно, но, может, 1. есть готовые куски кода?  2. где-то прощёлкал что-то?  3. есть более кошерные способы?  (однако, собирать бинарник полностью без отладочной печати для моего текущего дела бессмысленно, в этом направлении не нужно оптимизировать.)
[16:48:18] <f[x]> if debug_1 then :)
[16:48:34] <f[x]> DEFINE подход есть в болте и батарейках
[16:48:37] letrec вошёл(а) в комнату
[16:48:42] <f[x]> не то чтобы я отговаривал от нихиляции
[16:50:27] <gds> f[x]: if debug_1 -- вариант простой, но вот буду смотреть на DEFINE сначала.  А сходу какие-нибудь "против" есть?  Например, сейчас не могу предсказать, как оно с revised syntax будет работать -- по идее, расширение грамматики не такое уж громадное, вроде сработает.
[16:51:15] <f[x]> а там простым DEFINE не обойдёшься
[16:51:27] <f[x]> он же не даст тебе незакрытый then оставить
[16:52:22] <gds> а почему незакрытый?  "then printf ... else ()"
[16:52:58] <f[x]> и как ты будешь пробрасывать параметры?
[16:53:35] <f[x]> # DEFINE LOG(n) = if debug n then Printf.printf;;
# LOG(2) "%s %d" !!(lazy (print_endline "dsds"; "something")) 20;;
Error: This expression has type unit but an expression was expected of type
         ('a, out_channel, unit) format -> 'a
[16:53:49] <f[x]> good try
[16:54:12] <gds> а чо, DEFINE только один параметр берёт?
[16:54:21] <gds> ааа.  понял.
[16:54:27] <Kakadu> через расширение синтаксиса видел такое вот: https://github.com/serp256/lightning/blob/master/src/syntax/pa_debug.ml
[16:56:01] <gds> Kakadu: интересно, буду смотреть.
[17:02:01] Typhon вышел(а) из комнаты
[17:07:33] Typhon вошёл(а) в комнату
[17:10:08] tilarids вышел(а) из комнаты: Replaced by new connection
[17:10:10] tilarids вошёл(а) в комнату
[17:25:10] dzhon вышел(а) из комнаты: Replaced by new connection
[17:25:10] dzhon вошёл(а) в комнату
[17:30:48] f[x] вышел(а) из комнаты
[18:01:28] Sun][ вышел(а) из комнаты
[18:10:45] dzhon вышел(а) из комнаты
[19:14:01] Kakadu вышел(а) из комнаты
[19:14:11] Kakadu вышел(а) из комнаты
[19:14:25] ftrvxmtrx вышел(а) из комнаты
[19:30:35] Typhon вышел(а) из комнаты
[19:37:28] tilarids вышел(а) из комнаты
[19:37:39] tilarids вошёл(а) в комнату
[20:13:46] Kakadu вошёл(а) в комнату
[20:50:26] letrec вышел(а) из комнаты
[21:04:03] ftrvxmtrx вошёл(а) в комнату
[21:57:52] tilarids вышел(а) из комнаты
[22:04:08] Kakadu вошёл(а) в комнату
[22:15:36] Kakadu вышел(а) из комнаты
[22:50:02] tilarids вошёл(а) в комнату
[23:29:35] Sun][ вошёл(а) в комнату