Objective Caml - Пятница, 9 декабря 2011

Objective Caml

ocaml@conference.jabber.ru

Пятница, 9 декабря 2011< ^ >

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

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

GMT+4
[00:01:34] f[x] вышел(а) из комнаты
[00:04:25] f[x] вошёл(а) в комнату
[00:09:39] f[x] вышел(а) из комнаты
[00:29:26] <gds> bobry: может потому что для "православных логов" нужно всё нужное заворачивать в манатки?  просто идея, не претендующая.
[00:34:40] dzhon вышел(а) из комнаты
[00:51:59] f[x] вошёл(а) в комнату
[00:58:17] Kakadu вышел(а) из комнаты
[01:23:41] Typhon вошёл(а) в комнату
[02:40:46] f[x] вышел(а) из комнаты
[03:37:50] letrec вошёл(а) в комнату
[04:57:52] letrec вышел(а) из комнаты
[05:42:21] bobry вышел(а) из комнаты
[08:45:58] dzhon вошёл(а) в комнату
[08:46:34] <dzhon> Товарищи, доброе утро! Добавьте, пожалуйста в мемберы. Я хоть и молчу, но читаю и интересуюсь, а атаковать капчу при каждом коннекте уже достало.
[08:46:35] klapaucius вышел(а) из комнаты
[09:02:18] dzhon вышел(а) из комнаты
[09:30:22] komar вошёл(а) в комнату
[09:57:47] komar вышел(а) из комнаты
[10:08:30] Typhon вышел(а) из комнаты
[10:12:24] komar вошёл(а) в комнату
[10:18:54] komar вышел(а) из комнаты
[10:20:00] ftrvxmtrx вошёл(а) в комнату
[11:12:38] komar вошёл(а) в комнату
[11:12:40] Typhon вошёл(а) в комнату
[11:13:11] komar вышел(а) из комнаты
[11:23:47] bobry вошёл(а) в комнату
[11:24:14] <bobry> gds: ну в х-ле то в любом случае без вариантов, хочешь не хочешь — манатки будут
[11:25:46] komar вошёл(а) в комнату
[11:36:21] <Typhon> ну или UNSAFEPERFORMIO!
[11:47:00] ermine вошёл(а) в комнату
[11:49:40] Typhon вышел(а) из комнаты
[11:55:24] Typhon вошёл(а) в комнату
[11:57:07] Kakadu вошёл(а) в комнату
[12:24:16] <Kakadu> торкве отжигает. http://habrahabr.ru/blogs/qt_software/134143/
[12:29:59] <f[x]> Kakadu: даёшь то же самое на камле!
[12:40:23] <Kakadu> черт, как же не хочется идти писать контрольную по философии, еслибы вы знали...
[12:43:41] <bobry> Kakadu: философия науки шоли? или что там на старших курсах проходют
[12:44:04] <Kakadu> Платон, Аристотель , Декарт и Кант
[12:44:31] <bobry> аа, видимо базовый курс, а чего не хочется то? предмет то кошерный
[12:44:48] <Kakadu> сам ты кшерный
[12:44:52] <bobry> :)
[12:45:11] <Kakadu> у нас на матмехе старщие курсы больше всего боятся философии
[12:45:52] <bobry> настолько суровые преподы?
[12:46:05] <Kakadu> на соседних факультетах в аспирантуру не берут, если всё на 5 , а филосфия сдана коекак
[12:46:17] <Kakadu> настолько дибильный предмет
[12:46:44] <Kakadu> философы называют свой предмет самым важным, птому что он прктически неприменим. вы чувствуете этот бред?
[12:46:58] <bobry> лол, кстати есть хорошая статейка по теме
[12:47:17] <Kakadu> забей, я прошлогоднюю шпаргалку прочитаю лучше
[12:47:33] <bobry> называется first, let's shoot all the philosophers :)
[12:47:42] <bobry> хотя да — наврядли она сейчас тебе пригодится
[12:48:13] <Kakadu> не всех не надо. Я тут вчера Ницше читал. Он всех обосрал. Он забавный, приятно читать. Так читался хорошо только Платон
[12:48:28] <Kakadu> не, всех не надо*
[12:49:06] <bobry> античные философы в целом довольно потребны, не только платон
[12:50:33] <gds> "In strict functional languages, tail-recursion is a big deal. There is *huge* amount of literature on emulating tail-recursion in standard C or GCC. That alone should tell that there is no simple solution. When GHC (Glasgow Haskell Compiler) was emitting C, it was targeting specifically GCC. Furthermore, it employed a Perl program, aptly named `evil mangler', to post-process the assembly code generated by GCC. One can only shudder when thinking about Simon Marlow's maintaining it."
ах ты ж [...] ты [...]!  И после этого кто-то считает, что "ghc тривиально генерит сишечьку" или что "сишечьку генерить -- лучший выбор для языка программирования"?
[12:50:35] <Kakadu> вообще, самый убей себя апстену это Декарт
[12:50:56] <bobry> Олег вообще неплохой пост написал
[12:51:11] <bobry> Kakadu: шопенгауэра читал? :)
[12:51:32] <Kakadu> bobry: нет, не задавали
[12:51:40] <Kakadu> )
[12:52:01] <bobry> лол, ну вот можешь на досуге ознакомиться — это тебе не TAPL
[12:52:04] <gds> "Почему у вас всё такое дорогое, вот математикам нужны бумага, линейки, карандаши и ластики. А философы, так те еще круче — им даже ластик не нужен!"
[12:52:24] <bobry> палочкой по песку — ага
[12:55:55] <ermine> философы брали вилку и тыкали макароны
[12:56:03] <ermine> как в известной задаче про треды
[12:56:59] <bobry> кстате, есть тут спецы по х-лю, у меня есть вопрос про orphan instances
[12:57:20] <bobry> в haskell@c.j.r спрашивать не хочется.. мне там даже про haskell-mode не ответили
[12:57:28] <Typhon> в соседней конференции же
[12:57:29] <Typhon> а
[12:58:00] <Typhon> ну у rkit стоит про всякие такие вещи спрашивать, он вроде там один из адекватных учаснегов
[12:58:18] <bobry> плюс у меня адиум вылетает когда я в нее захожу
[13:03:16] bobry вышел(а) из комнаты
[13:03:54] bobry вошёл(а) в комнату
[13:04:09] <bobry> грр, опять вылетел :) что за жизнь
[13:04:34] <Kakadu> psi поставь
[13:04:38] <Kakadu> или gdb)
[13:05:14] <bobry> да ладно, нужен мне этот h-l@c.j.r :)
[13:05:54] <Kakadu> можешь ещё в ирке х-я спросить. Там постоянная активность была, когда я заходил...
[13:10:42] <gds> а вот подскажите такую штуку.  есть вычисление, в которое присовывают значения (например, через List.fold_left), и которое может завершиться раньше из-за того, что уже достигнуто значение, которое не будет меняться при дальнейших вычислениях.  например, когда выполняем List.exists, первое из true-значений предиката говорит о том, что можно возвращать true.  или, когда перемножаем числа, появление нуля как бы намекает нам о результате.
с точки зрения мать и матики, подобное можно назвать semilattice, которая при достижении верхнего элемента (либо нижнего, смотря какая полурешётка) делает дальнейшие вычисления ненужными.
однако это и не интуитивно-понятно из названия, и, кроме того, требует функцию сравнения элементов.
если же делать тупо, то вырисовывается интерфейс
add : 'state -> 'input -> [ `Cont of 'state | `Res of 'res ]
вопросы:
1. про матан -- может не требуется сравнение с верхним элементом?
2. про название этого "интерфейса" -- какое дать?  (не semilattice точно, особенно учитывая функцию "add".)
3. как обозвать собственно "add", который не тупо "add", учитывая сигнатуру.
[13:13:33] arhibot вошёл(а) в комнату
[13:13:42] arhibot вышел(а) из комнаты
[13:26:28] <Kakadu> 1. Насколько я понял тебе сравнивать с верхним елементом не надо, надо прсто иметь предикат, что элемент верхний....
[13:28:08] <gds> 1 -- да.
[13:31:45] arhibot вошёл(а) в комнату
[13:31:52] arhibot вышел(а) из комнаты
[13:40:43] <gds> однако, если делать функцию сложения и предикат на верхний элемент, это будет означать два вызова функции и небольшое рассасывание логики, тогда как в случае одной функции с описанной сигнатурой получается проще.  (плюс к тому, получаются три разных типа, которые в случае полурешёток надо было бы эмулировать 1. pre-map функцией ('input -> 'state), 2. post-map на результате ('state -> 'res).)
[13:41:25] <gds> и, тем не менее, как бы обозвать (тип нужно назвать!) и метод "add" подобных вычислений?
[13:49:05] arhibot вошёл(а) в комнату
[13:49:12] arhibot вышел(а) из комнаты
[14:01:59] Kakadu вышел(а) из комнаты
[14:16:46] klapaucius вошёл(а) в комнату
[14:20:32] <klapaucius> bobry: Я не спец, но считаю, что с orphan instances бороться не надо, это фича, а не баг.
[14:22:40] <klapaucius> Просто загоните их в специальный загон в пространстве имен типа Blah.Blah.Blah.Instances.
[14:25:28] <bobry> klapaucius: спасибо, на SO какой-то странный ответ про них, мол error-prone и лучше не надо
[14:28:46] <klapaucius> bobry: Быть противником orphan instances - это почти то же самое, что считать будто бы в модуле Foo и модуле Bar не должно быть одинаковых имен. Почти потому, что можно выборочно не импортировать какое-то имя из Foo, или импортировать квалифицировано, а с инстансом такое проделать нельзя. Специальный загон в пространсте имен эту проблему решает.
[14:30:22] <klapaucius> Т.е. противники orphan instances просто параноики. Orphan instances - это модульно и масштабируется, а запихивание всех инстансов или к типу или к классу в один модуль - не модульно и не масштабируется.
[14:38:42] <klapaucius> Типичный орфан-параноик объявляя свой тип BlahBlahBlah тут же пишет инстансы для Abitrary, Binary, NFData, ВыНазовитеЭто и его трехстрочечный пакет начинает зависить от половины пакетов хэкеджа. Нормальный человек сделает пакет blahblahblah-binary с сиротками, зависящий от blahblahblah и binary. И т.д.
[14:41:24] <gds> klapaucius: чисто для расширения кругозора, интересно, когда (при каких именно условиях) образуются эти orphan instances?
[14:44:04] <klapaucius> orphan instance - это когда инстанс класса для типа находится не в одном модуле с классом и не в одном модуле с типом.
[14:44:42] shaggie вошёл(а) в комнату
[14:50:44] <klapaucius> К примеру, есть библиотека со структурами данных. И есть библиотека для их сериализации. Естественно, создатели этих библиотке друг о друге не подозревают, а вам нужно сериализовать структуру данных. Т.е. писать инстанс класса сериализации для типа из контейнерной библиотеки. Он будет orphan, если только не 1) Написать свою обертку для типа и не описать инстанс для обертки. Это, обычно не удобно, хотя иногда и нормальное решение. 2) Убедить мейнтейнеров библиотеки контейнеров, включить в нее инстансы и сделать их библиотеку зависимой от библиотеки сериализации - что чистое безумие. Но некоторые сумашедшие так и поступают.
[14:53:04] <klapaucius> 2+) Понятно, что можно и наоборот, убедить мейнтейнеров библиотеки сериализации сделать их библиотеку зависящей от библиотеки контейнеров и т.д. То же самое безумие.
[14:55:31] bobry вышел(а) из комнаты
[15:03:23] ftrvxmtrx вошёл(а) в комнату
[15:04:51] bobry вошёл(а) в комнату
[15:05:53] <bobry> klapaucius: 2) довольно часто не имеет смысла, ибо форматов в которые можно сериализовывать куча — на всех инстансы делать? :)
[15:06:28] <klapaucius> Ну так о том и речь!
[15:12:35] <klapaucius> orphan instances - потенциально реальная проблема только для малого перечня классов, которые дожны реализовывать почти все. Т.е. если кто-нибудь напишет библиотеку контейнеров, но не поставит с ней инстанс Foldable - немедленно появится 256 самописных инстансов-сирот, которые при таком-то числе действительно начнут встречаться друг с другом и конфликтовать.
[15:15:16] <klapaucius> Но программист настолько ненормальный чтоб такое сделать - вряд ли напишет популярную библиотеку контейнеров.
[15:15:44] <bobry> :)
[15:34:56] <ermine> уф, сгенерилось
[15:37:45] <ermine> gds: я вчерашний вопрос про диапазоны классов символов сгенерила в виде функций тупо (c >= x && c <= x) || ..
[15:38:05] komar вышел(а) из комнаты: Logged out
[15:38:06] <gds> ermine: но модульно, как я описал?
[15:38:10] komar вошёл(а) в комнату
[15:39:42] <ermine> gds: оно у меня щас в самом простейшем варианте, с type t { buf = string; pos : int; len : int} и без всяких итератофф
[15:40:24] <gds> ermine: http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/2011/12/08.html#21:04:34.846098
[15:42:42] <ermine> gds: там непонятно как сочетать с camlp4
[15:43:53] <ermine> и наверняка по привычке ты разумеешь лексер совершенно отдельно от парсинга
[15:54:10] ftrvxmtrx вышел(а) из комнаты
[15:57:35] ftrvxmtrx вошёл(а) в комнату
[16:33:42] bobry вышел(а) из комнаты
[16:51:02] ftrvxmtrx вышел(а) из комнаты
[16:53:17] ftrvxmtrx вошёл(а) в комнату
[16:54:13] ftrvxmtrx вышел(а) из комнаты
[17:11:19] ftrvxmtrx вошёл(а) в комнату
[17:49:29] ad1862 вошёл(а) в комнату
[17:52:03] ad1862 вышел(а) из комнаты
[17:55:46] ad1862 вошёл(а) в комнату
[17:58:49] <ad1862> Теория: Reliable Distributed Systems in OCaml http://lara.epfl.ch/~kuncak/papers/DagandETAL08Opis.pdf
[18:01:39] <ermine> и что там?
[18:01:53] <ermine> step by step как построить что-то большое и светлое?
[18:02:36] <ermine> вообще стоило бы закапывать все такие ссылки на сайт камлюнити
[18:03:24] <ad1862> протокол, фреймворк для распред систем.
[18:03:42] <ad1862> вот страничка с сырцами http://perso.eleves.bretagne.ens-cachan.fr/~dagand/opis/
[18:03:50] <Typhon> кадастр спёрли буржуи, парвел — спёрли %)
[18:04:01] <Typhon> а что там за фреймворк? что-то крутое, или биндинги к MPI?
[18:04:17] <ermine> а там все проблемы CAP решены?
[18:04:50] <ad1862> сам еще не смотрел, а кто парвел спер ?
[18:06:51] <ermine> а парвел допилили уже?
[18:09:16] <ad1862> хз, но уже спёрли
[18:10:11] <gds> злые, бессердечные буржуи!  я ещё не допилил, а они уже спёрли.  ну как так можно работать.
[18:11:49] <gds> ан нет, их opis -- это не parvel.
[18:12:19] <ad1862> реактивный подход, насколько понял
[18:12:24] Kakadu вошёл(а) в комнату
[18:12:46] <gds> arrows, на мой взгляд.
[18:14:02] <ad1862> хм, это как в HXT ?
[18:15:36] <f[x]> кто все эти слова? o_^
[18:16:59] <ermine> тут видимо кое-то успел настрочить по паре парвелов тремя различными способами
[18:17:27] <gds> парвел умудрилось настрочить только эрлангу, да и то, какой-то нетипизированный он там.
[18:17:41] <ermine> а годной няшки ready to use, plug and play, чота не видно
[18:18:10] <gds> ermine, если бы ты помогала с концепциями, то он был бы уже готов.  ну спасибо тебе за помощь...
[18:18:52] <ermine> gds: ну это было тогда когда я легла на операцию
[18:19:05] ermine типа отмазывается
[18:19:13] <gds> я этот парвел пилю уже год с лишним, вроде.
[18:19:57] <ermine> gds: да я до сих пор не знаю, как грамотно бороться с CAP
[18:20:38] <gds> никак не бороться, ясно же.  можно почитать про "eventually consistent transactions" от мекрософта, там очень хороший копромисс.
[18:21:31] <ermine> gds: ну никак не бороться - неинтересно, мнезия выполняет две части из CAP и из опыта видно, что мнезию надо выводить из употребления, пока всё не развалилось
[18:22:00] <ermine> и кстати, на j.r там где это было дешево - выведена
[18:22:15] <gds> говорю же, только копромиссы, как я понял.  разной степени тяжести.
[18:23:30] <ermine> никаких компромиссов, сейчас самый лучший способ - посылать пользователю такие данные, чтобы, получив что-то обратно, сразу было видно, какой ноде перенаправить для дальнейшей обработки, т.е. никакого облака нет
[18:24:16] <ermine> облака надо отдельно изучать, но лень же, у меня тут щас любимая тема - парсинги
[18:27:05] <gds> облака -- это белогривые лошадки.  они "ненужны" в большинстве случаев.
[18:28:30] <ermine> gds: кто в твоей концепции должен обрабатывать запрос юзера?
[18:29:36] <gds> ermine: у меня тоже будут компромиссы, причём тоже разной степени тяжести.  message passing как база -- очень ок, а что конкретно будет навёрнуто на него -- вопрос второй.  а так -- запрос юзера будет обработан набором серверов.
[18:31:51] <ermine> gds: в ерланге кластер в 99% случаях не способен восстановиться после развала (отсутствия сети или еще почему)
[18:32:16] <ad1862> а MPI через IP стек, насколько помню
[18:32:39] <gds> ermine: это проблема либо эрланга, либо алгоритмов, которыми реализован таковой кластер (не копенгаген, поэтому не знаю, чья именно).
[18:32:47] <gds> и да, это печально.
[18:32:56] <ermine> при этом ырланк пилят уже больше пары десятков лет
[18:33:41] <gds> давайте похлопаем им.
[18:33:43] <ermine> а вот gds пилит палвел чуть больше года :)
[18:34:10] <gds> не надо хлопать мне, я там мало сделал.
[18:34:23] <gds> потому что не "целый год" пилил.
[18:36:11] <ermine> еще говорят, что в SIP эту проблему решили путем правильного дизайна протокола
[18:36:47] ermine пошла дальше ковырять генерилку парсера
[18:38:53] <ad1862> получается зернистость процессов больше чем в ерланге\хаскеле, так как дергать тот же UDP на каждый месседж накладно
[18:39:47] <gds> ad1862: ты про sip говоришь?
[18:40:16] <ad1862> gds: про парвел
[18:40:32] <gds> ad1862: тогда причём тут udp?
[18:41:48] <ad1862> gds: это как пример простейшего протокола, ты писал что должен быть протокол примитивный..
[18:42:47] <gds> смотря какой протокол.  между "нодами" -- ну и tcp/ip меня устроит, может в несколько "каналов" для нескольких потоков сообщений.
если про парвел и процессы -- у меня внутри процесса вполне так lwt, а то и ещё что-нибудь можно оформить подобное.  Конечно, нужно представлять, что к чему приведёт.
[18:47:22] <gds> если кому-нибудь захочется помочь с парвелом -- там я уже решил сериализацию (пока в виде идей поверх кадастра, но это можно накодить легко), а с концепциями -- как-то не очень.  вот текущий документ, на который я периодически тупо смотрю, но не знаю, хорош ли он как проект, и устроит ли он в целом.  https://bitbucket.org/gds/parvel/wiki/inter-process-protocol
[18:50:58] <gds> то, что останавливало в плане "взять и накодить" -- то, что это не было особо нужно.  но скоро будет нужно.  тогда буду извращаться.  а кому хочется извращениями пользоваться?  не мне.  тогда в ваших силах помочь мне с этим делом.  будет няшечка, уверен.
[18:52:31] <ad1862> надо унифицированно и масштабируемо, чтоб не было разницы при посыле сообщ-й, толи в соседний процесс толи на другую машину
[18:53:33] <gds> так оно и будет, глобальный пид / глобальное имя.  Но с возможностью указать, что данные процессы будут создаваться в пределах одного процесса ОС с возможностью локально слать сообщения даже без сериализации.
[18:54:04] gds afk 1..2h, но чятик прочитаю-отвечу по приходу.
[18:54:59] f[x] юзает глобальные иды вида PID+hostname
[18:55:59] <f[x]> плюс ещё думаю добавить один параметр типа "имя евентлупа/диспатчера", т.к. в одном процессе могут быть несколько диспатчеров/ролей
[20:05:51] <ermine> апплодисменты!!!
[20:06:26] <ermine> моя генерилка родила парсилку, которая компилится и даже парсит ту же грамматику, по которой была сгенерена
[20:06:56] <ermine> осталось дописать экшнов в описалово грамматики и будет вторая итерация - добавить итератов
[20:08:16] <ermine> я кстати тут решила делать синтаксис создания токенов как < Symbol : fun которая принимает кусок строки >
[20:10:15] <ermine> типа
Identifier <- < IdentStart IdentCont* : fun str -> Ident str >
[20:12:15] <ermine> в yacc вместо этого применяют $1 $2 в экшнах
[20:14:59] ad1862 вышел(а) из комнаты
[20:15:32] <ermine> Kakadu: как там липлом?
[20:16:17] <ermine> или хотя бы кутя
[20:19:59] <ermine> а нет, так не пойдт с < : >, придется делать < : { ...} >
[20:20:07] <ermine> из-за ->
[20:20:57] <ermine> ну в этом случае } от закрывающей рекорда легко отличить, ибо в камле нету }>
[20:21:09] <Kakadu> вяло
[20:22:48] <ermine> Kakadu: а ты возьми более интересного научника
[20:23:01] <Kakadu> просто мне лень что-то делать
[20:23:24] <Kakadu> венда на виртуалке заставляет чувствовать что я дурак
[20:23:33] <Kakadu> и я что-то делаю в этой жизни не то
[20:24:33] <ermine> Kakadu: в mono тоже можно поставить фишарп
[20:24:52] <Kakadu> ermine: там компилятор крешится иногда
[20:25:57] ermine думает - не вписывать ли вместо кода к токенизеру просто имя функции
[20:28:58] <ermine> Kakadu: по-моему, я тут как раз делаю твой диплом, если он вообще про парсилку и генератор кода
[20:34:39] bobry вошёл(а) в комнату
[20:45:11] letrec вошёл(а) в комнату
[20:46:42] Андрей Ковбович вошёл(а) в комнату
[20:52:15] shaggie вышел(а) из комнаты
[21:09:39] ad1862 вошёл(а) в комнату
[21:16:33] Андрей Ковбович вышел(а) из комнаты
[22:38:06] Typhon вышел(а) из комнаты
[22:43:50] ad1862 вышел(а) из комнаты
[22:57:45] Андрей Ковбович вошёл(а) в комнату
[23:06:07] <Kakadu> f[x]: а ты пофиксил ТЗ?
[23:07:30] <Kakadu> кстати, неплохо бы иметь тулу, что разбирает _oasis и генерит из него них-конфиш
[23:07:34] <Kakadu> конфиг*
[23:08:59] <gds> Kakadu: правильно было бы иметь oasis, который отвечает на -info.
[23:09:22] <Kakadu> надо этому легаллу поставить мат Легаля
[23:09:24] <Kakadu> !
[23:10:30] <bobry> Kakadu: ez
[23:10:33] <bobry> я могу сделать both
[23:10:38] <bobry> уже разобрался как расширять оазис
[23:12:14] <ermine> грамматика у оазиса не CF
[23:12:44] ermine кажись пропустила всё про них, а что вы затеяли?
[23:13:03] <Kakadu> ermine: https://docs.google.com/document/d/1dxbuu3RP3NCxMI54YFRtnwFUOTrIj-EWmBdwy32a0CI/edit?hl=en_US&pli=1
[23:13:42] <ermine> а, понятно, почему пропустила
[23:13:47] <ermine> в elinks ничего нет
[23:13:59] <ermine> ну тогда без меня
[23:14:07] <Kakadu> ermine: да, и если ты будешь за называть них барбарой то я и bobry будем очень рады
[23:14:16] <bobry> да-да, барбара
[23:14:18] <bobry> или варвара
[23:14:21] <bobry> как кому больше нравится
[23:17:18] <ermine> кабры
[23:17:45] <ermine> у меня тут peg видимо гораздо интереснее
[23:17:53] <Kakadu> кто такие кобзари знаю, но кабры кто такие??
[23:20:07] <ermine> взять верблюда за жабры
[23:21:49] <gds> народ, у меня вероятно будет движуха скоро -- сетевое, вебня, все дела, за бабло.  если будет немало людей "вечерами кодить", то пропихнём дело и оформим так, чтобы и на будущее были дела.  если не пропихнём -- обещали "чуть других" специалистов найти.  но те специалисты нам не специалисты, поэтому и ищу тут.
[23:22:50] <bobry> gds: в смысле запряжешь пацанов пилить них? или я что не понял?
[23:23:21] <bobry> на х-ле так легко написать нечитаемое г-но, что я даже не знаю ... покажите мне говнокод на камле для сравнения?
[23:23:36] Андрей Ковбович вышел(а) из комнаты
[23:24:05] <gds> bobry: нет, не них пилить, чуть более глубокие вещи.  них -- так, вечером после вечера.
[23:26:29] <ermine> а еще завтра грандиозный митинг
[23:26:57] <ermine> с танками, водометами и гриппом
[23:27:01] <gds> я его не спонсирую, в отличие от.
[23:27:09] <bobry> аа, понял
[23:28:03] <ermine> а у меня у ребенка отменили занятия в школе, шоб дети сидели дома (или пошли на митинг?)
[23:28:51] <Kakadu> ermine: я тут слышал сгоняли на митинг в поддержку ветеранов, а потом журналюги представляли этот митинг по-другому
[23:29:04] <ermine> кстати про них - надо бы познакомиться с концепцией под названием visitor pattern
[23:30:17] <ermine> Kakadu: им заплатили за слово печатное
[23:30:26] <Kakadu> ermine: ну разумеется
[23:32:36] <ermine> интересно, пчу include File не видит определенные функции выше этой строчки
[23:35:25] <ermine> хнык, придется думать как-то опенить сторонние модули в сгенеренном коде
[23:38:00] <ermine> в принципе несложно добавить в грамматику, чтобы в начале были {% мусор %}
[23:38:23] <ermine> вообщем PEG рулит
[23:40:45] <ermine> точнее даже %{ %}
[23:48:00] <gds> вообще, мне нужно знать, сколько (и за сколько денег) люди будут кодить на окамле.  Потому что у меня есть ещё две альтернативы: 1. нанять [...], 2. нанять похапэшников.  Оба варианта никак.  Мне нужно знать, кто и в какой форме хочет зарабатывать за кодинг/проектирование на окамле.
[23:49:26] ad1862 вошёл(а) в комнату
[23:50:04] <bobry> gds: сколько вы готовы предложить? :)
[23:50:11] <bobry> я бы душу продал за кодинг на камле
[23:50:31] <gds> душа -- ок, записал.  предоплатой сможешь?
[23:50:53] <bobry> не-не, с меня душа, а с вас работа :)
[23:51:07] ermine с интересом смотрит на gds
[23:51:36] <ermine> gds: вообще было бы гораздо интереснее, если бы это сочеталось с хобби
[23:51:53] <ermine> а не просто кодить то что скажут
[23:52:03] <bobry> true dat
[23:52:34] <gds> bobry: ок, это понятно.
сколько платить -- пока неизвестно.  Мне для бизнес-плана нужно знать, что будут несколько программистов на окамле, которые и чуток с аналитикой помогут, и с архитектурой, и накодят.  Иначе будут тупые наёмники, которые будут кодить то, что скажут.
[23:53:03] <ermine> gds: я в прошлый раз на твой призыв соглашалась потому что там в списке навыков было всё, кроме итератов, ну, итераты я уже выучила, а что сейчас?
[23:53:22] <bobry> ого, gds итераты требовал! круто!
[23:53:27] bobry их еще не погрыз ..
[23:54:08] <ermine> хе-хе
[23:54:57] <ermine> gds: тебе мой парсинг peg точно не нужен???
[23:56:26] <gds> ermine: про старые вещи -- всё меняется.  итераты -- всего лишь удобная концепция обработки входящих данных.  дальше -- очень разное.  на подходе -- потоковое видео, парвел (акторы, считай), сетевая байда, чуть админства, генерация гуя из окамла (для браузера с js_of_ocaml -- очень ок), чуток теории категорий.  пока не знаем, во что выльется.
[23:58:22] <gds> ermine: peg -- пока точно нет, но, если будет нужен и будет хорош, будет тебе компенсация за него.  но я это пока только прикидываю, мне нужно просто знать, будет ли проект[ы] сделан[ы] на окамле или нет.  если будут люди -- будет на окамле.  иначе -- буду тупым прожэктмэнэжэром, что противненько.