Objective Caml - Пятница, 5 марта 2010

Objective Caml

ocaml@conference.jabber.ru

Пятница, 5 марта 2010< ^ >

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

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

GMT+3
[00:37:40] ermine вышел(а) из комнаты
[00:38:39] ygrek вышел(а) из комнаты
[01:12:31] digital_curse вышел(а) из комнаты
[02:33:30] Typhon вышел(а) из комнаты
[03:02:46] daapp вошёл(а) в комнату
[07:20:31] ermine вошёл(а) в комнату
[08:09:59] iNode вошёл(а) в комнату
[09:03:54] gds вошёл(а) в комнату
[10:27:08] ygrek вошёл(а) в комнату
[12:31:32] Typhon вошёл(а) в комнату
[13:24:19] <ermine> f[x]: при попытке клонировать deriving.git оно выдает warning: remote HEAD refers to nonexistent ref, unable to checkout.
[13:31:03] <gds> оппа, гит глючит?
[13:31:37] <ermine> хз
[13:31:40] <ermine> скачать не могу
[13:31:54] <ermine> собрать новый sqlgg не могу
[13:32:03] <ermine> думаю чем бы теперь заняться
[13:33:46] <ermine> хотя старый sqlgg есть, мож оно уже там умеет mysql
[13:40:23] <f[x]> $ git clone git://repo.or.cz/deriving.git
работает
[13:42:32] <f[x]> для mysql нужен только impl/sqlgg_mysql.ml
[13:42:32] <ermine> с префиксом git сработало, да :)
[13:43:23] <f[x]> :) а по дефолту он наверное ssh пробует и этот warning на русский переводится видимо как "not authenticated", юзабилити на уровне, да
[13:45:02] <sceptic> по http
[13:45:33] <ermine> зато там веселуха с make install, конфликтует с ocamlbuild
[13:46:11] <sceptic> $ git clone http://repo.or.cz/r/deriving.git
[13:46:47] <f[x]> как по заказу - http://groups.google.com/group/fa.caml/browse_thread/thread/0624ae9e41bad6a5#
[...], a version of the native-code OCaml compiler whose output can be validated as safe to run over the web.
[13:47:58] <f[x]> ermine: elaborate
[13:50:14] <ermine> f[x]: ну я запустила gmake, потом gmake install, оно зачем-то запустило камлобилд, который сказал что в каталоге помойка
[13:53:26] <f[x]> см. README
[13:54:08] <ermine> лениво
[13:54:12] <ermine> поставилось уже :)
[13:54:29] <f[x]> там сейчас две процедуры сборки
[13:54:30] <ermine> это просто стандартные действия при виде Makefile
[14:01:39] <Typhon> f[x]: "Together with the "Native Client" plug-in..." :(
[14:06:40] <ermine> а что за нативе клиент?
[14:07:21] <gds> хз, в фоерфоксе оно само не ставится, а разбираться (в том числе даже пытаться вручную урл указать) было влом.
[14:10:18] <f[x]> Typhon: ну дык оно ведь как-то работать должно, без чёрной магии :)
[14:11:08] <f[x]> а nativeclient это видимо гуглоответ на activex/flash/etc
[14:11:23] <Typhon> только его под ие нет, и хз, будет ли.
[14:11:27] <Typhon> и под сафари вроде
[14:14:36] <ermine> у сафари нет плагинов
[14:15:20] <sceptic> фу
[14:15:24] <sceptic> поставь себе хром уже
[14:24:19] daapp вышел(а) из комнаты
[14:28:27] Kakadu вошёл(а) в комнату
[15:01:45] Kakadu вышел(а) из комнаты
[15:19:22] ygrek вышел(а) из комнаты
[15:25:50] sceptic вышел(а) из комнаты
[15:54:31] digital_curse вошёл(а) в комнату
[16:09:08] <f[x]> http://codepad.org/9zoYqzOP
[16:11:22] <gds> 0.2030 sec normal 4000000 (4165721)
0.0620 sec no_scan_tag 4000000 (4165721)
0.0470 sec no array (4165721)
[16:22:05] <f[x]> забавно
[16:22:10] <f[x]> 0.1188 sec normal 4000000 (4000141)
0.0001 sec no_scan_tag 4000000 (4000141)
0.0002 sec no array (140)
[16:22:33] <f[x]> 3.11.1 linux amd64
[16:23:13] <gds> 3.11.1, винда, 32 бита, celeron 2.4ггц, запускал из топлевела.
[16:23:22] <f[x]> почему массив остался жить до конца
[16:23:28] <f[x]> а, топлевел, т.е. байткод
[16:23:56] <f[x]> т.е. значения дольше живут
[16:25:37] <gds> C:\238>.\q.exe
0.172000 sec normal 4000000 (4000537)
0.000000 sec no_scan_tag 4000000 (4000537)
0.000000 sec no array (536)
[16:26:50] <f[x]> во
[16:28:30] <gds> http://codepad.org/CezRpG0f
C:\238>.\q.exe
0.017640 sec normal 4000000 (4000537)
0.000032 sec no_scan_tag 4000000 (4000537)
0.000031 sec no array (536)
[16:28:51] <gds> ну вообще результат ожидаемый.
[16:33:59] <f[x]> интересно, есть ли тут всё таки подводные камни (кроме того что любители ковырять runtime значения могут обломаться) и может ли компилятор сам ставлить тэг
[16:35:07] <f[x]> может полиморфный код по массивам зафейлит?
[16:37:00] <gds> вот да. Если там проверяют тег на равенство Double_array_tag, то всё ок, если же на неравенство с 0, то будет не ок. (а именно, какой-нибудь Store_double_val вполне может вылезти за границу на 32битной архитектуре)
[17:02:52] ygrek вошёл(а) в комнату
[17:29:19] gds вышел(а) из комнаты
[17:46:37] <ermine> так, продолжить бодаться с мускулем
[17:46:54] <ermine> ygrek: а есть пример как через sqlgg коннектиться к мускулю?
[17:47:39] <ermine> а, оно небось хочет какой-нить ocaml-mysql, shit
[17:53:16] <f[x]> логично :)
[17:53:22] <f[x]> причём последней версии
[17:53:49] <f[x]> пример есть в demo
[17:54:26] <f[x]> по сути идентично sqlite, только смотришь чтобы синтаксис запросов был mysql'ный
[17:57:52] <ermine> а что там особенного?
[18:00:57] <f[x]> ну например AUTO_INCREMENT vs AUTOINCREMENT
[18:01:06] <f[x]> CONCAT vs ||
[18:01:22] <f[x]> всякие другие мелочи
[18:12:50] <ermine> не, мне только выудить базу из мускуля и перегнать в постгрес
[18:13:25] <ermine> я попыталась сделать это через xml, но мускуль генерит невалидный xml
[18:14:54] <olegfink> http://wiki.postgresql.org/wiki/Converting_from_other_Databases_to_PostgreSQL#MySQL ?
[18:15:41] <ermine> ну там ж гимор с типами полей
[18:16:16] <olegfink> http://pgfoundry.org/projects/mysql2pgsql/ -- ну они говорят, что все умеют
[18:16:23] <ermine> да и операция пока не разовая
[18:16:56] <ermine> olegfink: ты там не показал ссылку на готовый скрипт, который все-все учитывает :)
[18:17:25] <olegfink> ну, вторая ссылка -- одна из тех, что написаны по первой
[18:17:50] <olegfink> а вообще мопед не мой, я только запрос погуглил.
[18:21:20] <ermine> да, было бы кульно, если бы ограничиться конвертацией 1:1
[18:22:53] <ermine> к тому же там при беглом взгляде не видно где исходники
[18:23:16] <olegfink> ну потому что это gforge :-)
[18:23:38] <olegfink> http://pgfoundry.org/scm/?group_id=1000198 , http://pgfoundry.org/frs/?group_id=1000198
[18:24:46] gds вошёл(а) в комнату
[18:29:25] ermine запустила на стометровом дампе и ждет
[18:31:41] <ermine> Complex regular subexpression recursion limit (32766) exceeded at ./mysql2pgsql.perl line 860, <IN> line 1288.
Complex regular subexpression recursion limit (32766) exceeded at ./mysql2pgsql.perl line 860, <IN> line 1570.
[18:32:40] <ermine> не въехал новый дамп в постгрес
[18:33:14] <ermine> не хватило сктипту искусственного интеллекта
[18:36:16] <ermine> надо добыть какой-нить ocaml-mysql
[18:38:07] <ermine> f[x]: 1.0.4 - последний?
[18:43:39] iNode вышел(а) из комнаты
[18:43:43] sceptic вошёл(а) в комнату
[18:46:04] <f[x]> ermine: http://ocaml-mysql.forge.ocamlcore.org/
[18:46:48] <f[x]> btw, забыл заannounce'ить ещё один crap - http://dbus-static.forge.ocamlcore.org/
[18:47:46] <ermine> даа, уже свежее есть
[18:48:33] Typhon вышел(а) из комнаты
[18:51:10] <ermine> это наверное только для ноута?
[18:53:25] <f[x]> ?
[18:53:46] <ermine> dbus
[18:54:14] ermine поставила камломускуль и ушла ваять читалку
[18:55:01] <f[x]> почему? dbus усиленно захватывает десктоп, некоторые горячие головы даже в ядро хотят его запихнуть :)
[18:56:23] <ermine> мне б гибернейтизировать видеокарту
[19:20:33] 3drun вошёл(а) в комнату
[19:20:38] 3drun вышел(а) из комнаты
[19:20:55] <sceptic> бежим бежим!
[19:41:08] <f[x]> о, ermine опять вбросила в haskell
[19:42:43] <ermine> зря они там хайлатилили меня
[19:43:21] <sceptic> я предлагаю действенное средство от спамеров, но на него нужно много денег.
[19:43:29] <gds> эфпячу логи, по нраву :)
[19:44:06] <sceptic> без модификации ejabberd / клиентов / етц
[19:44:33] <olegfink> gds, так вот какова этимология упячки!
[19:45:00] <gds> olegfink: эфпячка пошла потом уже, вроде :)
[19:45:18] <gds> sceptic: колись, заинтегрировал :)
[19:45:51] <olegfink> sceptic, перейти на ирц?
[19:45:57] <ermine> sceptic: ты предложил универсальное средство?
[19:46:14] <sceptic> gds: :) делаем меня президентом России и я первым указом назначаю смертную казнь за спам. второй вариант ядерные боеголовки, но тут больше денег пожалуй надо.
[19:46:17] <olegfink> (а деньги на то, чтобы подкупить принципиальных жабберопоклонников типа ermine)
[19:46:18] <ermine> или работающее только в некоторых случаях?
[19:46:30] <sceptic> ermine: ядерные боеголовки работаю универсально
[19:46:54] <sceptic> надо бороться не со спамом, а с причиной спама.
[19:47:00] <sceptic> А причина спама это люди.
[19:47:09] <sceptic> => надо бороться с людьми
[19:47:29] <ermine> ну если поспамят гденить ocaml@ - грохать?
[19:48:09] <sceptic> geolocation по ip и точечный ядерный удар.
[19:48:39] <ermine> дай ип
[19:48:51] f[x] вышел(а) из комнаты
[19:48:51] ygrek вышел(а) из комнаты
[19:49:02] <olegfink> общество анонимных любителей xmpp
[19:49:11] <sceptic> 95.30.152.56
[19:49:33] <ermine> сам придумал?
[19:49:38] <sceptic> нет это мой.
[19:49:46] <sceptic> ping sceptic13.dyndns.org
[19:50:00] <ermine> а, предлагаешь забанить тебя за спам?
[19:50:16] <olegfink> по-моему, речь шла про ядерные боеголовки.
[19:50:17] sceptic не является спамером
[19:51:24] <ermine> ну нинаю, если ядерная боеголовка гденить сработает, она покроет геологию радиусом в сотню километров или больше
[19:51:40] <ermine> а в этом кругу дофига айпи
[19:52:07] <olegfink> ну так это классика же
[19:52:22] <olegfink> кто там в 90-х RIPN забанил? AOL, кажется?
[19:52:29] <sceptic> ermine: 50км если быть точным. если это не грязная атомная бомба.
[19:53:14] <sceptic> реально радиус поражения конечно зависит от местности
[19:53:23] <ermine> да вряд ли 50 км
[19:53:37] f[x] вошёл(а) в комнату
[19:53:42] <ermine> если целиться правильно, то весь регион просто останется без маршрутизаторов
[19:54:03] <ermine> f[x]: присоединяйся к обсуждению животрепущего оффтопика
[19:54:14] <sceptic> мне вот что интересно.. о чём думаю люди которые спамят?
[19:55:27] ygrek вошёл(а) в комнату
[19:56:17] <ermine> о пиве и бабах
[19:56:38] <olegfink> о бабАх?
[19:57:09] <olegfink> (кстати, а какой звук у ядерной боеголовки?)
[19:57:40] <ermine> ультразвуковой вроде
[19:57:56] <ermine> если не инфра
[19:58:15] <olegfink> в общем, не ба-бах
[19:59:11] <ermine> спроси у японцев, если они выжили
[20:01:58] <ermine> мне вот интереснее как построить сайт без sql
[20:02:17] <sceptic> пиши в xml
[20:03:24] <olegfink> а зачем sql для сайта?
[20:04:09] <f[x]> ermine: исопльзуй облачное xpath хранилище, каждая xml-нода - узел gfs
[20:05:29] <f[x]> и вообще я сейчас всех побаню и не посмотрю что вечер пятницы
[20:06:40] <ermine> я не начинала!!!
[20:07:03] <ermine> а сайт без sql - это не оффтопик, ибо ocsigen
[20:07:57] <ermine> как бы сделать dht на камле?
[20:08:00] f[x] вышел(а) из комнаты
[20:08:24] <ermine> таки счел за оффтопик
[20:08:43] zert вошёл(а) в комнату
[20:09:11] <olegfink> и ведь действительно, всех побанил
[20:09:17] <zert> ermine: CouchDB
[20:09:18] <olegfink> с какой-то точки зрения
[20:09:19] <sceptic> DHT это то что я думаю?
[20:10:36] <ermine> zert: оно ж на ырланке и работает только в пределах одного ДЦ
[20:10:49] <ermine> и наверняка жутко тормозит
[20:11:31] <zert> а тебе что надо-то?
[20:11:43] <ermine> sceptic: дистрибутед хэштаблица
[20:11:56] <sceptic> ага, значит правильно понял.
[20:12:02] <zert> юзай DHL
[20:12:16] <ermine> zert: в основном - помечтать о кластере
[20:12:17] <zert> будут доставлять пакеты курьером
[20:12:37] <ermine> zert: если ты знаешь термин CAP, то у ырланка плохо с буквой P
[20:12:41] <zert> осталось поверх них написать fuse-интерфейс и будет распределённая файловая система
[20:12:53] <zert> ermine: что это значит?
[20:13:42] <ermine> если кластер разваливается, то совсем разваливается
[20:14:09] <ermine> тогда приходится перезагружать одну ноду, которая всосает всю реплику с другой ноды с нуля
[20:14:35] <zert> unsplit какой-то изобрели
[20:14:48] <zert> восстанавливает целостность кластера
[20:15:17] <zert> ermine: ты на нашу рассылку не подписана?
[20:15:41] <ermine> zert: нет
[20:15:58] <ermine> zert: а там что-то есть?
[20:16:23] <zert> туда можно писать и получать ответы
[20:16:41] <ermine> так это ерланг, оффтопик же
[20:16:56] <zert> смотря где
[20:27:32] Typhon вошёл(а) в комнату
[21:02:02] Typhon вышел(а) из комнаты
[21:05:55] Typhon вошёл(а) в комнату
[21:28:28] <ermine> ygrek: ты здесь?
[21:28:47] <ermine> ygrek: а sqlgg не умеет всякие описательные операции мускуля типа show tables?
[21:29:49] <ermine> и прочитать схему
[21:29:52] <ermine> ну и ладно
[22:12:30] <sceptic> А кто-нибудь тут с LL грамматиками может помочь?
[22:20:06] <ermine> dont ask to ask, only ask
[22:22:02] <sceptic> ermine: там just ask
[22:22:37] <sceptic> Да я с примером из "Книги дракона" не могу разобраться. То ли в книге ошибка, толи грамматика такая.
[22:23:18] <ermine> в какой главе?
[22:28:06] <sceptic> http://paste.org.ru/?8iu5ll
глава 4 (образец грамматики в 4.1.3 страница 254) (4.4.3 LL(1) грамматики страница 288 до таблицы 4.17 на странице 291)
[22:29:28] <sceptic> мэтчим с использованием таблицы синтаксического анализа. и по `)' по символам на стэке уходим в $ не генерируя никаких ошибок
[22:30:01] <sceptic> могу самого "дракона" дать в djvu
[22:30:11] zert вышел(а) из комнаты
[22:32:39] <ermine> та он есть на обеих языках
[22:32:58] <ermine> только лениво отвлекаться и тем более что я до четвертой главы не дочитала
[22:33:12] <ermine> но судя по твоим словам, у тебя там список чего-то
[22:33:20] sceptic знает четвёртую наизусть, но за подробны разбор сел недавно
[22:33:33] <ermine> скорее всего забыл обработать случай "пустой список"
[22:34:03] <sceptic> у меня есть код на питоне который эту штуку парсит :) и руками я пробовал. по a)))) просто прекращает парсить и выходит без ошибки =/
[22:34:35] <sceptic> я пока сделал если tokenizer.end() != True то ругаемся что мы не до конца строчку распарили.
[22:34:39] <sceptic> тьфу
[22:34:46] <sceptic> чёртов спеллчекер.
[22:34:54] <sceptic> *распарсили
[22:36:03] <ermine> матчинг парных скобок?
[22:36:14] <sceptic> угу
[22:36:31] <ermine> классическая задача
[22:37:12] <sceptic> хочется средствами грамматики это делать
[22:38:18] <sceptic> вот табличка: http://img215.imageshack.us/img215/2782/20100306003644534x198sc.png
после того как я `a' распарсиваю, у меня на стэке остаётся T'E'$ по таблице явственно видно,что по ) T' E' уходят в epsilon те мы просто их снимаем.
[22:40:30] <ermine> ну суть там вкратце paren = char '(' paren char ')', так?
[22:41:44] <sceptic> типа того
[22:42:25] <ermine> а ты на ocamlyacc пытаешься?
[22:42:46] <sceptic> нет, "руками"
[22:42:48] <sceptic> с нуля тобишь
[22:43:04] <ermine> а
[22:43:12] <sceptic> пока на C/Python тренируюсь по привычке...
[22:43:32] <ermine> надо будет какнить возобновить чтение толстого талмуда
[22:43:54] <sceptic> У тебя в бумаге? :)
[22:44:06] <ermine> нет
[22:44:23] <ermine> на макбуке только читать такое
[22:45:55] <sceptic> Да она большая... Такой по башке треснуть мало не покажется..
[23:13:42] ygrek вышел(а) из комнаты