Objective Caml - Понедельник, 28 ноября 2011

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 28 ноября 2011< ^ >

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

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

GMT+4
[00:26:27] komar вышел(а) из комнаты
[00:26:47] komar вошёл(а) в комнату
[00:33:32] ftrvxmtrx вышел(а) из комнаты
[00:38:12] ftrvxmtrx вошёл(а) в комнату
[00:38:41] komar вышел(а) из комнаты
[00:38:49] komar вошёл(а) в комнату
[00:45:57] komar вышел(а) из комнаты
[00:46:16] komar вошёл(а) в комнату
[00:52:40] <gds> бумажный русский tapl: http://ru-lambda.livejournal.com/133077.html
[00:53:54] mrm вышел(а) из комнаты
[00:57:16] ermine вышел(а) из комнаты
[01:00:53] <Typhon> а у меня уже неделю есть :P
[01:00:57] <Typhon> или даже чуть больше
[01:13:25] komar вышел(а) из комнаты
[01:13:56] komar вошёл(а) в комнату
[01:14:06] komar вышел(а) из комнаты
[01:14:57] komar вошёл(а) в комнату
[01:15:15] komar вышел(а) из комнаты
[01:15:25] <gds> неплохо.  Только лично меня жаба поддавливает слегка.  Но, вдруг, кому в чятике захочется заказать.
[01:15:59] komar вошёл(а) в комнату
[01:42:42] komar вышел(а) из комнаты
[01:43:36] komar вошёл(а) в комнату
[01:43:37] komar вышел(а) из комнаты
[01:44:38] komar вошёл(а) в комнату
[01:52:33] ftrvxmtrx вышел(а) из комнаты
[01:59:59] Kakadu вышел(а) из комнаты
[02:03:10] Typhon вышел(а) из комнаты: Replaced by new connection
[02:03:11] Typhon вошёл(а) в комнату
[02:56:50] ygrek вышел(а) из комнаты
[03:12:40] ygrek вошёл(а) в комнату
[03:17:11] Typhon вышел(а) из комнаты
[03:36:50] ygrek вышел(а) из комнаты
[06:40:20] komar вышел(а) из комнаты
[06:40:52] komar вошёл(а) в комнату
[07:01:51] mrm вошёл(а) в комнату
[07:11:05] komar вышел(а) из комнаты
[07:11:14] komar вошёл(а) в комнату
[07:11:45] komar вышел(а) из комнаты
[07:12:18] komar вошёл(а) в комнату
[07:26:50] komar вышел(а) из комнаты
[07:27:09] komar вошёл(а) в комнату
[07:28:10] komar вышел(а) из комнаты: Replaced by new connection
[07:28:10] komar вошёл(а) в комнату
[08:17:28] ermine вошёл(а) в комнату
[09:48:18] bobry вышел(а) из комнаты
[09:51:15] bobry вошёл(а) в комнату
[11:37:37] ftrvxmtrx вошёл(а) в комнату
[11:42:47] ygrek вошёл(а) в комнату
[11:53:36] ftrvxmtrx вышел(а) из комнаты
[11:55:54] ftrvxmtrx вошёл(а) в комнату
[12:12:35] bobry вошёл(а) в комнату
[13:13:02] bobry вышел(а) из комнаты
[13:41:33] ygrek вышел(а) из комнаты
[13:48:22] bobry вошёл(а) в комнату
[14:18:32] shaggie вошёл(а) в комнату
[15:21:03] komar вышел(а) из комнаты
[15:21:25] komar вошёл(а) в комнату
[15:23:07] komar вышел(а) из комнаты
[15:23:23] komar вошёл(а) в комнату
[15:23:23] komar вышел(а) из комнаты
[15:23:26] Typhon вошёл(а) в комнату
[15:24:45] komar вошёл(а) в комнату
[15:45:35] mrm вышел(а) из комнаты
[15:45:45] mrm вошёл(а) в комнату
[15:55:57] ftrvxmtrx вышел(а) из комнаты
[15:56:09] ftrvxmtrx вошёл(а) в комнату
[16:12:27] ftrvxmtrx вышел(а) из комнаты
[16:12:35] ftrvxmtrx вошёл(а) в комнату
[16:25:35] ygrek вошёл(а) в комнату
[16:35:40] komar вышел(а) из комнаты
[16:36:26] komar вошёл(а) в комнату
[16:48:06] klapaucius вышел(а) из комнаты
[16:48:42] bobry вышел(а) из комнаты
[16:49:31] bobry вошёл(а) в комнату
[17:03:03] ygrek вышел(а) из комнаты
[17:07:28] mrm вышел(а) из комнаты
[17:22:13] bobry вышел(а) из комнаты
[17:22:31] bobry вошёл(а) в комнату
[17:30:00] bobry вышел(а) из комнаты
[17:33:21] bobry вошёл(а) в комнату
[18:32:02] ftrvxmtrx вышел(а) из комнаты
[18:32:07] ftrvxmtrx вошёл(а) в комнату
[18:44:32] Kakadu вошёл(а) в комнату
[18:57:36] <gds> тут с одним ахтунгом беседовали про stm, и интересно, есть ли такое дело под lwt?  реализуется ведь несложно, но, с другой стороны, никому нахрен не нужно.
[19:02:03] komar вышел(а) из комнаты: Logged out
[19:02:08] komar вошёл(а) в комнату
[19:10:32] <ermine> о, кто-то заговорил
[19:15:48] <gds> итак, тут -- http://paste.in.ua/3367/ -- мы определяем информацию о типе "список".  Что же тут необычного: 1. не создаём никакого описания типа, наподобие [Nil | Cons of ..], вместо этого указываем просто "тип -- как бы sum type, который можно разрушить так-то", однако, на вход пойдёт именно list 'a, классический.  2. переопределяем сравнение так, чтобы, независимо от имён конструкторов (List.{nil,cons}), сравнение шло так, чтобы пустой список (nil) был всегда меньше cons-ячейки списка.  3. указываем, что, несмотря на имена конструкторов и sum type, список надо показывать в виде "[elem1; elem2; ...; elemN]", а не как нормальные sum types по умолчанию, "List.cons elem1 (List.cons elem2 List.nil)" (в случае, если пользователь new List.ti ti_elem не переопределил show так, как ему вздумается, через опциональный аргумент ?show:(list 'a -> string)).
[19:18:30] <gds> (там кое-какая опечатка, но непринципиально; с другой стороны, правильное тут: http://paste.in.ua/3368/ )
[19:19:44] <ermine> тебе бы сразу в свой жж посты такие плевать
[19:26:50] <gds> конкретно это -- не в жж, но в http://gdsfh.dreamwidth.org/14757.html
[19:28:38] <ermine> тоже годится
[19:34:25] komar вышел(а) из комнаты: Logged out
[19:34:30] komar вошёл(а) в комнату
[19:40:59] ftrvxmtrx вышел(а) из комнаты
[19:41:05] ftrvxmtrx вошёл(а) в комнату
[19:42:20] <Kakadu> gds: первая непонятка что бросается в глаза: "List.0" "List.1" и "List.nil" "List.cons".  Ты подразумевал что сознательный читатель полезет в репку?
[19:43:24] <f[x]> чё там кути - готово?
[19:45:56] <gds> Kakadu: первая непонятка решается п.1 ниже: "1. не создаём никакого описания типа, наподобие [Nil | Cons of ..],  вместо этого указываем просто "тип -- как бы sum type, который можно  разрушить так-то", однако, на вход пойдёт именно list 'a, классический."
[19:46:34] <gds> Kakadu: в рантайме тип разрушается, как будто бы это какой-то sum type с указанными конструкторами.  А почему List.{0,1} -- это уже п.2.
[19:47:44] <Kakadu> Видимо я к вечеру набегался по городу, похтому понтней не стало
[19:48:41] bobry вышел(а) из комнаты
[19:49:10] <Kakadu> не очень понятно как какие-то строки связаны с типами.
[19:49:36] <gds> Kakadu: вот примеры того, как можно сделать описание типа option 'a, только тут разрушаются в честные "None" и "Some": http://paste.in.ua/3370/
[19:50:06] <gds> строки связаны так, что при разрушении типа пользователь указывает, как именно разрушается данный sum type на его конструктор и его аргументы.
[19:58:56] <Kakadu> f[x]: ну я научился порождать код с наследованием, чтобы он не крешился. Осталось порождать так, чтобы он компилися )
[20:07:15] komar вышел(а) из комнаты
[20:09:00] komar вошёл(а) в комнату
[20:20:12] <Kakadu> f[x]: а что ты иселл ввиду когда говорил мне вчера макрос на вызов функции переписать? Я там имя класса макросу передаю, и меня это смущает
[20:21:07] <f[x]> не помню, но макрос стрёмный какой-то
[20:21:14] <f[x]> можно темплейтную функу ющать
[20:21:53] <Kakadu> угу, и ещё туда метапрограммирование на темплейтах прикрутить каким-нить боком
[20:36:38] ftrvxmtrx вышел(а) из комнаты
[20:38:53] <Kakadu> Ну вроде как-то так будет с шаблонами: http://paste.in.ua/3372/
[21:01:40] ad1862 вошёл(а) в комнату
[21:06:06] <ad1862> gds: STM под кемл http://sourceforge.net/projects/cothreads/
[21:06:29] <gds> ну и вот, в плане literate programming получается что-то наподобие http://paste.in.ua/3373/ .  Коряво, но для отладки годно.  Потом как-нибудь научу генерить более типизированное, пригодное как для рантайм-интроспекции в каком-нибудь гуе, так и для Format.
[21:08:06] <gds> ad1862: это zheng li делал, оно древнее жутко, и не знаю, поддерживается ли, и вообще, надо на lwt.
[21:10:45] <Typhon> есть папира про "stm in pure haskell". там в качестве строительных блоков, емнип, MVar'ы всякие и чаны, аналоги которых в lwt есть
[21:12:01] <gds> Typhon: угу, кажется даже именно это читал.  потому и говорю "реализуется несложно".  и поэтому и спрашиваю, нужно ли оно кому вообще :)
[21:37:48] <gds> кажется, х-исты поняли, что память таки течёт, и где -- в идиотоматическом коде!  http://ru-lambda.livejournal.com/133369.html#comments
[21:50:34] <ad1862> в Clean меньше утечек должно быть, без лени же
[21:51:51] komar вышел(а) из комнаты: Logged out
[21:51:56] komar вошёл(а) в комнату
[21:52:12] ermine вышел(а) из комнаты
[21:52:26] ad1862 вышел(а) из комнаты
[21:52:48] shaggie вышел(а) из комнаты
[22:05:16] ygrek вошёл(а) в комнату
[22:11:44] komar вышел(а) из комнаты
[22:12:15] komar вошёл(а) в комнату
[22:29:16] Typhon вышел(а) из комнаты
[22:57:51] shaggie вошёл(а) в комнату
[22:59:07] ad1862 вошёл(а) в комнату
[23:01:14] <ad1862> как поставили хаскель на llvm (2010г) и что из этого вышло: http://donsbot.wordpress.com/2010/02/21/smoking-fast-haskell-code-using-ghcs-new-llvm-codegen/
[23:17:05] ad1862 вышел(а) из комнаты
[23:48:48] komar вышел(а) из комнаты
[23:49:20] <Kakadu> скажите чтонить умное: http://paste.in.ua/3374/raw/
[23:49:31] komar вошёл(а) в комнату
[23:51:17] <gds> Kakadu: cat source | cpp | less
[23:53:27] <Kakadu> http://paste.in.ua/3375/ QSpinbox_twin.cpp
[23:54:27] <Kakadu> http://paste.in.ua/3376/ QSpinbox_twin.h
[23:54:48] <gds> это не результат работы препроцессора.
[23:55:07] <Kakadu> ща
[23:55:24] <gds> ошибки из пасты 3374 -- очень вероятно из-за какого-то взаимодействия препроцессора, камловских макросов, и, может, плюсов.
[23:57:00] <gds> кстати про bson, тут есть http://ubjson.org/
[23:57:04] <Kakadu> http://paste.in.ua/3377/