Objective Caml - Четверг, 9 июня 2011

Objective Caml

ocaml@conference.jabber.ru

Четверг, 9 июня 2011< ^ >

gds установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Светлое будущее -- http://camlunity.ru/ | Нефильтрованное настоящее -- https://github.com/camlunity/kamlo_wiki | Портер прошлое -- http://gdsfh.dyndns.org/kamlo/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв, move on

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

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

GMT+4
[00:07:52] Kakadu вышел(а) из комнаты
[00:09:46] Typhon вошёл(а) в комнату
[00:15:25] arhibot вошёл(а) в комнату
[00:30:30] <ygrek> http://www.cs.cornell.edu/Courses/cs3110/2010sp/lecturenotes.asp
[00:43:26] avysk вошёл(а) в комнату
[00:44:52] Аmitsаr вошёл(а) в комнату
[00:45:43] <Аmitsаr> бежал из плена гыгы
[00:45:51] avysk вышел(а) из комнаты
[00:46:15] <Аmitsаr> через берингов пролив
[00:46:30] <Аmitsаr> с алеутами
[00:54:36] <zert> кто?
[00:55:01] <Аmitsаr> у иблиса тоже много талантов
[00:55:44] Аmitsаr вышел(а) из комнаты: QIP Infium: Спокойное общение
[00:56:31] <Typhon> "если на мне надет кандибобер"
[00:56:59] <zert> вы о чём?
[00:58:11] <Typhon> я процитировал кусок из боянистого ролика, где поциентка была с шизофазией и тоже несла чушь. как бы намекая на схожесть этого амистара с ней
[00:58:48] <zert> я не видел ролик
[00:58:51] <zert> покежь
[01:01:16] arhibot вышел(а) из комнаты
[01:38:39] zert вышел(а) из комнаты
[01:46:49] adept вошёл(а) в комнату
[01:58:06] adept вышел(а) из комнаты
[01:58:10] adept вошёл(а) в комнату
[01:59:05] ygrek вышел(а) из комнаты
[02:14:21] adept вышел(а) из комнаты
[02:14:25] adept вошёл(а) в комнату
[02:44:11] Typhon вышел(а) из комнаты
[03:25:02] adept вышел(а) из комнаты
[03:25:31] adept вошёл(а) в комнату
[03:35:30] adept вышел(а) из комнаты
[05:28:21] klapaucius вышел(а) из комнаты
[07:17:38] f[x] вышел(а) из комнаты
[07:41:24] f[x] вошёл(а) в комнату
[08:02:47] f[x] вышел(а) из комнаты
[08:13:27] f[x] вошёл(а) в комнату
[09:04:20] gds вошёл(а) в комнату
[10:14:02] ermine вошёл(а) в комнату
[10:39:24] ftrvxmtrx вышел(а) из комнаты
[11:12:15] Typhon вошёл(а) в комнату
[11:36:08] ftrvxmtrx вошёл(а) в комнату
[11:52:50] klapaucius вошёл(а) в комнату
[11:59:41] komar вышел(а) из комнаты: Replaced by new connection
[11:59:42] komar вошёл(а) в комнату
[12:48:05] Kakadu вошёл(а) в комнату
[13:54:49] <Kakadu> может уже проскакивало тут, но выложили шпаргалку по камлу: http://www.ocamlpro.com/code/2011-06-03-cheatsheets.html
[14:38:09] gds вышел(а) из комнаты
[15:16:57] Digimmortal вошёл(а) в комнату
[15:26:37] zert вошёл(а) в комнату
[15:28:58] Kakadu вышел(а) из комнаты: Replaced by new connection
[15:28:58] Kakadu вошёл(а) в комнату
[15:35:23] komar вышел(а) из комнаты: Replaced by new connection
[15:35:24] komar вошёл(а) в комнату
[16:18:00] ftrvxmtrx вышел(а) из комнаты
[16:19:14] ftrvxmtrx вошёл(а) в комнату
[16:22:28] gds вошёл(а) в комнату
[16:49:12] Kakadu вышел(а) из комнаты
[16:49:13] Kakadu вошёл(а) в комнату
[16:52:41] <gds> "Lambda is used to connote homosexuality and as an international symbol of gay rights"
чото не ок.
[16:55:22] <Typhon> там дальше по ссылке интересно: """Eventually, though, the GAA headquarters was torched by an arsonist, destroying not only the building but all of the organization's records, and the movement never recovered from the loss. The symbol, however, lived on."""
[16:56:33] <f[x]> lambda.org <- в букмарки
[16:56:44] <Typhon> как я понял — лямбда — символ боевых геев
[16:57:30] <f[x]> казалось-бы, при чём тут half-life
[16:57:54] Kakadu вышел(а) из комнаты: Replaced by new connection
[16:57:55] Kakadu вошёл(а) в комнату
[17:36:43] <zert> нихуя они охуели
[17:37:14] <zert> у них ещё и джава на саете
[17:37:17] <zert> ну реально пидорасы
[17:39:48] <gds> zert: раньше были сомнения, или что?
[17:40:33] <zert> да, собсно, и не было
[18:06:27] <ermine> какие вы все тут озабоченные
[18:07:30] <gds> я не озабоченный, но...  греческий алфавит законтачен.
[18:07:35] <Digimmortal> за честное имя лямбды болеют
[18:08:32] <zert> КМПКВ, ядерным ударом запретим использование букв греческого и прочих алфавитов в непотребных целях
[18:10:12] <ermine> zert: а кириллицу - можно?
[18:11:13] <zert> нет
[18:11:23] <zert> иероглифами можно
[18:11:29] <zert> а алфавитами нельзя
[18:12:11] Kakadu вышел(а) из комнаты: Replaced by new connection
[18:12:12] Kakadu вошёл(а) в комнату
[18:15:03] <gds> вот так мы в очередной раз Запретили Им.  И сели пить чай с конфетами.
[18:23:56] ftrvxmtrx вышел(а) из комнаты
[18:42:43] <ermine> итераты - такая тоска!
[18:43:07] ermine прочитала половину талмуда кисилева про итераты, нифига не понятно из-за х-ля
[18:44:07] <ermine> он в начале талмуда бубнил, что нифига не понятно в коде когда пишешь по-обычному, а новый метод типа понятнее, врёт он всё
[18:44:33] <f[x]> такъ!
[18:44:43] <gds> не врёт.  простые вещи одинаково понятны.  дело в том, что во второй половине он говорит про вещи сложные.
[18:45:18] <gds> если проблема в х-е, то есть, чорт возьми, окамловский порт.  Концепции оттуда -- код и каменты отсюда.
[18:47:04] <ermine> gds: когда он пишет чота типа map . f $ abc, то с ходу же нифига не понятно, чо это такое!!!
[18:48:37] <zert> что читаете? дайте ссылку
[18:48:57] <ermine> пдфы с сайта киселева
[18:49:10] <ermine> хреновое снотворное на ночь
[18:49:12] <gds> ermine: ты выразила в том числе мои претензии к х-ю.  Понапишут непонятных закорючек и гордятся.  Но я сделал полезное дело, перевёл их в более понятные камлоедам закорючки.
[18:50:14] <zert> а что за сайт киселёва?
[18:50:27] <Typhon> окмиж.орг/фтп
[18:50:31] <ermine> gds: ну вот придеца разбирать его примеры на камле, чтобы понять нахрена он расплодил типов Iteratee, Enumerator, Stream, и еще монады приплетает
[18:51:01] <gds> ещё Enumeratee.  И монады там две.
[18:51:05] <ermine> особенно радуют типы хаскеля типа f :: Iteratee a, надо помнить во что там тип раскручивается
[18:51:36] <zert> мне х-ь больше нравится, чем окамоль
[18:53:56] <f[x]> а мне ermine нравится больше чем zert!
[18:54:35] <ermine> фык
[18:55:23] <ermine> gds: неужели ты еще не написал бАльшую статью про итераты на камле?
[18:56:27] <gds> ermine: не надо помнить, во что он раскручивается: 1. если он реально раскручивается, будет видно match it with [ IE_done ... -> | IE_cont ... -> ], 2. если нет, то проще представлять его чорным-чорным ящиком.
[18:57:36] <gds> ermine: про итераты статью не писал -- ссылку на iteratees.ml проще дать.  А если у кого с инглишем бида, то тут не знаю, что делать.  Переводить -- пока не было настроения.  Может ты переведёшь?  Положим в либу, опубликуем, все дела.
[18:58:43] <ermine> gds: не, в типе прячется функция, а f ::: A a - это какая-то феговина, по морде не скажешь, какие аргументы ей подсовывать надо и что ожидать после прожевывания
[18:59:23] <ermine> gds: помню, как я "осваивала" монады - первый затык был именно с этим связан
[19:00:38] <gds> про аргументы -- факт.  Тоже есть претензии к х-ю и некоторым извращенцам-камлоедам.  Всякие итераты, допустим, не функции, а вот enumerators/enumeratees -- вполне таки да, к печали.  Я в коде пытаюсь как-то отмечать, что это именно функции, но тоже не всегда получается.
[19:04:57] <ermine> да вообще жуткая шняга
[19:05:11] <ermine> надо дочитать таллмудец и разобрать код
[19:14:08] Kakadu вышел(а) из комнаты
[19:41:53] Digimmortal вышел(а) из комнаты
[20:00:52] Kakadu вошёл(а) в комнату
[20:08:26] ermine почитала еще пачку страниц и вовсю зевает
[20:09:05] <ermine> gds: я там дочитала до многоэтажных енумератеев и до сих пор так и не поняла, как сигналят парсеру, что всё, больше ничо не будет
[20:11:39] <ermine> gds: и, надеюсь, твои итераты не переплетены с каой-нить хардварной системой I/O типа lwt или pervasives?
[20:12:49] <gds> ermine: буду в терминах ocaml-iteratees.  Тот, кто даёт чанки внутреннему итерату, передаёт ему EOF None в случае нормального завершения и EOF (Some exn) в качестве ошибки.  Если есть enumeratee, то он, будучи итератом (как бы внешним), кушает EOF в качестве сигнала ему, и в большинстве случаев передаёт подобное же значение с типом stream итерату внутреннему.
[20:13:40] <gds> ermine: итераты строятся функтором.  Какое IO подсунешь, такое и будет.  Тип модуля IO смотри в it_Types.ml.
[20:15:38] <ermine> gds: не, это парсера тогда обучать странным типам итератов
[20:16:44] <ermine> gds: насчет функтора - как в pgocaml?
[20:17:07] <ermine> нуланна
[20:17:17] <gds> парсер вполне можно сделать на тех же итератах.
про pgocaml -- не в курсе.
[20:17:25] <ermine> вот хочу парсер, который ничо про итераты не знает
[20:18:24] <gds> итераты можно хорошо комбинировать, и комбинаторы не должны знать типы.
[20:19:04] <gds> точнее, некоторые должны.  но код, использующий комбинаторы, знать не обязан.
[20:44:39] komar вышел(а) из комнаты
[21:45:53] ftrvxmtrx вошёл(а) в комнату
[21:56:33] Kakadu вышел(а) из комнаты
[22:20:14] Typhon вышел(а) из комнаты
[22:23:36] Kakadu вошёл(а) в комнату
[22:34:13] ermine вышел(а) из комнаты
[23:15:21] Typhon вошёл(а) в комнату