Objective Caml - Суббота, 21 апреля 2012

Objective Caml

ocaml@conference.jabber.ru

Суббота, 21 апреля 2012< ^ >

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

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

GMT+4
[00:25:54] Typhon вошёл(а) в комнату
[00:38:01] shaggie вошёл(а) в комнату
[00:47:04] <bobry> ну чо, мой лик где то внутри байнда на
ReaderT (TSContext source input result) IO (Either (ErrorWrapper source input result) a)
[00:47:06] <bobry> fuckye
[01:28:43] Kakadu вышел(а) из комнаты
[01:33:55] shaggie вышел(а) из комнаты
[01:41:46] bobry вышел(а) из комнаты
[02:11:03] f[x] вышел(а) из комнаты: Computer went to sleep
[03:57:23] Typhon вышел(а) из комнаты
[05:41:20] letrec вошёл(а) в комнату
[05:41:30] letrec вышел(а) из комнаты
[05:41:46] letrec вошёл(а) в комнату
[07:39:55] letrec вышел(а) из комнаты
[07:48:36] letrec вошёл(а) в комнату
[09:55:05] f[x] вошёл(а) в комнату
[10:00:45] bobry вошёл(а) в комнату
[10:08:37] Kakadu вошёл(а) в комнату
[10:09:36] <Kakadu> bobry: я тут подумал. Оно и правда тикёть без сишного кода?
[10:55:11] Kakadu вышел(а) из комнаты
[11:12:23] ftrvxmtrx вышел(а) из комнаты
[11:14:22] ftrvxmtrx вошёл(а) в комнату
[11:34:43] ermine вошёл(а) в комнату
[11:38:40] ftrvxmtrx вышел(а) из комнаты
[11:39:28] ftrvxmtrx вошёл(а) в комнату
[11:41:53] Andrey Popp вошёл(а) в комнату
[11:46:00] Kakadu вошёл(а) в комнату
[11:48:58] f[x] вышел(а) из комнаты
[11:59:08] f[x] вошёл(а) в комнату
[11:59:11] f[x] вышел(а) из комнаты
[11:59:39] f[x] вошёл(а) в комнату
[12:33:11] komar вышел(а) из комнаты
[12:33:17] komar вошёл(а) в комнату
[12:56:22] letrec вышел(а) из комнаты
[13:02:03] <bobry> Kakadu: да текет то похоже в чем то unboxed, профайлер даже тип не может определить
[13:02:15] bobry расставил кучу strict аннотаций, не помогло
[13:02:22] <bobry> похоже проще будет просто все переписать ..
[13:02:47] <Kakadu> а unboxed в термина х-я это что?
[13:05:04] <bobry> тупо блоб чего-то в памяти
[13:05:26] tilarids вошёл(а) в комнату
[13:05:40] <bobry> забавно что за день в х-ль@cjr мне никто не ответил
[13:05:51] <bobry> может они все без ликов пишут :)
[13:08:24] <Kakadu> спроси на фриноде. Я там 2 раза был и два раза был дикий срач про што-то
[13:10:16] Andrey Popp вышел(а) из комнаты
[13:11:57] <bobry> у меня нет minimal working example чтобы толком спрашивать
[13:16:25] Typhon вошёл(а) в комнату
[13:22:25] <gds> * coq, mindfuck
http://paste.in.ua/4190/
[13:23:53] <gds> а, и ещё забавно, во что оно экстрактится:
(** val tuple_choose : tuple_comp -> 'a1 -> 'a2 -> __ **)
let tuple_choose comp v1 v2 =
  match comp with
  | Fst -> Obj.magic v1
  | Snd -> Obj.magic v2
[13:25:59] <bobry> nice :)
[13:29:03] Typhon вышел(а) из комнаты: Replaced by new connection
[13:29:23] Typhon вошёл(а) в комнату
[13:41:11] <bobry> охуеть товарищи
[13:41:16] <bobry> http://hackage.haskell.org/packages/archive/stm/latest/doc/html/Control-Concurrent-STM-TVar.html
[13:41:24] <bobry> дружно смотрим на функцию modifyTVar
[13:41:31] <bobry> Mutate the contents of a TVar <http://hackage.haskell.org/packages/archive/stm/latest/doc/html/Control-Concurrent-STM-TVar.html#t:TVar>. N.B., this version is non-strict.
[13:41:43] <bobry> nota bene!
[13:41:47] <bobry> три дня!
[13:43:47] <gds> bobry: а теперь расскажи, в чём прикол.
[13:45:56] <bobry> gds: ты знаешь что такое TVar?
[13:46:30] <gds> описание прочитал, когда-то разбирался, базовое представление имею.
[13:46:33] <bobry> ага
[13:46:48] <bobry> в общем это то же что MVar (ref по камловски), только в STM'e
[13:47:08] <bobry> так вот, есть функция modifyMVar, которая просто мождифицирует значение MVar'a
[13:47:17] <bobry> для TVar есть аналогичная функция
[13:47:21] <bobry> но она по дефолту не строгая
[13:47:28] <bobry> каким образом я должен было это вывести не ясно
[13:47:36] <bobry> и почему нужно было делать ее не строгой по дефолту тоже не ясно
[13:53:31] <gds> ну, нестрогая, а откуда лик?
[13:53:57] <bobry> похоже у нас выстраивалась цепочка таких modifyMVar которую никто не форсировал
[13:55:01] shaggie вошёл(а) в комнату
[13:55:03] <bobry> все нафик, никакой ленивости by default теперь — везде будут строгие паттерны и строгие поля у типов
[13:57:01] <gds> про цепочку -- понял.
Так эта, а можно же переопределить эту modify там, где используете, добавив строгости, хотя бы чтобы проверить, в этом ли дело.
[13:57:38] <bobry> gds: уже проверил, заменил modifyTVar на строгую версию
[13:57:43] <bobry> никаких утечек больше
[14:01:06] tilarids вышел(а) из комнаты
[14:03:37] <gds> сбюфемхеть можно.
[14:15:02] Typhon вышел(а) из комнаты
[14:36:04] <gds> доставляют:
"Давно когда-то весь IO был ленивым по умолчанию.  Это было гораздо интереснее. А щщаас..."
я аж представил себе эту интересность и вспомнил китайское проклятие (видимо, переформулированное): "чтоб тебе жить в интересные времена".
[14:36:48] <bobry> это где такое?
[14:37:17] <gds> про "давно" -- в приватном разговоре.
[14:40:55] tilarids вошёл(а) в комнату
[14:44:30] f[x] вышел(а) из комнаты: Computer went to sleep
[14:44:38] f[x] вошёл(а) в комнату
[14:45:15] tilarids вышел(а) из комнаты: Replaced by new connection
[14:45:17] tilarids вошёл(а) в комнату
[14:45:31] f[x] вышел(а) из комнаты
[15:17:35] Andrey Popp вошёл(а) в комнату
[15:25:51] <bobry> gds: хорошо что ты не сидишь в haskell@cjr
[15:26:17] <bobry> мне там пишут что то на что я наткнулся сделано ленивым для консистентности
[15:26:18] <bobry> фак е
[15:55:59] <gds> ужоснах.
[16:01:13] bobry вышел(а) из комнаты
[16:03:22] letrec вошёл(а) в комнату
[16:26:14] ftrvxmtrx вышел(а) из комнаты
[16:26:45] ftrvxmtrx вошёл(а) в комнату
[16:27:55] ftrvxmtrx вышел(а) из комнаты
[16:34:53] ftrvxmtrx вошёл(а) в комнату
[16:36:22] bobry вошёл(а) в комнату
[16:36:56] bobry вышел(а) из комнаты
[16:43:48] bobry вошёл(а) в комнату
[16:53:45] tilarids вышел(а) из комнаты
[17:01:40] bobry вышел(а) из комнаты
[17:07:03] shaggie вышел(а) из комнаты
[17:08:45] Typhon вошёл(а) в комнату
[17:36:04] f[x] вошёл(а) в комнату
[18:16:58] bobry вошёл(а) в комнату
[18:26:19] tilarids вошёл(а) в комнату
[18:26:39] tilarids вышел(а) из комнаты
[18:26:52] tilarids вошёл(а) в комнату
[18:44:35] <bobry> 'Strictness analysis sometimes does wonderful things; for example it is very good at optimising fac'
[18:44:40] <bobry> (c) HaskellWiki
[18:44:43] <bobry> показательно
[18:55:09] <Kakadu> короче ты ещё больше уверился что ленивость не нужна?
[18:55:28] <Kakadu> повсеместная ленивость*
[19:11:53] <bobry> фик знает, пока что больше проблем от нее
[19:12:05] <bobry> меня вон в х-ль чатике убеждают что лики легко ищутся
[19:52:45] Andrey Popp вышел(а) из комнаты
[20:11:22] Sun][ вошёл(а) в комнату
[20:57:50] tilarids вышел(а) из комнаты
[21:21:15] letrec вышел(а) из комнаты
[21:47:43] tilarids вошёл(а) в комнату
[21:47:44] tilarids вышел(а) из комнаты
[21:47:51] tilarids вошёл(а) в комнату
[22:44:37] tilarids вышел(а) из комнаты
[22:56:48] tilarids вошёл(а) в комнату
[23:12:18] ermine вышел(а) из комнаты
[23:13:48] shaggie вошёл(а) в комнату
[23:17:42] tilarids вышел(а) из комнаты: Replaced by new connection
[23:17:45] tilarids вошёл(а) в комнату
[23:20:10] <gds> bobry: я понял, почему тебя так убеждали, в том числе.  По этой же причине меня периодически убеждают, что сишечька и плюсеки идеальны для программирования, и больше ничего не нужно, показывая исходники на пару сотен строк кода максимум.
грубо говоря, "все, кто ниже и выше меня -- ахтунги".
[23:21:43] <bobry> у нас уже 2k+, и это только "прототип" проекта
[23:21:52] <bobry> LOC имеется вивду
[23:22:24] <gds> это не "уже", это дофига.  Счастливой ..ли вам :)
[23:23:25] <bobry> ну да, только пора переходить в актив
[23:24:01] <bobry> благо я уговорил народ не писать серверную часть на х-ле, всю грязную работу будет делать э-г