Objective Caml - Суббота, 7 ноября 2009

Objective Caml

ocaml@conference.jabber.ru

Суббота, 7 ноября 2009< ^ >

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

GMT+3
[00:08:47] Typhon вошёл(а) в комнату
[00:15:27] DimitryKakadu вышел(а) из комнаты
[00:44:19] Typhon вышел(а) из комнаты
[01:13:30] <gds> ermine: дошёл до терминала только что. Мутабельный тип вводить, разве что. Но тупак ведь.
Или уже решила как-нибудь по-другому?
[01:24:28] <gds> то есть, можно сделать как-то так:
# value mutfunc1 = ref (fun a b -> a+b);
value mutfunc1 : ref (int -> int -> int) = {val=<fun>}
# value res x = (mutfunc1.val x 3);
value res : int -> int = <fun>
# res 5;
- : int = 8
# mutfunc1.val := (fun a b -> a*b);
- : unit = ()
# res 5;
- : int = 15
#
ничего умнее не приходит в голову.
[07:56:39] ExplicitCall вошёл(а) в комнату
[08:55:14] ExplicitCall вышел(а) из комнаты
[09:06:30] ExplicitCall вошёл(а) в комнату
[09:21:06] ExplicitCall вышел(а) из комнаты
[09:24:18] ExplicitCall вошёл(а) в комнату
[09:43:38] ExplicitCall вышел(а) из комнаты
[09:44:19] ExplicitCall вошёл(а) в комнату
[10:00:14] ygrek вошёл(а) в комнату
[10:13:50] DimitryKakadu вошёл(а) в комнату
[10:50:24] DimitryKakadu вышел(а) из комнаты
[12:09:15] <ermine> gds: хреново
[12:16:12] ygrek получил bus error на x64, красота
[12:17:30] <ermine> а что оно значит в случае с камлом?
[12:17:36] <ermine> может это сишный биндинг?
[12:17:46] <ygrek> кривой биндинг
[12:17:48] <ygrek> угу
[12:18:19] <ermine> ygrek: имхо тебе уже пора складывать в одном месте все свои патчи
[12:18:38] <ermine> одна репа, в нем подкаталоги-названия проектов :)
[12:19:05] <ygrek> я пока не теряю надежды пропихнуть в апстрим
[12:20:01] <ermine> ну из гита можно удалять то или иное после удачного пропихивания
[12:20:31] ermine пока решила оставить злополучный плагин в сторонке
[12:20:52] <ermine> щас наверное буду марковы цепи тягать
[12:21:16] <ermine> ygrek: помницо, ты говорил, что надо первую пару слов фразы всю считывать в память
[12:21:38] <ermine> а это ничем не грозит, если бот сидит в нескольких конфах с раздельными базами?
[12:22:12] <ygrek> надо значит несколько раз считывать
[12:22:19] <ygrek> по одному кэшу на каждую базу
[12:22:30] <ygrek> ну и если база шарится, то синхронизация
[12:23:06] <ermine> а не опухнет ли?
[12:23:24] <ermine> база не шарится
[12:23:27] <ygrek> ну :)
[12:23:44] <ygrek> тогда опционально, только для большой базы
[12:24:00] <ygrek> либо хранить как нибудь совсем по-другому
[12:24:22] <ermine> да знать бы на что sql заменить
[12:24:42] <ermine> можно ведь хоть свой формат
[12:25:33] <ermine> блин
[12:25:40] <ermine> тогда и маркова придется отложить
[12:27:06] <ygrek> make it run, make it right, make it fast :)
[12:27:55] <ermine> в случае с первой проблемой это не срабатывает
[12:28:14] <ygrek> мутабельная функция - вполне make it run
[12:28:30] <ermine> там хитрая фишка: плагин wtf должен себя вести по-разному, если подгружен или не подгружен плагин мука
[12:28:49] <ermine> как следствие - плагин wtf бьем на две части из-за проблем с компиляцией
[12:29:17] <ermine> встает вопрос - как плагину wtf-muc заменить просто wtf при необходимости
[12:29:21] <ermine> в рантайме
[12:29:59] <ermine> мешает то, что в динамических модулях нельзя ничего вызывать - они должны свои функции гденить зарегать (и выполняя все let _ =.. )
[12:30:33] <ermine> в общем, надо купить завтра бейлиз
[12:30:50] <ermine> и немного ветчинки
[12:31:04] ExplicitCall вышел(а) из комнаты
[12:31:19] ExplicitCall вошёл(а) в комнату
[12:34:29] <ermine> остался один плагин неокученным - seen
[12:34:44] <ermine> там вроде подвохов нет, так что отдохнем на нем
[12:36:15] <gds> а как плагин wtf регистрируется? там же перерегистрировать его при загрузке wtf-muc.
[12:42:35] <ermine> он регистрит себя как плагин - добавляет кудато функцию, которая вызывается при создании экземпляра бота, та функция далее добавляет функции в хуки, то есть участвует в строительстве хуков и поведения
[12:43:21] <ermine> нельзя плагину-брату wtf-muc заменять его в списке плагинов, поскольку он регистрит себя в пдагине мука
[12:43:56] <ermine> и таким образом wtf-muc будет позван когда wtf уже разложит свои щупальца по местам
[12:44:48] <ermine> было бы проще изначально совсем заменить плагин wtf, но при этом теряются открытые файлы баз
[12:45:20] <ermine> это как раз был вопрос как заменить f1 на f2, чтобы спасти базы в аргументах
[12:46:06] <ermine> можно вынести базы в хэштабицу с ключами сессий, надо посмотреть
[12:46:09] <gds> может базы регистрить отдельно, а из обоих братьев обращаться к ним? хотя не знаю, как у тебя устроено.
[12:47:15] <ermine> такой вариант возможен, поскольку второй брат вызывает код из первого в некоторых случаях
[12:47:49] <ermine> кстати, такой код во втором брате появился также и из-за того, что в sqlgg нельзя вставлять кусок запроса в запрос
[12:48:34] <ermine> но мне понравилась идея деления кода на подобную ориентацию, тут уже другие проблемы в архитектуре самого бота
[12:51:30] <ermine> я еще подумаю, не сделать ли хук в самом wtf-первом брате, чтобы туда встраиваться
[12:52:53] <ermine> с этим было бы проще, если бы let _ = топлевелы не мешались на каждом шагу
[13:57:43] animist вошёл(а) в комнату
[15:21:44] Mon вышел(а) из комнаты
[15:21:48] Mon вошёл(а) в комнату
[16:06:00] sceptic вышел(а) из комнаты
[16:30:52] sceptic вошёл(а) в комнату
[16:53:57] <ermine> http://rsdn.ru/forum/decl/3594298.flat.aspx#3594298
[17:00:54] ExplicitCall вышел(а) из комнаты
[17:07:02] sevenov вышел(а) из комнаты
[17:10:56] Kakadu вошёл(а) в комнату
[17:20:31] Kakadu вышел(а) из комнаты
[17:32:07] sevenov вошёл(а) в комнату
[17:42:09] ygrek вышел(а) из комнаты
[17:54:01] sceptic вышел(а) из комнаты
[18:04:43] sceptic вошёл(а) в комнату
[18:51:50] ygrek вошёл(а) в комнату
[18:57:57] animist вышел(а) из комнаты
[18:58:16] animist вошёл(а) в комнату
[19:36:59] sceptic вышел(а) из комнаты
[19:40:43] sceptic вошёл(а) в комнату
[19:50:42] animist вышел(а) из комнаты: Replaced by new connection
[20:14:43] anon12321 вошёл(а) в комнату
[20:21:06] iNode вышел(а) из комнаты
[20:21:10] iNode вошёл(а) в комнату
[20:28:54] anon12321 вышел(а) из комнаты
[20:42:17] sceptic вышел(а) из комнаты
[20:43:27] <ygrek> хотел ocamlc (с натяжкой) вот сюда ответить -- http://dottedmag.livejournal.com/298139.html -- но openid там закрыт
[20:56:24] <ermine> так он в жабире есть
[20:56:30] <ermine> доттедмаг
[20:58:31] dottedmag вошёл(а) в комнату
[20:58:45] <ermine> вот он, собственной персоной
[21:00:12] <ermine> dottedmag : голос
[21:00:17] <dottedmag > ygrek: не катит. кросс-компиляция ни к чёрту, нативного кодогенератора для MIPS и ARM нет.
[21:00:28] Dema вошёл(а) в комнату
[21:00:50] SV0L0CH вошёл(а) в комнату
[21:00:59] <dottedmag > Толщину рантайма не измерял.
[21:00:59] <ermine> /vpoce SV0L0CH
[21:01:07] <ermine> ой
[21:02:38] <ermine> ygrek: встречай гостей-то!
[21:03:18] <SV0L0CH> это праавда что если из хаскеля убрать ленивость то получится камль?
[21:03:45] <dottedmag > SV0L0CH: неправда. ещё тайпклассы надо убрать
[21:03:52] <ermine> ну тут нет бота testbot
[21:04:20] <SV0L0CH> а перегрузка хоть в какомто виде есть?
[21:05:05] <dottedmag > 2.0 +. 2.0
[21:05:15] <ermine> а в хаскеле есть динамическая подгрузка модулей?
[21:05:49] <ermine> это надо в соседней конфе спрашивать, ага
[21:05:51] <ermine> :)
[21:05:54] <dottedmag > Эта перепалка вполне показывает состояние и окамла, и хаскела :)
[21:05:55] <Dema> hs-plugins не то?..
[21:06:44] <ermine> это байткод или нативный?
[21:06:45] <SV0L0CH> облом... короче... конвертор caml->haskell написать не получится...
[21:07:11] <Dema> ermine, нативный...
[21:07:25] <ermine> ну ладно
[21:07:26] <Dema> Но, помоему, там чуть ли ghc встроенным получается :)
[21:07:30] <ermine> а выгрузить можно?
[21:07:43] <Dema> не знаю..
[21:07:52] <ermine> гг
[21:07:57] <ermine> в камле - нельзя
[21:08:39] <ermine> в цях, говорят, сошку можно выгрузить
[21:09:29] <dottedmag > Если постараться, то можно. Но там если постараться, можно и GOT/PLT попатчить и на ходу то, к чему прилинковались, заменить.
[21:10:21] <SV0L0CH> на сколько я понял caml ближе именно к железу... так чтоли?
[21:11:06] <ermine> хм
[21:11:25] <ermine> ну от него можно получить ассемблерный листинг
[21:11:50] <dottedmag > С -fvia-c можно и от хаскеля получить. А смысл?
[21:11:53] <Dema> кстати, а ocaml на pocket pc существует?..
[21:12:02] <ermine> но зато в самом языке нет возможностей делать ассемблерных вставок
[21:12:54] <Dema> и слава Богу! :)
[21:13:04] <ermine> dottedmag : ну смысл в том, чтобы почитать код и понять, пчу не получается сделать рабочую .so из кода
[21:13:56] <ermine> Dema: на айфоне вроде есть
[21:14:02] <ermine> :))
[21:15:49] <dottedmag > ermine: а что, бывает так, что не получается?
[21:16:38] <ermine> dottedmag : ага, на 64-разрядной машине
[21:16:50] <dottedmag > Эээ. Ну это уже баги в самом компиляторе, IMHO
[21:17:01] <dottedmag > Такого даже gcc не позволяет, если руками ассемблерные вставки не делать.
[21:17:17] <ermine> ну да, бага
[21:17:22] <ermine> в мантисе давно висит
[21:17:32] <ermine> но камло же сдохло, не патчат
[21:17:42] <dottedmag > Так зачем гальванизировать труп? :)
[21:18:12] <ermine> а больше не на какой язык переходить
[21:18:21] <ermine> разве что только на схему
[21:18:45] <SV0L0CH> схема же не компилиццо вроде...
[21:18:56] ermine пошла на jc.jabber.ru проверять наличие такой конфы
[21:19:24] <Dema> ура!!! значит вам придется таки залезать на хаскель! :)
[21:20:01] <SV0L0CH> написать на хаскеле компилятор камля?
[21:20:06] <ermine> зачем хаскиль?
[21:20:51] <ermine> в хаскиле нет даже raise Exception
[21:21:10] <ermine> какие-то странные _|_
[21:21:41] <SV0L0CH> я вот на основе типов Template Haskell набросал DTD и теперь могу писать код в XML редакторах
[21:22:30] <Dema> ermine, не _|_, а (_|_)! :) это две большие разницы :)
[21:22:36] <SV0L0CH> надо есчё caml в xml превратить
[21:22:40] <ermine> я бы лучше xml воспринимала как бинарный протокол
[21:22:53] <ermine> подальше от глаз
[21:22:54] Dema очень много писал стилей на XSLT :)
[21:23:06] <Dema> даже на спор синус считал через ряды :)
[21:23:51] <SV0L0CH> да... с математикой в XSLT весело...
[21:24:18] <Dema> SV0L0CH, ну там просто рекурсивные шаблоны..
[21:24:35] <SV0L0CH> XSLT2 и XQuery хоть позволяют подключать внешние библиотеки
[21:24:36] <Dema> правда кода получилось на целую страничку :)
[21:25:16] <ermine> зато ваш ботик лябдабот падает на вашем хваленном хаскильном хмле
[21:25:23] <SV0L0CH> Dema: зайди ка в xml@
[21:25:24] ermine злорадно хихикает
[21:25:33] <SV0L0CH> хочу коечто обсудить
[21:25:58] <ermine> а чо, есть такая конфа?
[21:29:39] sceptic вошёл(а) в комнату
[22:12:10] <gds> я тут много пропустил. отходил погулять, все дела.
скажите, какой язык самый крутой?
[22:13:04] <Dema> русский.. :)
[22:13:09] <sceptic> китайский
[22:13:14] <SV0L0CH> gds: матерный
[22:13:22] <Dema> точно :)
[22:18:10] <ermine> "зеленые треды" - это маркетинговый ход!
[22:20:35] ExplicitCall вошёл(а) в комнату
[22:22:50] <Dema> почему?..
[22:25:00] <gds> green threads, green peace. 'дец.
[22:28:14] Dema вышел(а) из комнаты
[22:33:07] valexey_ вошёл(а) в комнату
[22:44:27] ExplicitCall вышел(а) из комнаты
[22:44:45] dstatyvka вошёл(а) в комнату
[22:48:40] ExplicitCall вошёл(а) в комнату
[23:14:47] sevenov вышел(а) из комнаты
[23:15:45] ygrek вышел(а) из комнаты
[23:25:38] Typhon вошёл(а) в комнату
[23:32:13] michael.holub вошёл(а) в комнату
[23:33:37] sevenov вошёл(а) в комнату
[23:37:22] <ermine> ну
[23:37:25] <ermine> пойте песни
[23:37:55] <dottedmag > Устраиваем выездное заседание haskell@?
[23:37:58] <Typhon> haskell@c.j.r переезжает?
[23:38:17] <michael.holub> ghc 6.12 меняет семантику на энергичное ЛИ
[23:38:21] <gds> подождите, дайте ocaml@ переехать в scheme@
[23:38:33] <dottedmag > Сумашедшее чаепитие?
[23:38:41] <michael.holub> смена мест!
[23:39:36] <dottedmag > В scheme@ что-то про вывод типов говорили. Хехе.
[23:39:48] <michael.holub> сорри, за тупой вопрос: а меня кто-нибудь видит? а то ichat зараза не говорит, есть у меня войс или нет
[23:40:00] <dottedmag > michael.holub: е видо
[23:40:06] <michael.holub> спасибо
[23:41:34] <SV0L0CH> давайте лутше переодически в xml@ набигать ;-)
[23:41:51] <michael.holub> а что обсуждают в канале по xml?
[23:42:07] <dottedmag > michael.holub: парсинг бинарных протоколов, зуб даю.
[23:42:42] <michael.holub> я уже вижу :) кстати с темой на канале полностью согласен
[23:42:45] <gds> о нет! только не на окамле!!111
[23:46:02] <valexey_> ой, а что, окамл реально мертв?
[23:46:38] <valexey_> или он трансформировался в F#?
[23:47:11] <ermine> да, F# вытесняет настоящее камло
[23:47:19] <ermine> как камло когда-то вытеснило caml-light
[23:47:31] <valexey_> кстати, а на чем нынче модно ваять гуй для окамла?
[23:47:36] <gds> я сегодня записал окамл и все свои проекты на нём на двуслойный dvd-r и торжественно закопал в асфальт. Точно мёртв. Double-checked.
[23:48:11] <ermine> в камле только один развитый гуй - lablgtk2
[23:48:26] <valexey_> тьху, и тут gtk
[23:48:40] <michael.holub> gtk под маком ужасен, эх...
[23:48:43] <ermine> а есть альтернативы gtk?
[23:48:47] <gds> есть labltk.
[23:49:04] <valexey_> qt? ;-)
[23:49:06] <dottedmag > michael.holub: в snow leopard там хоть переключение раскладок починили, так что уже не так страшно
[23:49:09] <ermine> ну разве tk/tcl - альтернатива gtk?
[23:49:10] <valexey_> что-то сффоё?
[23:49:47] <gds> tcl/tk -- не альтернатива, а дедушка gtk, скорее.
[23:49:58] <ermine> dottedmag : а она была сломана?
[23:50:29] <dottedmag > ermine: я не знаю, есть gtk кварцевый или кокоевый, а в gtk-x11 - таки да. Не работало.
[23:50:33] <valexey_> т.о. если хочется чего-то камлообразного и с гуем, то хуже F# лучше нет?
[23:50:50] <michael.holub> qt под маком ничего, а gtk - ужас
[23:51:05] <ermine> ну у меня в леопарде обычном нету гтшного софта кажись
[23:51:07] <valexey_> gtk даже под линухом местами ужос.
[23:51:09] <gds> макофаги : заводы стоят!111
[23:51:14] <dottedmag > gtk везде ужас.
[23:51:33] <ermine> а маковое какао рулит?
[23:51:54] <dottedmag > Проприетарщина. Куда она может рулить?
[23:52:06] <michael.holub> я вкуснее фреймворка не видел, правда я на приличном уровне знал только свинг жавовский и дельфи
[23:52:28] <michael.holub> как оно по сравнению с qt тем же, даже не знаю, но cocoa очень хорош
[23:52:33] <Typhon> люди из haskell@ обсуждают на ocaml@ гуи под маком
[23:52:42] <dottedmag > Перемена мест!
[23:52:44] <gds> дамы и господа.
у нас тут такая штука... заводы реально стоят, а никому дела нет.
[23:52:45] <dottedmag > Пошли в xml@
[23:52:48] <ermine> qt/kde ужаснее
[23:52:53] <michael.holub> я уже там :)
[23:53:51] <valexey_> просто тут есть студентик-математик.. пытаюсь совратить его на что-то функциональное с плюсов. вот хотел ocaml ему.
[23:54:10] <valexey_> но коль gtk only.. то наверно таки F#
[23:54:32] <michael.holub> J, K, Wolfram Mathematica?
[23:54:37] <SV0L0CH> первое что я выучил из функциональщины было xslt
[23:54:52] <gds> да, gtk only. суровая штука. если другое не рассматривать.
[23:55:34] <valexey_> michael.holub: всё же хочется что-то более general purpose
[23:56:04] <gds> valexey_: бери java!111
[23:56:20] <valexey_> и чем оно принципиально от C++ отличается?
[23:56:28] <michael.holub> J кстати имеет привязки и к жаве и к gtk
[23:56:31] <gds> гуем, ясен пень.
[23:57:08] <valexey_> для плюсов есть qt. с некоторой натяжкой есть winforms. есть gtkmm, есть wx, есть дофига ещё чего ;-)
[23:59:10] <valexey_> по большому счету что там что там императивщина и ООП.
[23:59:31] <gds> тогда пусть остаётся на плюсах. функциональщина (по крайней мере в окамле, ну в х-е тоже) -- хуже плане гуя. Так ему и передайте.