Objective Caml - Вторник, 4 сентября 2012

Objective Caml

ocaml@conference.jabber.ru

Вторник, 4 сентября 2012< ^ >

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

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

GMT+4
[00:11:56] tilarids вошёл(а) в комнату
[01:41:50] Kakadu вышел(а) из комнаты
[02:19:12] gds вошёл(а) в комнату
[02:20:24] <gds> f[x]: http://gds.livejournal.com/65745.html
[02:40:36] gds вышел(а) из комнаты
[03:46:08] letrec вошёл(а) в комнату
[03:46:09] letrec вышел(а) из комнаты
[03:46:25] letrec вошёл(а) в комнату
[04:03:42] tilarids вышел(а) из комнаты: Computer went to sleep
[04:51:09] letrec вышел(а) из комнаты
[10:03:41] Sun][ вошёл(а) в комнату
[10:08:07] tilarids вошёл(а) в комнату
[11:30:24] ftrvxmtrx вышел(а) из комнаты
[11:47:43] Typhon вошёл(а) в комнату
[11:50:02] <f[x]> > (fun (a : int) b -> if a < b then Lt else if a = b then Eq else Gt) x y
ну такое 4-ое камло само на этапе компиляции редуцирует так что в самом деле ЗБС
[11:54:32] <f[x]> и оно ж поддерживается в отличие от
[11:54:44] <f[x]> ты меня озадачил
[12:16:43] ftrvxmtrx вошёл(а) в комнату
[12:26:09] tilarids вышел(а) из комнаты: Computer went to sleep
[12:44:25] dzhon вошёл(а) в комнату
[12:44:30] dzhon вышел(а) из комнаты
[12:46:38] tilarids вошёл(а) в комнату
[13:50:02] ermine вошёл(а) в комнату
[15:35:41] <f[x]> > my favorite compiler mod
прям какая-то гейм тусовка. любимый мод, ну.
[15:57:33] letrec вошёл(а) в комнату
[16:20:08] dzhon вошёл(а) в комнату
[16:31:58] <f[x]> ermine: я твои camlimages патчи в апстрим толкну, ок?
[16:36:22] <ermine> f[x]: я по-моему одну засаду там не решила еще
[16:36:54] <ermine> libgif vs libungif
[16:37:59] <ermine> и вообще собиралась засрать своим биндингом к freetype2, перенеся из erm_captcha
[16:38:17] <f[x]> мне Png.to_string нужен
[16:38:56] <ermine> кажись я его делала для капчи
[16:40:01] <ermine> f[x]: ну эти патчи - ок, проверено уже годовой стабильной работой капчи на этом сервере
[16:40:09] <f[x]> угу!
[17:23:10] Sun][ вышел(а) из комнаты
[17:45:49] dzhon вышел(а) из комнаты: Replaced by new connection
[17:45:56] dzhon вошёл(а) в комнату
[18:23:18] dzhon вышел(а) из комнаты
[18:45:24] komar вышел(а) из комнаты: Replaced by new connection
[18:45:25] komar вошёл(а) в комнату
[19:04:08] ftrvxmtrx вышел(а) из комнаты
[19:06:21] tilarids вышел(а) из комнаты: Computer went to sleep
[19:27:14] tilarids вошёл(а) в комнату
[19:37:28] Kakadu вошёл(а) в комнату
[19:49:34] Typhon вышел(а) из комнаты
[19:50:44] Typhon вошёл(а) в комнату
[19:55:32] Kakadu вышел(а) из комнаты
[19:57:18] Kakadu вошёл(а) в комнату
[20:15:43] tilarids вышел(а) из комнаты: Computer went to sleep
[20:20:19] gds вошёл(а) в комнату
[20:23:51] <gds> f[x]: вроде да, 4ый окамл научился. редуцировать.
А в целом -- забавно, что получилось сделать это на coq.
[20:28:16] dzhon вошёл(а) в комнату
[20:44:36] letrec вышел(а) из комнаты
[20:56:27] tilarids вошёл(а) в комнату
[21:04:03] tilarids вышел(а) из комнаты: Replaced by new connection
[21:04:03] tilarids вошёл(а) в комнату
[21:07:55] tilarids вышел(а) из комнаты: Replaced by new connection
[21:07:56] tilarids вошёл(а) в комнату
[21:43:58] f[x] вошёл(а) в комнату
[21:59:04] Typhon вышел(а) из комнаты
[22:05:30] tilarids вышел(а) из комнаты: Computer went to sleep
[22:38:08] ermine вышел(а) из комнаты
[22:42:29] tilarids вошёл(а) в комнату
[22:46:23] gds вышел(а) из комнаты
[23:02:20] ftrvxmtrx вошёл(а) в комнату
[23:32:50] tilarids вышел(а) из комнаты: Computer went to sleep
[23:41:26] Sun][ вошёл(а) в комнату