Objective Caml - Четверг, 3 июня 2010

Objective Caml

ocaml@conference.jabber.ru

Четверг, 3 июня 2010< ^ >

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

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

GMT+4
[00:18:57] ygrek вошёл(а) в комнату
[00:19:09] ygrek вышел(а) из комнаты
[00:19:42] ygrek вошёл(а) в комнату
[00:19:56] ygrek вышел(а) из комнаты
[00:20:27] ygrek вошёл(а) в комнату
[00:20:42] ygrek вышел(а) из комнаты
[00:21:00] ygrek вошёл(а) в комнату
[00:31:06] ermine вышел(а) из комнаты
[00:35:59] gds вышел(а) из комнаты
[01:04:02] digital_curse вошёл(а) в комнату
[01:27:28] ygrek вышел(а) из комнаты
[02:50:58] digital_curse вышел(а) из комнаты
[03:46:31] seregavolk вошёл(а) в комнату
[03:46:38] seregavolk вышел(а) из комнаты: I'll be back
[04:06:24] Typhon вышел(а) из комнаты
[07:37:01] digital_curse вошёл(а) в комнату
[08:08:37] iNode вошёл(а) в комнату
[09:06:38] gds вошёл(а) в комнату
[09:22:17] ermine вошёл(а) в комнату
[09:57:04] serp256 вошёл(а) в комнату
[10:21:07] ermine вышел(а) из комнаты
[10:23:18] ʇsʎɯ вошёл(а) в комнату
[10:30:12] Kakadu вошёл(а) в комнату
[10:30:12] Kakadu вышел(а) из комнаты
[10:30:41] Kakadu вошёл(а) в комнату
[11:02:29] gds вышел(а) из комнаты
[11:09:15] gds вошёл(а) в комнату
[12:24:47] Typhon вошёл(а) в комнату
[14:03:18] ermine вошёл(а) в комнату
[14:10:56] <gds> господа камлающие, при использовании камла не забываем инструментарий: http://s03.radikal.ru/i176/1001/3d/dc28c3412943.jpg
[14:12:57] <f[x]> где заказывать? на амазоне не нашёл
[14:20:19] <Kakadu> бугагашенька
[14:27:47] <ʇsʎɯ> }
[14:27:52] <ʇsʎɯ> Ъ
[15:17:44] <ʇsʎɯ> ололо http://bugs.mysql.com/bug.php?id=9235
[15:17:51] <ʇsʎɯ> гениальный подход к исправлению ошибок
[15:33:09] iNode вышел(а) из комнаты
[15:33:51] iNode вошёл(а) в комнату
[16:22:10] komar вошёл(а) в комнату
[16:54:19] Kakadu вышел(а) из комнаты
[17:19:37] iNode вышел(а) из комнаты
[17:30:06] gds вышел(а) из комнаты
[18:02:27] <ermine> о, туарег 2.0
[18:02:29] <ermine> надо пробовать
[18:04:36] <ermine> а на сайте туарега нет 2.0
[18:38:28] gds вошёл(а) в комнату
[19:35:26] serp256 вышел(а) из комнаты
[19:40:28] ʇsʎɯ вышел(а) из комнаты
[20:12:38] Kakadu вошёл(а) в комнату
[20:19:38] Typhon вышел(а) из комнаты
[21:11:58] gds вышел(а) из комнаты
[21:12:32] gds вошёл(а) в комнату
[21:26:39] ermine опять страдает фигней в сишнем коде - надо как-то в void* data засунуть Long_val(smth)
[21:27:34] Typhon вошёл(а) в комнату
[21:27:56] <ermine> можно ли взять адрес от того, на что указывает Long_val, и не будет ли от этого какая-нить жпа в gc?
[21:30:43] <gds> ermine: адрес -- это всего лишь последовательность битиков.  беринихачю.
[21:31:23] <ermine> а, можно еще маллок
[21:32:49] <gds> какого рода структуры в памяти?
[21:37:14] <gds> а у меня другая проблема.  Я в детстве плохо кушал CPS, поэтому следующий код вызывает когнитивный диссонанс: http://pastebin.com/YxdnKCr3
Целый день в балансе между "убью и съем" и "дайте верёвку".
[21:43:57] <ermine> gds: у меня дело не в структуре, а в том, что результат надо вернуть в том, что было дано в аргументах функции
[21:44:58] <ermine> ой, монада
[21:45:54] <Typhon> true fp naming conventions: sk, fk, e, f, m1, m2 :)
[21:47:52] <ermine> и sfkt
[21:47:53] <gds> k -- continuation, классика fp.  sk -- success k., fk -- failure k..  Для m1 и m2 не хватило subscripts (вот как интегрируют что-то резиновое наподобие латекса с языками погроммирования, так сразу).
[21:48:37] <ermine> kont скорее
[21:48:44] <gds> c#nt, дада
[21:49:29] <gds> вот всегда интересовало, почему k для continuation.
[21:49:57] <Typhon> немцы? (как Konstant в SKI)
[21:55:12] <ermine> gds: а чего ты там хотел вообще? зачем там комбинаторы?
[22:10:10] <gds> кстати да, немцы или позаимствованное у них.
[22:11:19] <gds> а хотел я там "переборную монаду".  Штука полезная как раз для решения обще-переборных задач в общем виде.
[22:41:02] iNode вошёл(а) в комнату
[23:17:44] Typhon вышел(а) из комнаты: Replaced by new connection
[23:17:47] Typhon вошёл(а) в комнату