Objective Caml - Понедельник, 25 июля 2011

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 25 июля 2011< ^ >

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

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

GMT+4
[00:22:30] arhibot вышел(а) из комнаты
[00:36:41] ermine вышел(а) из комнаты
[01:09:36] Typhon вышел(а) из комнаты
[03:04:52] ftrvxmtrx вышел(а) из комнаты
[04:17:08] komar вышел(а) из комнаты: Replaced by new connection
[04:17:08] komar вошёл(а) в комнату
[04:23:40] komar вышел(а) из комнаты: Replaced by new connection
[04:23:40] komar вошёл(а) в комнату
[05:10:13] komar вышел(а) из комнаты: Replaced by new connection
[05:10:13] komar вошёл(а) в комнату
[05:54:55] komar вышел(а) из комнаты: Replaced by new connection
[05:54:55] komar вошёл(а) в комнату
[06:27:56] delete_ вошёл(а) в комнату
[06:55:08] komar вышел(а) из комнаты
[06:55:31] komar вошёл(а) в комнату
[07:10:24] komar вышел(а) из комнаты: Replaced by new connection
[07:10:24] komar вошёл(а) в комнату
[10:42:02] ermine вошёл(а) в комнату
[10:50:22] Typhon вошёл(а) в комнату
[11:41:56] bobry- вошёл(а) в комнату
[12:32:47] klapaucius вошёл(а) в комнату
[12:48:29] shaggie вошёл(а) в комнату
[13:44:12] ftrvxmtrx вошёл(а) в комнату
[13:45:17] zert вошёл(а) в комнату
[13:47:09] ftrvxmtrx вышел(а) из комнаты
[13:47:28] ftrvxmtrx вошёл(а) в комнату
[13:49:48] gds вошёл(а) в комнату
[13:53:03] ftrvxmtrx вышел(а) из комнаты
[13:53:18] ftrvxmtrx вошёл(а) в комнату
[13:56:23] ftrvxmtrx вышел(а) из комнаты
[13:56:30] ftrvxmtrx вошёл(а) в комнату
[15:00:16] ftrvxmtrx вышел(а) из комнаты
[15:00:16] ftrvxmtrx вошёл(а) в комнату
[15:01:13] delete_ вышел(а) из комнаты
[17:59:24] f[x] вошёл(а) в комнату
[17:59:37] f[x] вышел(а) из комнаты
[18:47:58] Typhon вышел(а) из комнаты
[19:06:37] bobry- вышел(а) из комнаты
[19:44:20] shaggie вышел(а) из комнаты
[20:08:30] ftrvxmtrx вышел(а) из комнаты
[20:08:37] ftrvxmtrx вошёл(а) в комнату
[20:18:17] bobry- вошёл(а) в комнату
[20:29:25] bobry вышел(а) из комнаты
[20:30:04] bobry вошёл(а) в комнату
[20:30:40] klapaucius вышел(а) из комнаты
[20:51:56] <komar> Хочу утилиту для окамла, суть такова: рисует граф типов.
[20:58:25] <ermine> а кто будет вершиной?
[21:01:15] <gds> вершинами будут типы, ясное дело.
[21:01:23] bobry вышел(а) из комнаты
[21:01:59] <ermine> Obj.magic?
[21:02:15] bobry вошёл(а) в комнату
[21:02:16] <ermine> может пора учить agda
[21:03:02] <gds> не Obj.magic.
[21:03:49] <ermine> ну как хочешь :)
[21:04:12] <ermine> но граф из одного string - это скучно
[21:05:06] <gds> type a = int and b = a * string -- тут вполне 4 вершины и 3 ребра
[21:06:03] <gds> komar: http://home.gna.org/oug/ как точка, откуда плясать, не?  Готового не видел.  Но тоже джва года хочу уже.
[21:06:41] <gds> ха, http://home.gna.org/oug/oug_ex6.en.html
[21:07:20] bobry- вышел(а) из комнаты
[21:07:25] ftrvxmtrx вышел(а) из комнаты
[21:08:17] bobry- вошёл(а) в комнату
[21:09:33] bobry вышел(а) из комнаты
[21:10:15] bobry вошёл(а) в комнату
[21:10:39] <ermine> хм, занятная игрушка
[21:28:39] komar вышел(а) из комнаты: Replaced by new connection
[21:28:39] komar вошёл(а) в комнату
[21:28:55] komar вышел(а) из комнаты
[21:30:21] komar вошёл(а) в комнату
[21:30:36] komar вышел(а) из комнаты
[21:41:38] bobry вышел(а) из комнаты
[21:41:44] bobry вошёл(а) в комнату
[21:57:40] <bobry> что то меня тут прямо расплодилось
[21:57:43] <bobry> откуда?
[21:59:59] <gds> без минуса -- Home89D32771, с минусом -- Work16CE62A7.  Так-то!
[22:00:26] <bobry> gds: у тебя только два? О_О
[22:00:50] <gds> в чятике -- да, ещё ermine, zert и я.  всего 5.
[22:01:24] <bobry> а у меня 14 :)
[22:01:30] <bobry> всего
[22:02:17] <gds> перезайду, интересно.
[22:02:22] gds вышел(а) из комнаты
[22:02:35] gds вошёл(а) в комнату
[22:02:53] <gds> опять пять.
[22:04:35] shaggie вошёл(а) в комнату
[22:06:10] <zert> bobry: у тебя пизжин небось?
[22:06:14] <zert> version bobry
[22:06:53] <bobry> ага
[22:07:09] <bobry> 2.9.0
[22:07:37] <zert> давно замечено, что если у кого-то какие-то странные проблемы с жабиром, то у него клиент пизжын
[22:07:45] <zert> совпадения, видать
[22:08:23] <bobry> ну, вариантов немного, в гаджиме у меня периодически возникали сообщения которые нельзя получить
[22:08:27] <bobry> пси просто убог
[22:08:51] <bobry> а empathy, который теперь дефолт в бубунте еще хуже пиджина
[22:09:31] <zert> емакс же
[22:09:49] <bobry> отвлекает от работы jabber.el
[22:10:41] bobry вышел(а) из комнаты
[22:10:49] bobry вошёл(а) в комнату
[22:11:19] <zert> это работа отвлекает от jabber.el
[22:16:40] <bobry> ну или так, в любом случае вместе они плохо совместимы
[22:39:02] ftrvxmtrx вошёл(а) в комнату
[22:57:49] <ermine> и не только пизжин, но еще и гымыл
[22:58:35] <zert> а пизжын+гмыл — вообще дикий ад
[22:59:28] <ermine> не, достаточно одного гмыльного диагноза
[23:00:01] <ermine> слишком уж вещь в себе
[23:00:46] <gds> какие-то странные вещи говорите.  пизжын мой имеет аккаунты на ж.ру и на гмыле, и всё нормально работает.
[23:00:57] <zert> бывает
[23:01:33] <ermine> gds: надо еще любить летать
[23:02:43] <ermine> лётчиков надо мухобойкой бить
[23:03:02] <ermine> как вот этго комара, хотя он не жалуется на плодовитость
[23:03:52] <ermine> кстати, комары - существа бесполезные, ибо кусаются и размножаются только комарихи
[23:04:53] <gds> как ты их друг от друга отличаешь, я бы не смог.
[23:05:25] <bobry> комарихи крупнее?
[23:05:30] <ermine> ну если кусается - значит комариха
[23:05:31] <bobry> gds: комарихи крофь сосут
[23:05:43] <gds> я их как-то не отличаю.
[23:05:46] <bobry> у меня вон полная комната битчез
[23:06:52] <ermine> в сыром лесу живешь?
[23:07:10] <bobry> nicht, в центре города почти что
[23:07:16] <bobry> но летят кровососы на ура
[23:07:32] <bobry> и никакие москитолы, рапторы и прочее их не смущают
[23:07:51] <ermine> ну смотря какой город, говорят, в Рязани они имеются с мая уже
[23:08:21] <bobry> спб, даже не знаю чем их травить уже
[23:08:36] <zert> у нас уже кончились, вроде бы
[23:09:05] <ermine> дак спб - деревня в болотах!
[23:09:27] <bobry> ну это да :)
[23:09:43] <ermine> вот тут все болота осущили в горючие торфянники, комаров почти нет в городе :)
[23:10:40] <bobry> это где такое счастие?
[23:11:01] <ermine> маськва же
[23:11:14] <bobry> от оно что
[23:11:44] <bobry> кстате если кто пропустил -- http://www.reddit.com/r/lambdapuzzles/
[23:12:43] bobry с комбинаторной логикой играется, типы такие страшные в х-ле выводятся
[23:14:02] <ermine> да это хаскильное, любят они завертывать всё в типы и разворачивать их на каждый чих
[23:14:15] <ermine> какие уж комбинаторы это
[23:18:33] <ermine> а вот сводить парсинг до чистого SKI без этих фантиков-типов - им слабО, ибо классы типов реально слабая штука
[23:20:14] <bobry> тут где то статейка пробегала
[23:20:27] <bobry> сравнивающая классы типов и ml-модули
[23:20:50] <ermine> ну я недавно бросала тут
[23:20:58] komar вошёл(а) в комнату
[23:21:05] <ermine> только я ее не стала читать
[23:21:35] <bobry> да-да, видимо я забыл, я осилил половину, из которой у меня создалось впечатлению что они в целом достаточно эквивалентны
[23:21:46] <ermine> ибо неинтересно без прикладства к фирст класс модулям камля
[23:22:22] <bobry> ну кто там первоклассными модулями то пользуется :0
[23:22:31] <bobry> к тому же их если я правильно понимаю нигде кроме камля и нет
[23:23:12] <ermine> та статья появилась намного раньше первоклассных
[23:24:18] <ermine> ну вот надо брать верблюда за рога и осваивать новую концепцию вместо тайпклассов
[23:26:55] <ermine> вот яркий пример слабости тайпклассов - один тип не может иметь несколько инстанций одного и того же класса
[23:27:21] <bobry> где это может быть полезно?
[23:28:10] <ermine> ну у списка в хаскиле пара инстанций в классе аппликатива как минимум
[23:28:47] <ermine> [] и ZipList
[23:29:31] <ermine> и три инстанции как минимум у тьюпла-пары
[23:29:56] <ermine> ну находят где это может быть полезно, у них солюшен один - завертывать в фантики
[23:30:26] <ermine> надо дочитать хаскиль и браться за дело
[23:48:03] <gds> ermine: о, а расскажи про твоё дело на х-е.  Факториал или фибоначчи?
[23:49:06] ftrvxmtrx вышел(а) из комнаты
[23:49:21] ftrvxmtrx вошёл(а) в комнату
[23:52:12] ermine знала, что gds выступит, но не ожидала про математику
[23:52:15] <komar> gds: спасибо.
[23:53:16] <gds> ermine: это арифметика, скорее.  Но я старался.
[23:57:05] <ermine> надо будет узнать чему равна цена заворачивания в модули и динамически распаковывать их в функциях по сравнению с алгеброй