Objective Caml - Суббота, 10 декабря 2011

Objective Caml

ocaml@conference.jabber.ru

Суббота, 10 декабря 2011< ^ >

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

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

GMT+4
[00:00:36] <ermine> gds: ну я бы на камле поцыганила
[00:01:30] ermine уверена, что и второй раз всё сорвется :)
[00:01:38] <gds> bobry: раньше -- был облом из-за того, что два товарища из компании <=7 товарищей оказались совсем не товарищами, а на них были повешены важные дела.  приходилось и пинать их, и за них работать, и вообще наламывать рабочий процесс.  в мае (вроде бы) таки не срослось, а мелочёвку я сам асилил.
[00:03:00] <Kakadu> gds: звучит очень интересно
[00:03:36] <bobry> true
[00:04:49] <gds> ermine: очень даже может быть, что сорвётся.  Но мне нужно знать, кто захочет за камло получать деньги.  Если никто -- будет печально, будем других нанимать.  Ты пойми меня -- я могу либо анализировать/архитектурить/менеджерить/кодить на камле, либо менеджерить что-то другое, потому что сил не хватит, и надо будет вникать в чужеродную архитектуру, ревьюить код на чужеродном языке, и всё такое.
[00:06:46] <ermine> gds: ну я поняла, говорю еще раз - плюсуй меня, может еще заставим Kakadu и себя приплюсовать
[00:06:52] <gds> Kakadu: ага, на то и рассчитывали люди чуть выше меня, когда недавно предложили подобный вариант.  Конечно, им нравится мой код в плане ошибкозащищённости (пару непростых вещей работают почти год без единого глюка -- трейдмарк, почти!), и рассчитывают, что на окамле многие будут кодить надёжно, ну или хотя бы рассчитывают на мой код-ревью.
[00:07:12] ermine выдернула пырешко из Kakadu, шоб скорее сдал липлом
[00:07:20] <gds> ermine, bobry, Kakadu, вас учёл.
[00:08:00] <Kakadu> ermine: можешь за меня его сделать)
[00:08:00] <gds> мне просто надо предъявить -- "есть я и ещё N камло#$ов, и мы сможем сделать [...]".  расклад такой.
[00:08:57] <gds> будет это или сорвётся, или вам тоже будет желательно вникнуть в аналитику, или в архитектуру -- пока неизвестно.  вообще никак.  я сцуко честен.
[00:09:42] <ermine> Kakadu: какая еще аналитика-строительство?
[00:09:48] <ermine> ой
[00:09:52] <Kakadu> ermine: )
[00:11:01] <ermine> Kakadu: ну аналитики дофига разной
[00:11:44] <ermine> можно анализировать текст, вот про это я бы не возражала почитать чонить
[00:13:29] <ermine> пора бечь на горизонтальную, а я еще не успела за сегодня почитать какую-нить научную бумагу...
[00:13:43] <gds> в общем, кроме вышеперечисленных людей, если кто захочет -- пишите в жаббер или в gdsfh1 at gmail dot com, мне нужно знать.  чем больше людей -- тем больше вероятность, что этот проект будет на камле.  вы понели.
[00:13:51] komar вышел(а) из комнаты
[00:16:05] <ermine> gds: ты еще f[x] не спрашивал
[00:16:19] <ermine> и тифона
[00:17:53] <bobry> gds: а сколько времени ты планируешь на человека? или фултайм?
[00:17:55] <Kakadu> может ещё торкве пнуть, хотя он не заходит
[00:17:56] <gds> ermine: с ними у меня всегда отдельные разговоры, я их обязательно спрошу.  эти люди очень помогли/помогали мне, потому так.
[00:19:29] <gds> bobry: наверное не фуллтайм, удалёнка будет очень ок -- я буду ПМить, мне оно нормально (если не распесдолы окажутся).  кроме того, у меня есть уверенность, что больше 3..4 часов уверенной мозговой нагрузки выдерживать в день очень сложно, поэтому фуллтайм мне кажется глупым делом.
[00:20:33] <bobry> как то так ага, ну если что -- мне это интересно :) не знаю стоит ли писать на емейл
[00:20:44] <ermine> bobry: ты бы лучше спросил, сколько строк кода в день надо сочинять, а то еще потребуют 500
[00:20:53] <gds> bobry: тебе -- не стоит, я тебя найду и так, хехехе
[00:21:07] <bobry> :)
[00:21:09] <gds> ermine: ну бредятина же про строки.
[00:21:16] <bobry> ermine: у тебя в конторе за строки плотют?
[00:21:59] <ermine> gds: да это всё тот же разговор, что был перед первым призывом
[00:22:09] <gds> ermine: да!
[00:22:51] <ermine> gds: у меня конторы-то нет
[00:23:16] <Kakadu> в универе говорят что норма --- 80 стрк в день
[00:23:27] <Kakadu> но не настаивают
[00:23:35] <ermine> а если бы был нужен чонить типа xsd, то с ним вяло пошло бы, примерно по 1 строчке в день
[00:24:14] <gds> ermine: дело в том, что задачи меняются, а люди остаются.  людям (мне) надо решать задачи.  как это делать?  многое решается вопросами "подправить конфиг, поставить утилитку, заюзать мощи" -- это ок.  и что делать, когда другие задачи набигают?  на баше скриптик написать?
[00:25:29] <ermine> gds: лично для меня нормальная задача - это прочитать груду научных бумажек, перегуглить весь интернет и убить на это пару месяцев, а только после этого написать что-то еле шевелящеестя, но жутко интересное...
[00:25:31] <gds> Kakadu: я на окамле по >=1000 строк в день выдаю с типизацией и тестированием.  эта "норма" -- для запутанных систем, где типизации нет, а тестирование долгое, и часто ведёт к фейлам.
[00:26:14] <ermine> Kakadu: я где-то видела требование на С++ строгать 200 строк/сут
[00:26:25] <Kakadu> gds: следует учесто что у тебя особый стиль писать по токену на строку (утрирую), но ты крут
[00:26:35] <Kakadu> учесть*
[00:26:54] <Kakadu> ermine: мой препод сказал бы что это невыполнимые требования
[00:27:30] <gds> ermine: не могу понять.  будет дело, важное с точки зрения реаллайфа.  будет специфика -- без неё никуда.  её будет много.  будут манулы, будет архитектура какая-то.  что, неинтересно вообще?
[00:28:53] <gds> Kakadu: я свой сраный стиль знаю, уменьшаю пропорционально, где-то на 20%.  кроме того, учитываю не новый код, но и исправления, но их делю на два, и считаю по строкам -- "минус строка плюс строка" = "одна строка результата".  но и эти подсчёты сосут.
[00:30:17] <ermine> ну верно всё
[00:31:38] <Kakadu> gds: я обидеть не хотел...
[00:31:55] <ermine> gds: ты эта, не принимай так близко к своему сердцу мое ерничание
[00:31:59] <gds> Kakadu: ты и не обидел никак, я знаю же свой сраный стиль!
[00:32:08] <gds> ermine: ни в коем.  ты клёвая ваще!
[00:32:46] <gds> то, что вы все вместе nih не можете доделать -- это мелочи.  главное, что в целом хорошие, честно.
[00:34:37] <gds> (nih и я тоже доделать не могу, если чо.)
[00:35:04] ermine не видела nih и видимо не скоро увидит, а всё потому, что до сих пор не сделала markdown на камлунити, иначе бы gds не унесло бы в сторону гугля
[00:35:52] <gds> ermine: нет же, маркдаун и интерактивное редактирование -- разные вещи, никто бы не смог сделать интерактивный маркдаун.
[00:36:09] <Kakadu> почему?
[00:36:28] <gds> Kakadu: потому что "бессмысленный и беспощадный".
[00:36:56] <Kakadu> gds: бессмысленный и беспощадный у меня ассоциируется только с Пушкиным
[00:37:18] <gds> пушкинд был хороший паэд.
[00:37:40] <Kakadu> это было про русский бунт в Капитанской дочке
[00:37:45] <ermine> а в чем суть интерактивного редактирования?
[00:37:55] <ermine> может речь про многоюзерное?
[00:38:09] <Kakadu> ermine: многоюзерное одновременное
[00:38:47] <ermine> а
[00:39:02] <ermine> wave же похоронили уже
[00:39:58] <gds> google wave?  "ненужен"
[00:41:40] <ermine> а другого и не было
[00:42:23] <gds> кстати, лашары из камл-листа не прочитали полностью лицензию на окамл и говорят, что она хреновая.  ну что я им могу сделать?  оверблд с патчами проходит по лицензии, а дохрена форков мне не нужно.  сосать в тряпочку? :)
[00:52:09] <ad1862> Js_of_ocaml под V8 в среднем быстрее байткода http://ocsigen.org/js_of_ocaml/manual/performances
[00:53:30] f[x] вошёл(а) в комнату
[00:53:30] f[x] вышел(а) из комнаты
[00:55:04] <gds> ad1862: это ещё один момент в плюс окамлу, так как предстоит гуйня, в том числе для браузеров.  отправил ссылку "наверх".
[00:55:18] f[x] вошёл(а) в комнату
[00:56:13] <f[x]> в чате пятница
[00:58:07] <ermine> уже давно суббота, мы все жестоко нарушаем шаббат
[00:58:46] <ad1862> а здесь есть иврэи ) ?
[00:58:48] <gds> таки да, пятничный заход солнца уже был, значит шаббат.
с другой стороны, не нарушаем.
[01:01:21] <ad1862> gds: про движуху читал, с удовольствием бы влился в ряды, но опыта в камле ...
[01:02:05] <ermine> еще один голодный чувак
[01:02:28] <ad1862> у нас вся страна такая
[01:02:53] <gds> ad1862: заодно научишься, выделим простое.  мне важно знать, сколько людей в целом.  учитываю тебя.
[01:03:02] <ermine> таджикистан чтоль? :)
[01:03:11] <ad1862> бульбастан
[01:03:29] ermine почти угадала
[01:03:58] <ad1862> средняя ЗП в городе 120уе
[01:05:48] <gds> ad1862: пол-кабана спасают хоть?
[01:06:02] Андрей Ковбович вошёл(а) в комнату
[01:06:19] <ad1862> gds:  эт чё ?
[01:08:04] <gds> ad1862: это у белорусских ленточных и кольчатых френдов заметил.  у них там есть такой мем, связанный с тем, что пол-кабана (у предков в селе, в багажнике машины, на балконе) помогает жить на <200$ в месяц.  это магия.
[01:08:26] <f[x]> а целый кабан выводит страну из кризиса?
[01:09:07] <gds> целого нет.  иначе бы, наверное.
[01:10:50] <ad1862> gds: понял, если серьёзно то и в сельхозе щас трудно, кабана еще кормить надо :)
[01:12:10] <gds> ad1862: это понятно, спорить глупо.  но, если получится выкормить хотя бы пол-кабана, можно на что-то рассчитывать.
[01:14:13] <ad1862> gds: только пол-кабана никому не удавалось ыкормить, но наш главный агроном задумал хитрый план..
[01:14:23] Andrey Popp вошёл(а) в комнату
[01:15:04] <ermine> все бегут в нерезиновую, некому уже сельхозом заниматься
[01:15:05] Typhon вошёл(а) в комнату
[01:16:28] <Andrey Popp> gds, f[x]: можно меня в мемберы здесь, чтобы капчу не вводить?
[01:16:32] <Typhon> gds, ygrek, выдайте Andrey Popp учаснега позязя :-)
[01:16:41] <gds> минутку
[01:17:47] gds' вошёл(а) в комнату
[01:17:59] <f[x]> ха ха, я первый!
[01:18:06] <Andrey Popp> f[x]: thanks!
[01:18:16] gds' вышел(а) из комнаты
[01:18:28] <f[x]> gds зачехлил ткаббер :)
[01:18:30] gds груфняво хнык хнык
[01:18:35] <ermine> о, ткаббер православный
[01:20:50] <f[x]> админа тул корявонравный
[01:23:59] ermine полюбовалась на все свои два десятка assert в одном коде, уу, еще ни разу столько не было
[01:24:23] <gds> и этот тул ты запустил,
в челена чела превратил!
[01:25:14] <gds> ermine: у меня это одно из средств отладки.  сейчас как раз стродаю над сраным глубоким ассертом.  ну это лучше, чем лажа в рантайме.
[01:25:26] <gds>   ... у незнакомых людей.
[01:26:09] <ermine> gds: а у меня не отладка, а средство убития варнингов камла про отсутствие | _ -> матчинга
[01:26:59] <ermine> в архитектуре PushDown парсера не может быть иных вариантов, что лежит в стэке, но этого не объяснишь компилятору
[01:28:30] <ermine> таки спааать
[01:28:51] ermine вышел(а) из комнаты
[01:31:17] <Kakadu> пните меня завтра, чтобы я осмыслил какой монстр загораживает мне путь в lablqt
[01:31:43] <gds> Kakadu: пни f[x] завтра, чтобы он осмыслил спеку на nih, тогда пну тебя :]
[01:31:55] <Kakadu> оке
[01:33:19] ad1862 вышел(а) из комнаты
[01:34:06] Typhon вышел(а) из комнаты
[01:34:08] Typhon вошёл(а) в комнату
[01:34:17] f[x] продумал на завтра хитрый план по перетаскиванию шкафов и невключению компа
[01:34:40] <gds> хитрый план такой хитрый!
[01:43:17] Kakadu вышел(а) из комнаты
[01:51:01] Typhon вошёл(а) в комнату
[01:53:00] Typhon вышел(а) из комнаты
[01:55:15] Андрей Ковбович вышел(а) из комнаты
[02:00:54] Typhon вошёл(а) в комнату
[02:18:50] Typhon вышел(а) из комнаты
[02:33:29] f[x] вышел(а) из комнаты: Replaced by new connection
[02:33:31] f[x] вошёл(а) в комнату
[02:40:14] f[x] вышел(а) из комнаты: Replaced by new connection
[02:40:14] f[x] вошёл(а) в комнату
[02:49:32] Andrey Popp вышел(а) из комнаты
[03:07:52] f[x] вышел(а) из комнаты
[03:07:56] Typhon вышел(а) из комнаты
[03:38:35] <gds> о, нашёл случай, когда double coercion нужно не из-за предупреждения компилятора, а из-за его догадок про дальнейший тип выражения.  смысл в том, что "(v :> t)" неявно приписывает значению v тип t, и, если тип v был приватным, далее у него оказывается тип t, не приватный.
интересно, не бага ли.
[03:40:35] gds вышел(а) из комнаты
[08:31:57] letrec вышел(а) из комнаты
[10:57:03] Kakadu вошёл(а) в комнату
[10:57:38] f[x] вошёл(а) в комнату
[11:11:51] <Kakadu> что-то у меня ЖЖ не открывается.
[11:12:10] <Kakadu> кто на dreamwith умеет посылать инвайты?
[11:23:50] f[x] вышел(а) из комнаты
[11:24:15] Typhon вошёл(а) в комнату
[11:25:37] Typhon вышел(а) из комнаты
[11:33:46] Typhon вошёл(а) в комнату
[11:37:08] Typhon вышел(а) из комнаты: Replaced by new connection
[11:37:10] Typhon вошёл(а) в комнату
[11:53:22] ermine вошёл(а) в комнату
[11:56:52] letrec вошёл(а) в комнату
[12:06:44] Andrey Popp вошёл(а) в комнату
[12:36:52] ygrek вошёл(а) в комнату
[13:16:22] ad1862 вошёл(а) в комнату
[13:30:18] ad1862 вышел(а) из комнаты
[13:38:24] gds вошёл(а) в комнату
[14:02:36] ygrek вышел(а) из комнаты
[15:19:42] Typhon вышел(а) из комнаты
[15:39:35] klapaucius вышел(а) из комнаты
[15:44:07] <gds> папеарю новый бложек: http://kakadu.dreamwidth.org/369.html
[15:44:55] <Kakadu> тебе что, уведомления на мыло приходят?
[15:45:37] <gds> нет, просто хотел пнуть тебя на тему "блох завёл, а ничего не написал, редиска!", а потом решил проверить, написал ли что.  и вот, пнуть не получилось :[
[15:46:14] <gds> кроме того, мне свойственно иногда глядеть в http://gdsfh.dreamwidth.org/read
[15:57:16] <gds> а у меня вот нарисовался следующий некрасивый код: http://paste.in.ua/3430/
вводить, что ли, \mu-хреньку для задания рекурсивных типов, например, в виде
type list 'a = \mu 'self . [ Nil | Cons of 'a and 'self ]
или как-то ещё решать рекурсию?
[16:37:37] Андрей Ковбович вошёл(а) в комнату
[16:44:34] <gds> про работку, что вчера говорил, появилась инфа, что где-то с середины января будет какая-то движуха (хотя бы с точки зрения "требований пользователей").
[16:50:57] <gds> ещё инфа: точно нужен будет js (варианты -- сейчас специально-обученный человек будет ковырять agda->js, и мне, видимо, придётся изучить js_of_ocaml поплотнее).
ещё точно нужен будет парвел, раскиданный по процессам ОС и по хостам, а это уже сложнее.
[17:10:00] shaggie вошёл(а) в комнату
[17:42:35] Andrey Popp вышел(а) из комнаты
[18:01:15] ad1862 вошёл(а) в комнату
[18:03:13] <ad1862> agda->haskel->js ? что ж вы там пишите, банковский софт ?
[18:11:07] <gds> не, у агды прямая трансляция в js.
[18:16:27] <ad1862> ясно,  у камла есть еще Obrowser 18кб в gzip
[18:17:39] <ad1862> но медленней и глючней, особенно в IE
[18:21:46] <Kakadu> опять этот харроп воду мутит
[18:21:46] ad1862 вышел(а) из комнаты
[18:21:55] <Kakadu> продал душу, а теперь остальных подначивает
[18:27:52] <Kakadu> что, только я мелкомягких не люблю?
[18:29:06] <gds> ну а чо, если сделать нормальный clr (а не это ваше mono), то, может, что-то и вышло бы.
[19:08:49] <letrec> а где мутит?
[19:18:14] <gds> "For example, the most impactful action that his community could take, in my opinion, is to adopt and embrace a common packaging system like Cabal for Haskell." [xl]
[19:24:50] <gds> расшифровка: надо быстрее пилить них, пока не.
[19:25:22] <Kakadu> letrec: в мэйллисте
[19:27:02] <Kakadu> letrec: [Caml-list] Why isn't there a common platform for functional language interaction ?
[19:29:58] Андрей Ковбович вышел(а) из комнаты
[19:32:22] Андрей Ковбович вошёл(а) в комнату
[19:39:52] mrm вошёл(а) в комнату
[19:41:51] <mrm> gds: А что тебе в mono не нравится? От консервативного сборщика они уже почти избавились
[19:42:08] <gds> mrm: только старые впечатления остались, новых нет.
[19:42:12] <gds> может оно уже ок.
[19:42:31] <mrm> Топорный кодогенератор заменили на llvm
[19:42:36] <mrm> Стабильность работы отличная
[19:42:48] <gds> но вроде там есть и будут проблемы, учитывая микрософтовские "спецификации" и отвратительную документацию.
[19:45:57] <mrm> Да вроде нет проблем. Дотнет 4.0 реализован полностью (за исключением WPF и ещё некоторых тяжеловесных вещей из библиотек)
[19:46:10] <mrm> Где отвратительная документация? Ты про стандарт или про доки к mono?
[19:47:09] <mrm> Производительность сравнима с реализацией от MS (отставание если и есть, то небольшое)
[19:47:38] <Kakadu> mrm: компилятор фадиеза крешится
[19:47:46] <mrm> На последней версии mono?
[19:47:51] <mrm> У меня на 2.6 крешился
[19:47:58] <Kakadu> вроде да
[19:48:04] <Kakadu> я два месяца назад тестил
[19:48:38] <mrm> А компилятор f# случайно не использует какие-нибудь фичи дотнета, которых нет в стандарте?
[19:48:48] <Kakadu> mrm: я хз
[19:49:14] <mrm> fsharp идёт в стандартной поставке с последним моно
[19:49:34] <mrm> https://github.com/fsharp/fsharp
[19:49:39] <mrm> Эту версию тестил?
[19:49:58] <mrm> Её icaza допиливал специально под моно
[19:50:29] <mrm> Requires mono trunk, after September 23 - this is due to missing IStructuralComparable.CompareTo implementations, which F# requires and which were commited on 2010-09-23 on commit a57254256
[19:50:39] <Kakadu> да, её
[19:50:40] <gds> mrm: про документацию -- речь про msdn -- про все вещи, которые там документируются.
[19:51:50] <mrm> По сравнению с доками к окамлу -- небо и земля, нет?
[19:53:38] <mrm> gds: А в чём проблемы со спецификацией? Ты её смотрел?
[19:54:10] <gds> mrm: не читал, но мне хватило ковыряния винапи по мсдну.
[19:54:14] <mrm> http://msdn.microsoft.com/en-us/netframework/aa569283
[19:57:43] <mrm> Я бы не стал mono так категорично списывать со счетов. Разве есть ещё какой-нибудь свободный рантайм, пригодный для того, чтобы делать под него реализацию ML?
[19:58:35] <mrm> Parrot? :-) Ага, ага. Ждём вместе с Perl 6
[20:00:27] Андрей Ковбович вышел(а) из комнаты
[20:00:42] <gds> а зачем вообще нужен common runtime?  мне хватает окамловского байткода / нативного кода и прописанных апи (например, json over http, либо биндинги к какой-нибудь бд, либо ещё подобного).
[20:01:09] <mrm> Маргинальные языки типа камла страдают из-за маргинальной экосистемы
[20:01:16] Андрей Ковбович вошёл(а) в комнату
[20:01:37] <mrm> Поэтому есть резон в том, чтобы паразитировать на уже имеющейся развитой экосистеме (типа дотнета или явы)
[20:02:35] <mrm> Когда рантайм удобен для реализации нескольких языков, то можно языки менять, как перчатки
[20:02:55] <mrm> А библиотеки общего назначения использовать одни и те же и не тратить время на их многократное освоение
[20:03:41] <mrm> + проще становится свои языки клепать, получая бесплатный бонус в виде большого количества качественных библиотек
[20:05:28] Андрей Ковбович вышел(а) из комнаты
[20:06:08] Андрей Ковбович вошёл(а) в комнату
[20:12:01] mrm вышел(а) из комнаты
[20:31:43] letrec вышел(а) из комнаты
[20:32:58] komar вошёл(а) в комнату
[20:34:50] ftrvxmtrx вышел(а) из комнаты
[20:36:56] letrec вошёл(а) в комнату
[20:44:45] Андрей Ковбович вышел(а) из комнаты
[21:12:33] ermine первый раз увидела, как бэктрекинг способен привести к мертвому зацикливанию парсера O_O
[21:15:03] <ermine> интересно, как можно пометить токены, что они являются операторами, стоящими слева или справа от операнда, и требующих один или два операнда?
[21:15:52] <ermine> вот про "+" мы знаем, что оно инфиксное и требует два операда
[21:17:17] <ermine> f[x]: в рагеле можно что-то обозначать?
[21:22:48] letrec вышел(а) из комнаты
[21:45:43] <ermine> а еще из-за бэктрегинка фиг культурно выругаться на ошибку юзера
[22:09:10] <bobry> gds: ты в окасаке задачки решал?
[22:10:43] <bobry> вощем кто мне объяснит шо делать в задачке 2.5 b) ?
[22:12:18] <gds> у меня задачек нет под рукой, там чисто описалово.
впрочем, сейчас мозга мало для серьёзных дел, мало чем помогу.
[22:12:38] <bobry> а, жаль -- я просто не могу воткнуть шо за дерево там надо строить
[22:12:43] <bobry> ну и это совсем не серьезное дело :)
[22:14:50] <gds> процитируешь на какую-нибудь копипастилку, если не серьезное там?
[22:15:42] <bobry> да не -- совсем не серьзеное :) я лучше что-нибудь спрошу когда дойду до интересных глав
[22:16:16] <Kakadu> есть джвюшка окасаки.
[22:16:49] <bobry> Kakadu: ну если не лень, можешь глянуть? 2.5 b)
[22:17:34] ad1862 вошёл(а) в комнату
[22:18:39] <ad1862> OCaml Objects and Classes: http://www.cas.mcmaster.ca/~kahl/CAS706/2010/Pres/OCamlObjects_Presentation.pdf
[22:26:45] <gds> ad1862: я этот манул на своём опыте понял, реализовывая кадастр.  где ж ты раньше был :)
[22:28:23] <ad1862> gds: ну так... постигая дзен вбрасываю помаленьку, надеюсь не зря )
[22:29:21] <bobry> о, xavier в треде про community fork
[22:29:25] shaggie вышел(а) из комнаты
[22:30:54] <ermine> ad1862: где ты пдфы находишь?
[22:32:05] <ermine> bobry: дай-ка плиз джюку окасаки, пусть лежит у меня и греет душу...
[22:33:10] <bobry> а у меня только бумажная верси, djvu у Kakadu вроде как
[22:34:07] <ermine> Kakadu: де-лись!
[22:34:29] <ad1862> ermine:  в тырнете где ж еще. Поиск по: институтам, авторам, методам, тегам, названиям
[22:35:37] <ad1862> если собрать воедино все публикации по камлу, то будет не хуже Хаскеля
[22:36:06] <ermine> ad1862: а у тебя какие-то специальные цели есть или читаешь всё что попало в надежде что нейроны в мозгу сами собой наркстут и когда-нибудь родишь гениальную программу?
[22:37:39] <ad1862> ermine: это провакационный вопрос, отвечу просто - Да, именно так.
[22:42:20] <ermine> теоретически так оно и получится, но все же лучше преследовать какие-то определенные тематические цели, например, нейронные сети
[22:42:37] <Kakadu> ermine: смотри почту
[22:42:45] ermine мечтает заполучить вторую жизнь, чтобы заняться нейронными сетями
[22:42:57] Typhon вошёл(а) в комнату
[22:43:20] <ermine> Kakadu: а емейл у меня сменился
[22:43:32] <ermine> или ты через гитхуб? :)
[22:46:05] <Kakadu> ок
[22:51:01] <ad1862> ermine: в программировании цель - довести до ума хотя бы одну свою разработку, окупится оно или нет, теперь уже пох
[22:57:01] ygrek вошёл(а) в комнату
[23:00:34] <ygrek> ad1862: складывай плиз ссылки на камлунити или в вики
[23:00:38] <ygrek> а можно и копии pdf'ок
[23:02:46] <Kakadu> http://paste.in.ua/3431/
у меня всякие книжки про фпрог. богу кудато залить 1.1 гига
[23:02:55] <ad1862> ygrek: ok, сделаю ревизию в доках и закачаю
[23:03:17] <ermine> ygrek: какой командой rsync отправить файло, а какой - принять?
[23:03:28] <bobry> Kakadu: много из этого осилил?
[23:03:37] <Kakadu> 1%
[23:04:44] ermine счастлива, если хотя бы просто так полистала книжку, не прочтя ее
[23:05:08] <ermine> а вот литература по камлу мало помогает для доводки разработки до ума
[23:05:33] <ermine> язык - тупой инструмент
[23:06:30] <ermine> как лопата
[23:07:04] <bobry> а можно ли как нибудь на камле получить "какое-то" значение нужного типа?
[23:07:09] <bobry> что-то для этого было от lexifi
[23:07:11] <bobry> вспомнить бы что
[23:07:33] <bobry> камлу не хватает чего то вроде RWH
[23:07:38] <bobry> real world caml!
[23:07:54] <Kakadu> всё что есть это статейка в вики
[23:07:55] <bobry> gds думаю вполне бы мог обобщить свой опыт во что нибудь такое
[23:08:13] <bobry> Kakadu: это ты про произвольные значения? покажи?
[23:08:24] <Kakadu> bobry: я про RWH
[23:08:39] <ermine> деривинг?
[23:09:36] <bobry> как то слишком
[23:09:48] <bobry> там был какой то финт с _
[23:10:59] <Typhon> _:type ? %)
[23:11:05] <gds> bobry: ну можно значение произвольного типа получить.  что дальше будешь делать с ним?
[23:11:18] <Typhon> но это на lhs
[23:11:32] <Typhon> через обж магик, думаю, можно %)
[23:11:48] <bobry> gds: как? мне нужно для моего дерева :D
[23:11:56] <ermine> obj.magic?
[23:12:11] <gds> bobry: если тип неизвестен вообще никак, что будешь делать со значением?  от ответа зависит решение.
[23:12:36] <ermine> bobry: а откуда в камле значение неизвестного типа?
[23:12:39] <bobry> тип известен, мне нужно начальное значение для поиска в дереве
[23:12:42] <bobry> тип известен
[23:12:49] <ermine> даже маршалинг знает про тип
[23:13:04] <gds> bobry: давай рассказывай подробнее всю правду-матку.
[23:13:08] <bobry> вроде я и не писал про неизвестный тип :)
[23:14:06] <bobry> https://gist.github.com/1453018, хочется убрать строчки 41-46, и сразу юзать какое то начальное значение для поиска
[23:14:17] <Typhon> 404
[23:14:33] <bobry> howcome? вроде публичный гист
[23:14:37] <Typhon> а, запятая
[23:14:42] <Typhon> попала в урл!
[23:15:01] <bobry> футынуты, а пиджин ее в урл не взял
[23:16:08] <ermine> ткаббер тоже взял в урл
[23:16:30] <ermine> а, гаджим
[23:16:44] <gds> bobry: если тип параметризованный ('a tree) и значения этого 'a нет, то ничего не попишешь.  вдруг это вообще ненаселённый тип.
[23:17:21] <bobry> эм, ну если это ненаселенный тип, то очевидно что у него не может быть дерева поиска :)
[23:19:55] <gds> не факт, может быть пустое дерево.
[23:20:12] <bobry> true
[23:20:45] <ygrek> ermine: туда - rsync local host:remote
[23:20:54] <ygrek> оттуда rsync host:remote local
[23:31:17] ad1862 вышел(а) из комнаты
[23:43:01] qrntz вошёл(а) в комнату
[23:47:41] <ermine> ну может завтра попробуем
[23:47:46] <ermine> а щас пора на горизонталь
[23:47:50] ermine вышел(а) из комнаты