Objective Caml - Вторник, 24 апреля 2012

Objective Caml

ocaml@conference.jabber.ru

Вторник, 24 апреля 2012< ^ >

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

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

GMT+4
[00:09:54] Kakadu вышел(а) из комнаты
[00:14:02] ftrvxmtrx вышел(а) из комнаты
[00:14:50] Typhon вошёл(а) в комнату
[00:14:56] Typhon вышел(а) из комнаты
[00:15:23] Typhon вошёл(а) в комнату
[00:15:50] <bobry> а подскажите мне про си?
[00:16:14] <bobry> что если в struct есть void * поле, как оно будет выглядеть в памяти?
[00:17:24] ftrvxmtrx вошёл(а) в комнату
[00:17:36] <tilarids> или 32 или 64 бита в зависимости от битности системы
[00:17:40] <Typhon> как указатель? %)
[00:17:54] <bobry> черт, туплю %)
[00:36:04] <bobry> сишный код внушает
[00:36:05] <bobry> bcf_t *bcf_open(const char *fn, const char *mode)
[00:36:10] <bobry> mode это либо 'r' либо 'w'
[00:36:32] <bobry> вместо этого чел пишет char *, хотя там ВСЕГДА один символ
[00:37:07] <gds> bobry: если брать fopen, там не всегда один символ.  Но более правильное решение таки возможно.
[00:37:29] <bobry> ну в случае этой конкретной либы там два варианта
[00:38:30] bobry вышел(а) из комнаты
[00:58:21] <Typhon> не пойму, почему enum'ами подобные штуки нельзя делать? :)
[01:46:46] shaggie вышел(а) из комнаты
[03:04:38] shaggie вошёл(а) в комнату
[03:10:29] Typhon вышел(а) из комнаты
[03:34:26] letrec вошёл(а) в комнату
[03:38:50] tilarids вышел(а) из комнаты
[03:40:38] tilarids вошёл(а) в комнату
[04:16:09] shaggie вышел(а) из комнаты
[04:36:56] letrec вышел(а) из комнаты
[06:54:40] ermine вошёл(а) в комнату
[09:28:28] bobry вошёл(а) в комнату
[09:28:48] <bobry> Typhon, какие?
[09:48:14] Typhon вошёл(а) в комнату
[09:55:34] bobry вышел(а) из комнаты
[09:57:59] ftrvxmtrx вышел(а) из комнаты
[10:36:33] ftrvxmtrx вошёл(а) в комнату
[10:49:41] bobry вошёл(а) в комнату
[11:12:29] <Typhon> bobry: 'r', 'w' и прочие "режимы оькрытия файла"
[11:12:45] <bobry> да уж, тоже вчера об этом думал
[11:18:48] Typhon вышел(а) из комнаты
[11:48:08] <tilarids> скорее всего, дело в расширяемости. Строки дают невиданный уровень гибкости, API, которые принимают словари строк - самые гибкие из всех
[11:48:40] <bobry> tilarids: можно какой нибудь rl пример расширения fopen?
[11:49:07] <bobry> понятно что в теории это так, но необходимость на практике (по крайней мере в этом конкретном случае) слегка сомнительна
[11:50:00] <tilarids> bobry: естественно. Но это могло не помешать проектировщикам заюзать строки в самом начале, они же не знали, как оно будет далее развиваться
[11:51:40] Sun][ вошёл(а) в комнату
[12:12:34] Typhon вошёл(а) в комнату
[13:18:05] tilarids вышел(а) из комнаты: Computer went to sleep
[13:33:53] Kakadu вошёл(а) в комнату
[13:39:06] akovbovich вошёл(а) в комнату
[13:46:08] tilarids вошёл(а) в комнату
[13:56:13] dzhon вошёл(а) в комнату
[14:00:53] shaggie вошёл(а) в комнату
[14:10:46] <Kakadu> я бы попросил покомментить кому не лень
[14:11:29] <Kakadu> https://docs.google.com/document/d/1cpFqKtGRJw8gZ1Oa9WkBOepEynnsP3ZFcZUh_iba6eM/edit
[14:29:32] komar вошёл(а) в комнату
[14:39:51] dzhon вышел(а) из комнаты: Replaced by new connection
[14:39:51] dzhon вошёл(а) в комнату
[14:56:11] <Kakadu> ermine: Что ты знаешь про два подхода к откатам в парсер-комбинаторах?
[15:01:30] <ermine> в такой формулировке - ничего
[15:01:44] <ermine> это наверное фраза какого-нить преподавателя
[15:02:02] <Kakadu> Не, тут читают мою писанину по диплому
[15:02:11] <Kakadu> по-фидимому хотят про packrat услышать
[15:05:16] <ermine> в пакрате нет откатов, там вкаты
[15:10:09] <Kakadu> ermine: Я уточню, а якк-тулах нет никаких пролем же с тормазами при разборе альтернатив? там  всё выливается в конфликты?
[15:16:59] <ermine> Kakadu: есть конечно там проблемы, в классике альтернативы все обрабатываются, пока все альтернативы кроме одной не отомрут и победит одна
[15:18:35] <Kakadu> Черт, у меня в голове опять каша
[15:19:23] <Kakadu> в glr же нет никаких табличек, да? там лес сторится?
[15:20:27] <ermine> glr умеет просто химичить с двумя альтернативами, которые начинаются одинаково, за счет lookahead
[15:20:50] <Kakadu> ненеене, не может быть
[15:21:43] <Kakadu> glr реально деревья стороит для всех возможностей по разбору, а потом деревья убивает если не разобралось
[15:22:07] <Kakadu> А химия с lookahead это должны быть якк-утилиты
[15:23:11] ermine утратила нить
[15:25:02] <ermine> то комбинаторы, то пакрат, то LR
[15:25:29] <Kakadu> Итак, я понимаю как работают наивные комбинаторы
[15:25:39] akovbovich вышел(а) из комнаты
[15:25:41] <Kakadu> мне кажется я понял фишку пакрата
[15:26:23] <Kakadu> Вопрос, почему при других видах парсинга нет проблем с откатами, как в комбинаторах
[15:26:25] <Kakadu> ?
[15:26:30] <ermine> а что в нем хорошего?
[15:26:54] <Kakadu> в ком, в пакрате?
[15:27:05] <ermine> правильный пакрат парсит весь инпут целиком и сам аффтар пакрата признался, что не знает как применить пакрат для стримов
[15:27:23] <Kakadu> я читал только душкина
[15:27:55] <ermine> тебе можно выдать медаль за то, что ты смог прочитать душкина
[15:28:30] <ermine> шоколадную медаль :)
[15:28:48] <Kakadu> тьфу, у него же другая фамилия
[15:29:14] <Kakadu> А про какой текст душкина ты говорила?
[15:29:58] <ermine> не говорила
[15:30:23] <Kakadu> Ю ты смог прочитать душкина
[15:30:28] <Kakadu> > ты смог прочитать душкина
[15:30:49] <Kakadu> короче черт с этим душкиным
[15:31:35] <ermine> ну там еще строчкой выше
[15:33:23] <Kakadu> Аааааа, два подхода к откатам это fast и slow back.
[15:33:30] <Kakadu> ermine: Чтонить тебе это говорит?
[15:41:56] letrec вошёл(а) в комнату
[15:52:24] <bobry> конференция у х-ля конечно гм
[15:52:30] <bobry> не сравнить с камлочатиком :)
[15:52:53] <Kakadu> bobry: ходи в  ирку, там постоянно что-то обсуждают
[15:53:06] <Kakadu> правда про fast и slow back ничего говорить не хотят
[15:53:08] <bobry> в ирке сликшом много обсуждают
[15:53:11] <bobry> я не успеваю читать
[15:53:26] <Kakadu> +1
[15:53:53] <klapaucius> Хаскельная конференция существует только номинально. там ничего не обсуждается.
[15:55:14] <bobry> klapaucius: я заметил, это довольно странно, учитывая хайп вокруг х-ля
[15:57:11] <klapaucius> Да ничего странного. Хайп вокруг хаскеля англоязычный.
[15:59:18] <bobry> ну кто же чичас по заморски то не читает
[16:00:38] <klapaucius> Ну вот они и читают по замерски. Если кто-то вдруг захочет что-то спросить - спросит в irc или на стековерфлоу.
[16:02:12] <klapaucius> Странная ситуация как раз здесь - на экзотическом языке аж сразу несколько русскоязычных программистов что-то совместно пишут и обсуждают.
[16:03:31] <klapaucius> Вообще, на русском языке по ФЯ один только флейм. Потому что всякие оскорбления или ехидные подколки на родном языке быстрее и проще получаются.
[16:05:07] <ermine> tapl нормально переведен
[16:05:24] <bobry> гм, тут же есть gds! только из-за него можно сидеть и читать камлочатик :)
[16:07:01] <gds> лололо
[16:08:18] <klapaucius> ermine: Согласен, но это единичное явление. Это хорошо видно по отсутствию общеприянтых переводов для терминов, в результате весь перевод пестрит английскими словами в скобочках.
[16:10:10] <ermine> klapaucius: у нас просто нет соответствующего образования в вузах
[16:10:13] <klapaucius> В принципе, и Харрисон нормально переведен, но на этом и все. список закончился.
[16:10:21] <ermine> и не было
[16:10:34] <ermine> максимум - лингвинистика
[16:10:44] <bobry> ermine: у нас в универе учат типизированной лямбде :)
[16:10:56] <bobry> герр Москвин, более известный как deniok
[16:11:58] <gds> переводы на русский, я считаю, только для простейших, базовых вещей нужны.  дальше уже смысла нет, пусть на английском читают.
[16:12:07] <ermine> bobry: это повсеместный случай?
[16:13:12] <ermine> переводы нужны, когда своей науки и образования нет
[16:13:27] <ermine> слямзить чужую науку - нет ничего проще
[16:14:06] <ermine> а вот самостоятельно вывести типизированную лямбду...
[16:14:06] <klapaucius> В "энергетической сверхдержаве" наука ненужна.
[16:15:05] <ermine> у нас лингва была сильна, как щас - не знаю
[16:16:17] <ermine> а щас и паять уже вовсе даже разучились - гдеж нормальные микроволновые печи с программаторами
[16:17:26] <ermine> посмотрите у себя в доме и найдите хотя бы один высокотехнологичный прибор, разработанный и изготовленный в вашем отечестве
[16:18:00] <bobry> ermine: это один универ
[16:18:50] akovbovich вошёл(а) в комнату
[16:20:23] <gds> ermine: это всё бесовские штучки, они не нужны.  Нужны же Православие, Самодержавие, Народность!  И топологию вашу б...скую запретим.
[16:22:10] <Kakadu> что-то /me нихрена не понял, это gds серёзно или убер-сарказм?
[16:23:03] <gds> учитывая, что я постоянный читатель http://ban-topology.livejournal.com/profile , всё абсолютно серьёзно.  За Царя-Путина, против ж.довской топологии!11
[16:23:16] <ermine> gds: и лампочки ильича
[16:24:33] <gds> ermine: лампочка -- эдисона.  тоже из тех.  только свечи, только лучины.
[16:26:54] <Kakadu> gds: судя по ссылке там какие-то наркоманы
[16:28:11] <gds> ну не знаю, таблица квадратных уравнений из этого коммунити -- вполне годная штука, пользуюсь ей каждый раз, когда нужно решить таковое уравнение.
[16:36:13] <Kakadu> не, ну нафиг
[16:36:28] <Kakadu> Я пока ещё помню как производные брать
[16:41:33] <Kakadu> Таак, LL и LR одинаковые классы языков. Надо запомнить
[16:41:45] dzhon вышел(а) из комнаты: Replaced by new connection
[16:41:45] dzhon вошёл(а) в комнату
[16:44:12] dzhon вышел(а) из комнаты: Replaced by new connection
[16:44:15] dzhon вошёл(а) в комнату
[17:34:14] <bobry> Kakadu:  http://mit.spbau.ru/node/361
[17:35:08] <Kakadu> а где это СПбАУ?
[17:39:51] bobry вышел(а) из комнаты
[17:39:53] bobry вошёл(а) в комнату
[18:01:54] <Kakadu> Sun][: ^^ ссылка выше
[18:02:08] <Kakadu> Sun][: как там кутэ?
[18:05:29] <Kakadu> Так, мне рассказывали что эти термина про бэктрэкинг задал мужик в 60х в контексте Алгола, аот только фамилию я забыл
[18:23:13] <ermine> алгол ваяли Б&Н
[18:23:53] <ermine> точнее таки один Н
[18:28:14] <Kakadu> B&H это биекция и гомоморфизм?
[18:28:54] <f[x]> Typhon: ну одно про shadowing типов, а другое про двойную линковку одного и того же модуля
[18:28:56] <ermine> не, бэкус с науэром
[18:30:08] <Kakadu> уря, http://books.google.ru/books?id=Z9MmAAAAMAAJ&q=slow-back#search_anchor
[18:31:06] <ermine> а что там?
[18:34:41] <Kakadu> там упоминается эта хрень что мне нада
[18:35:24] <ermine> скоро сдача диплома?
[18:37:16] <Kakadu> Ну где-то к 15 мая нада финальный релиз текста
[18:38:37] <ermine> и что за два подхода?
[18:40:15] Sun][ вышел(а) из комнаты
[18:45:10] <Kakadu> slow-back и fast-back
[18:45:19] <Kakadu> я пока хз в чем разница
[18:53:26] dzhon вышел(а) из комнаты
[19:14:28] <ermine> таак, опять интересуюсь чем из камла копать в гите
[19:14:39] <ermine> чонить нового на этом фронте появилось?
[19:14:56] <bobry> afaik нет
[19:15:54] <ermine> libgit2-ocaml ровно год не развивается
[19:16:10] <ermine> либо умер, либо совсем написан
[19:16:32] <bobry> а гит развивается, поэтому мб libgit уже ниале
[19:17:36] <ermine> libgit2 развивается вроде
[19:18:01] <ermine> и активно
[19:18:44] <ermine> и непонятно стоит ли копать гит напрямую без либл :)
[19:23:40] bobry вышел(а) из комнаты
[19:23:47] bobry вошёл(а) в комнату
[19:25:47] Kakadu вышел(а) из комнаты
[19:46:31] bobry вышел(а) из комнаты
[20:17:36] <komar> > год не развивается
> ocaml
[20:18:38] ftrvxmtrx вышел(а) из комнаты
[20:24:09] Kakadu вошёл(а) в комнату
[20:26:03] letrec вышел(а) из комнаты
[20:27:26] ftrvxmtrx вошёл(а) в комнату
[20:34:08] ftrvxmtrx вышел(а) из комнаты
[20:41:10] akovbovich вышел(а) из комнаты
[20:42:48] akovbovich вошёл(а) в комнату
[20:45:42] shaggie вышел(а) из комнаты
[20:45:45] shaggie вошёл(а) в комнату
[20:54:10] Typhon вышел(а) из комнаты
[21:06:20] bobry вошёл(а) в комнату
[21:30:55] akovbovich вышел(а) из комнаты
[21:35:53] f[x] вошёл(а) в комнату
[21:36:46] <f[x]> > год не развивается
активно развивается - пауза между коммитами - в среднем год *fixed*
[21:58:43] shaggie вышел(а) из комнаты
[22:01:37] <bobry> какой в х-ле кошерный ffi, я так понимаю в камле ничего подобного нет?
[22:02:18] <gds> мне рассказывали про тыщу тактов на вызов одной функции.  кошерно?
[22:03:09] <bobry> ничего не знаю про такты, мне нравится дизайн
[22:03:13] <bobry> но пруфлинк не помешает
[22:03:27] <f[x]> дизайн в отсутствии сишной компиляции?
[22:03:46] <f[x]> т.е. никакой проверки совпадения параметров?
[22:03:59] <f[x]> в камле тоже что-то такое было - отдельной либой
[22:04:13] <bobry> гм, опять же -- насчет проверки не знаю, ибо только-только скомпилил первый биндинг
[22:04:27] <bobry> дизайн в смысле декларативного описания интерфейсов
[22:05:28] <gds> 1. ну так посмотри, во что компилируется.
2. сишный код -- тоже декларативен, для тех целей, для которых его используют в биндингах.
[22:06:17] bobry до этого биндинги только к эрлангу писал, декларативного было мало
[23:08:04] ermine вышел(а) из комнаты
[23:11:19] ftrvxmtrx вошёл(а) в комнату
[23:28:02] tilarids вышел(а) из комнаты: Computer went to sleep
[23:49:28] klapaucius вышел(а) из комнаты
[23:50:23] tilarids вошёл(а) в комнату