Objective Caml - Пятница, 18 января 2013

Objective Caml

ocaml@conference.jabber.ru

Пятница, 18 января 2013< ^ >

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

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

GMT+4
[00:16:27] bobry вышел(а) из комнаты
[00:23:11] Sun][ вышел(а) из комнаты
[00:31:14] <gds> bobry: да понятно, что всё, что делается манатками, решается через мутабельное (собственно, потому их и используют в том же х-е).  Только часто оказывается так, что грамотный апи лучше нагромождения манаток, по моему опыту.  Но иногда манатки таки клёвые, например, в итератах, где они поверх Ю-манатки.  Или когда LogicT Олеговское имеем (хотя забыл детали).
[00:32:05] <gds> bobry: ещё момент -- насчёт композиционируемости кода.  С манатками ты её получаешь, с ref -- не всегда.  Про это тоже полезно думать.  (например, чтобы избегать ref там, где не надо.)
[00:35:52] <gds> bobry: самый главный момент забыл.
lift $ lift $ lift $ lift $ do_something ()
[00:38:46] Typhon вошёл(а) в комнату
[00:52:52] bobry вошёл(а) в комнату
[00:53:49] <bobry> ну для этого есть кстати MonadBase в х-ле
[00:53:57] <bobry> который дает доступ к базовой манатке
[01:03:15] bobry вышел(а) из комнаты
[01:08:40] ftrvxmtrx вышел(а) из комнаты
[01:11:43] ftrvxmtrx вошёл(а) в комнату
[01:35:53] <gds> bobry: то есть, расчёт только на то, что пользоваться будут только базовой и верхней, ну и lift всякий на нужную глупину?
[01:47:12] Zbroyar вошёл(а) в комнату
[02:21:27] Zbroyar вышел(а) из комнаты
[02:34:38] Typhon вышел(а) из комнаты
[03:35:34] Typhon вошёл(а) в комнату
[03:36:03] Zbroyar вошёл(а) в комнату
[03:36:11] ftrvxmtrx вышел(а) из комнаты
[03:36:51] ftrvxmtrx вошёл(а) в комнату
[03:57:43] Typhon вышел(а) из комнаты
[04:38:18] Typhon вошёл(а) в комнату
[04:56:15] Typhon вышел(а) из комнаты
[06:40:45] Typhon вошёл(а) в комнату
[06:57:58] Typhon вышел(а) из комнаты
[07:41:02] Typhon вошёл(а) в комнату
[07:57:22] Typhon вышел(а) из комнаты
[08:12:25] dzhon вошёл(а) в комнату
[08:41:20] Typhon вошёл(а) в комнату
[08:57:35] Typhon вышел(а) из комнаты
[09:05:29] bobry вошёл(а) в комнату
[09:05:52] <bobry> gds: вроде того, ага. на практике оно почти всегда так и есть
[09:09:40] komar вышел(а) из комнаты: Logged out
[09:19:44] <bobry> gds: а манатки можно "красиво" в объектах закодировать?
[09:20:08] <bobry> я вроде начал пробовать, получается, что надо параметризовывать класс двумя типами — class ['a, 'm] monad = ...
[09:20:16] <bobry> что конечно же совсем не кошерно
[09:24:53] Andrey Popp вошёл(а) в комнату
[09:25:49] Andrey Popp вышел(а) из комнаты
[09:28:53] Andrey Popp вошёл(а) в комнату
[09:43:29] Andrey Popp вышел(а) из комнаты
[09:45:22] Andrey Popp вошёл(а) в комнату
[09:57:06] Andrey Popp вышел(а) из комнаты
[10:17:53] Sun][ вошёл(а) в комнату
[10:41:12] bobry вышел(а) из комнаты
[11:11:11] komar вошёл(а) в комнату
[11:22:57] ermine вошёл(а) в комнату
[11:40:31] <gds> bobry: один момент наломает: для class type monad ['a] в типе метода не может быть отсылок к monad 'b для какого-либо 'b, отличающегося от 'a (например, для "method bind : 'b . тип метода").  Собственно, по той же причине не получится реализовать функторы (которые fmap) на объектах, там тоже ('a -> 'b) -> functr 'a -> functr 'b.
[11:44:12] Typhon вошёл(а) в комнату
[11:59:27] Kakadu вошёл(а) в комнату
[11:59:32] Kakadu вошёл(а) в комнату
[12:01:23] Typhon вышел(а) из комнаты
[12:18:10] ftrvxmtrx вошёл(а) в комнату
[12:44:46] Typhon вошёл(а) в комнату
[13:01:12] Typhon вышел(а) из комнаты
[13:41:09] strobegen вошёл(а) в комнату
[13:45:07] Typhon вошёл(а) в комнату
[14:01:08] Typhon вышел(а) из комнаты
[14:46:07] Typhon вошёл(а) в комнату
[14:53:05] dzhon вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[15:05:25] Typhon вышел(а) из комнаты
[15:20:25] tilarids вошёл(а) в комнату
[15:28:41] Zbroyar вышел(а) из комнаты
[16:02:18] Typhon вошёл(а) в комнату
[16:10:31] tilarids вышел(а) из комнаты: Replaced by new connection
[16:10:34] tilarids вошёл(а) в комнату
[16:40:37] Typhon вышел(а) из комнаты
[16:48:41] Typhon вошёл(а) в комнату
[16:59:33] tilarids вышел(а) из комнаты
[17:05:43] Sun][ вышел(а) из комнаты
[17:09:14] strobegen вышел(а) из комнаты
[17:25:27] tilarids вошёл(а) в комнату
[17:31:52] tilarids вышел(а) из комнаты: Replaced by new connection
[17:31:54] tilarids вошёл(а) в комнату
[17:44:53] Typhon вышел(а) из комнаты
[18:01:28] Typhon вошёл(а) в комнату
[18:03:36] Andrey Popp вошёл(а) в комнату
[18:22:15] Andrey Popp вышел(а) из комнаты
[18:24:54] tilarids вышел(а) из комнаты: Machine going to sleep
[18:56:00] tilarids вошёл(а) в комнату
[18:58:46] Kakadu вышел(а) из комнаты
[19:08:54] bobry вошёл(а) в комнату
[19:21:12] strobegen вошёл(а) в комнату
[19:21:19] bobry вышел(а) из комнаты
[19:21:48] Kakadu вышел(а) из комнаты
[19:22:38] bobry вошёл(а) в комнату
[19:25:04] tilarids вышел(а) из комнаты: Machine going to sleep
[19:36:38] bobry вышел(а) из комнаты
[19:37:17] Typhon вышел(а) из комнаты
[19:51:41] bobry вошёл(а) в комнату
[19:57:52] <bobry> gds: ну можно наверное таскать с собой и 'a и 'b в сигнатуре
[20:06:02] bobry вышел(а) из комнаты
[20:28:08] <gds> bobry: ну будет class type monad ['a, 'b], какой тип будет у bind?
[20:28:21] <gds> у return понятно, method return : 'a -> monad 'a 'a
[20:28:51] ftrvxmtrx вышел(а) из комнаты
[20:35:13] komar вышел(а) из комнаты: Logged out
[20:37:51] Typhon вошёл(а) в комнату
[20:54:44] Typhon вышел(а) из комнаты
[22:04:52] tilarids вошёл(а) в комнату
[22:35:07] ftrvxmtrx вышел(а) из комнаты
[22:38:09] Kakadu вошёл(а) в комнату
[22:47:49] ftrvxmtrx вошёл(а) в комнату
[23:24:01] tilarids вышел(а) из комнаты: Machine going to sleep
[23:49:11] ermine вышел(а) из комнаты