Objective Caml - Воскресенье, 7 августа 2011

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 7 августа 2011< ^ >

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

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

GMT+4
[00:04:01] ygrek smells something fishy
[00:06:27] <ygrek> наблюдаю циклический буфер реализованный как (fun x -> l := List.take 100 (x::!l)) и эта функа дёргается для каждого файла много раз в секунду
[00:06:46] <ygrek> фиг бы я это нашёл без профайлера
[00:32:57] Typhon вышел(а) из комнаты
[00:36:41] ermine вышел(а) из комнаты
[00:39:12] ygrek вышел(а) из комнаты
[00:57:19] ftrvxmtrx вышел(а) из комнаты
[00:58:35] ftrvxmtrx вошёл(а) в комнату
[03:51:28] shaggie вышел(а) из комнаты
[04:30:30] zinid вошёл(а) в комнату
[10:13:09] ygrek вошёл(а) в комнату
[11:42:22] ermine вошёл(а) в комнату
[11:53:38] <gds> подумал, что нужно было бы сделать модуль для работы с ('a * list 'a), который обозвать List1 (список из >=1 элемента), и даже без абстрактности/приватности типа, просто функции реализовать нужные. hd, не фейлящийся, tl, дающий list 'a. Ну и новые функции типа reduce/fold1.
[12:25:53] <gds> (точнее, tl нужно два: tl1 : list1 -> list1, падучий, и tl0 : list1 -> list, гарантированный)
[12:49:38] ftrvxmtrx вышел(а) из комнаты
[12:51:11] ftrvxmtrx вошёл(а) в комнату
[12:54:37] ftrvxmtrx вышел(а) из комнаты
[12:56:36] ftrvxmtrx вошёл(а) в комнату
[13:13:22] shaggie вошёл(а) в комнату
[13:48:59] Typhon вошёл(а) в комнату
[13:53:59] ermine обновила extlib, всё чотко
[13:54:51] <ermine> ygrek: а ты уже добавил в extlib в модуль base64 нудную енкодилку?
[13:55:10] <ygrek> не, кстати хорошая идея
[13:55:15] <ygrek> знарисуешь багу?
[13:56:00] <ermine> нет уж, регаться еще где-то
[13:56:45] <ermine> а пчу оно не на форге?
[13:57:07] <ygrek> потому что форга в 2007-м не было :)
[13:57:10] <ermine> там у меня вроде даже есть аккаунт, только, надеюсь, что пароль прочно забыт
[13:58:10] <ygrek> мда, bugtracker с обязательной регистрацией - это зло
[13:58:27] <ygrek> хоть бы openid какой-нибудь пускали бы
[13:59:15] <ermine> скорей ooauth
[13:59:59] <Typhon> авторизация по аккаунту с фейсбука. "расскажи друзьям, как тебе нравится этот баг"
[14:01:08] <ermine> oauth вроде появился раньше фейсбука
[14:02:26] <ermine> затвитовать багу!
[14:04:23] <gds> твитнуть багу | законтачить проект | пдрнуть разработчика
[14:06:26] ermine уныло борется с приватным типом и unable to costruct
[14:07:08] <ermine> а че это оно не может конструировать внутри модуля, где тип обьявлен приватным?
[14:08:03] <gds> где тип объявлен приватным -- там его не можешь конструировать.
[14:08:52] <ermine> а где можно?
[14:09:07] <gds> там, где он ещё не приватный.
[14:09:20] <gds> приватным объявить его в сигнатуре модуля.
[14:10:41] <ermine> хреново
[14:11:40] <ermine> в сигнатуре тип еще необитаемый, там нечему быть приватным
[14:12:27] <gds> иерархия модулей может быть более глубокой.
[14:12:59] <ermine> надо попробовать
[14:13:03] <gds> например, смотри в итератах на тип Subarray.t
[14:14:11] <ermine> а он там не необитаемый
[14:34:25] ftrvxmtrx вышел(а) из комнаты
[14:36:47] ftrvxmtrx вошёл(а) в комнату
[15:55:49] ermine опять играет в type char t = string
[15:55:56] <ermine> какой же неудобный string
[17:05:32] shaggie вышел(а) из комнаты
[17:47:49] ftrvxmtrx вышел(а) из комнаты
[17:48:57] ftrvxmtrx вошёл(а) в комнату
[18:22:48] ftrvxmtrx вышел(а) из комнаты
[18:50:39] shaggie вошёл(а) в комнату
[19:39:44] zinid вышел(а) из комнаты
[21:17:26] ftrvxmtrx вошёл(а) в комнату
[23:18:50] shaggie вышел(а) из комнаты
[23:20:40] ygrek вышел(а) из комнаты: Replaced by new connection
[23:20:41] ygrek вошёл(а) в комнату
[23:28:48] ftrvxmtrx вышел(а) из комнаты
[23:43:13] ermine вышел(а) из комнаты