Objective Caml - Среда, 15 июня 2011

Objective Caml

ocaml@conference.jabber.ru

Среда, 15 июня 2011< ^ >

gds установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Светлое будущее -- http://camlunity.ru/ | Нефильтрованное настоящее -- https://github.com/camlunity/kamlo_wiki | Портер прошлое -- http://gdsfh.dyndns.org/kamlo/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв, move on

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

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

GMT+4
[00:31:20] klapaucius вышел(а) из комнаты
[00:49:49] n1tn4tsn0k вошёл(а) в комнату
[00:50:11] <n1tn4tsn0k> Всем привет.
[00:50:25] <n1tn4tsn0k> ygrek: мне сказали, у тебя мембера просить.)
[00:56:31] Typhon вошёл(а) в комнату
[01:00:40] ermine вышел(а) из комнаты
[01:07:03] <ygrek> бан тоже получишь, за статус
[01:13:21] <n1tn4tsn0k> За что?
[01:13:45] <n1tn4tsn0k> О, блин, долбанный qip,.
[01:14:17] <n1tn4tsn0k> Щас норм?
[01:14:59] <zert> спокойное общение, чо
[01:21:21] ygrek вышел(а) из комнаты
[03:10:10] zert вышел(а) из комнаты
[04:41:44] Typhon вышел(а) из комнаты
[05:34:54] n1tn4tsn0k вышел(а) из комнаты: QIP 2010: Спокойное общение
[08:57:47] gds вошёл(а) в комнату
[10:50:57] klapaucius вошёл(а) в комнату
[11:29:25] ftrvxmtrx вышел(а) из комнаты
[11:31:38] ftrvxmtrx вошёл(а) в комнату
[11:33:40] ftrvxmtrx вышел(а) из комнаты
[11:52:15] ermine вошёл(а) в комнату
[12:06:26] f[x] вышел(а) из комнаты
[12:06:56] Typhon вошёл(а) в комнату
[12:10:12] f[x] вошёл(а) в комнату
[12:11:33] ftrvxmtrx вошёл(а) в комнату
[13:30:52] gds вышел(а) из комнаты
[14:10:12] gds вошёл(а) в комнату
[14:44:21] <ermine> .
[14:57:19] <gds> кстати, у нас в "вики" нет кардинальной статьи, наподобие ocaml tricks.  Разные полезные приёмы, в первую очередь специфичные для окамла, во вторую -- применимые в окамле.  Например, "!floatref * 1.0" хотел посмотреть недавно с объяснением, а это же надо в рассылку лезть.  Или старый фокус с module Delayed(Dummy : sig end) = struct ... end, который применил сейчас в коде.
[15:04:56] <ermine> а какие такие приемчики?
[15:05:24] ermine кстати прям щас опять трахается с модулями и функторами
[15:07:38] <komar> gds: тоже выполнение модулей функторным костылем откладываешь?
[15:09:35] <Typhon> а что вы там выполняете то? коннекции к базе какие-нибудь?
[15:10:36] <komar> Нет.
[15:14:36] <ermine> мне б лучше туториал по модулям-функторам почитать
[15:23:32] zert вошёл(а) в комнату
[15:31:15] <komar> http://caml.inria.fr/pub/docs/manual-ocaml/manual004.html ы?
[15:31:37] <komar> Или туториал «как правильно»?
[15:31:49] <gds> komar: ага, как же ещё.
[15:39:51] <ermine> komar: ну вот делаем модуль
module X (I : functor (Y:Y) -> Z_ -> struct end и офигеваем, почему в теле модуля X не получается заюзать I.t
[15:40:43] ermine перешла в другую крайность и подсократила всю эту абстракщину
[15:40:46] <komar> Я нифига не понял.
[15:41:26] <ermine> komar: ну значит тебе тоже надо почитать туториалы "как можно делать"
[15:42:18] <gds> ermine: тогда и мне тоже, ибо http://paste.in.ua/2599/
[15:42:45] <f[x]> I это не модуль поэтому I.t не существует
[15:43:33] <ermine> ну да
[15:43:39] <f[x]> ну дык
[15:44:15] <ermine> а как из функтора сделать модуль?
[15:45:17] <f[x]> гг, применить его :)
[15:45:38] <ermine> а как?
[15:46:01] <ermine> module I(Y) - камло возражает
[15:46:12] <f[x]> module II = I(Y)
[15:46:22] <f[x]> только Y надо найти откуда-нибудь
[15:46:34] <ermine> ну да, возражает
[15:46:46] <ermine> gds щас докажет новой пастой
[15:50:43] <ermine> в общем фигня с функторами
[15:50:52] <ermine> реального применения не получается
[15:51:12] <ermine> сплошной трах, как завещал gds
[15:51:13] <gds> "у меня всё работает" :]
[15:51:33] <gds> когда убрал модули-функторы, разумеется.  а чо вы думали.
[15:51:40] <ermine> gds: функтор с подфункторами?
[15:52:06] <gds> не, в ограниченных количествах оно применимо, но если дофига закатывать внутрь, становится неудобно.
[15:52:09] klapaucius вышел(а) из комнаты
[15:52:34] <gds> можно и с подфункторами, чо.  давай более подробное описалово.
[15:53:02] <ermine> а у тебя есть сигнатуры с функторами?
[15:53:13] <gds> ну и если уговорим компилятор, проблемы будут чуть дальше, ибо сложное лучше не надо закатывать.
[15:53:15] <ermine> module type X = functor ...
[15:54:03] <ermine> ладно
[15:55:14] <gds> module type X = functor (Q : sig type t end) -> sig end;;
[15:56:04] <gds> ну про релиз 3.12.1 все в курсе, надеюсь.
[15:56:09] <ermine> а потом X заюзать в другой сигнатуре
[15:56:12] <gds> релиз-кандидат, точнее.
[15:56:39] ermine только щас узнала
[15:56:44] <ermine> а что там критического?
[15:57:09] <gds> ermine: http://paste.in.ua/2600/
[15:57:13] <ermine> не, кандидат - это еще не время бежать скачивать и перекомпилять
[15:57:14] <gds> критического -- масса.
[15:57:43] <gds> в смысле, что дофига мелкого, но дофига.
[15:58:31] <ermine> gds: в пасте неинтересно, ничего из функторов не вынимается
[15:59:09] <gds> надо к чему-то применить.
[16:00:04] <ermine> gds: ну давай в модуле Y заюзать X.t
[16:00:07] <f[x]> ага, реально багфиксов куча
[16:00:12] <f[x]> ух ты, xz лучше чем bz2
[16:00:19] <gds> ermine: X.t -- это не тип!11111111
[16:00:57] <ermine> гг
[16:01:28] <ermine> gds: а польза от X в Y какая?
[16:03:19] klapaucius вошёл(а) в комнату
[16:04:03] <gds> ermine:
# module Z : Y = functor (W : X) -> struct
  module E = W (struct type t = int end)
  end;;
module Z : Y
при таком минимализме -- только такая.
[16:25:44] <ermine> ыы
[16:30:59] aloner2k вошёл(а) в комнату
[16:42:09] abiogenesis вошёл(а) в комнату
[18:11:45] abiogenesis вышел(а) из комнаты
[19:29:27] ftrvxmtrx вышел(а) из комнаты
[20:06:04] ftrvxmtrx вошёл(а) в комнату
[20:31:19] ftrvxmtrx вышел(а) из комнаты
[20:32:43] ftrvxmtrx вошёл(а) в комнату
[20:42:23] komar вышел(а) из комнаты: Replaced by new connection
[20:42:24] komar вошёл(а) в комнату
[21:51:22] ygrek вошёл(а) в комнату