Objective Caml - Четверг, 15 октября 2009

Objective Caml

ocaml@conference.jabber.ru

Четверг, 15 октября 2009< ^ >

f[x] установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Верблюды грязи не боятся! | release crap

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

GMT+4
[00:30:26] gds вышел(а) из комнаты
[00:30:30] gds вошёл(а) в комнату
[01:48:10] Typhon вышел(а) из комнаты
[08:16:48] gds вышел(а) из комнаты
[08:28:36] john вошёл(а) в комнату
[08:54:47] gds вошёл(а) в комнату
[09:36:59] <gds> отдаю на растерзание: http://gdsfh.dyndns.org/kamlo/RelatedSoftware
что вспомнил и что нашёл через "grep repo conference-logs", я вписал.
как-то мало :)
однако, "имеем отношение" там указано в широком смысле слова, а не только "являемся авторами".
[09:36:59] aloner2k вышел(а) из комнаты
[09:38:27] <gds> и надо бы какое-нибудь оглавление сделать, а то по recent changes искать статьи как-то неудобно :)
[09:43:37] Typhon вошёл(а) в комнату
[09:57:00] <sceptic> gds: мм.. ocaml-dbf не залит ещё?
[09:58:13] <gds> залит. но ocaml forge -- штука особая. пришлось указать репо в описании:
ocaml-dbf library works with dbf (xbase) files, usually created by ancient applications. It comes with utility that 1. import/export dbf files from/to some sql dialect, 2. can try to fix broken dbf file. Repository: http://repo.or.cz/w/ocaml-dbf.git
[09:59:34] <gds> указал ссылку именно на forge, так как предполагаю, что эта ссылка должна указывать на проект в целом, а не только на репозиторий.
[09:59:51] <sceptic> А разве на oforge нету git?
[10:30:17] sevenov вышел(а) из комнаты
[10:32:40] <gds> есть. Но на вкладке SCM он не показывается.
[10:53:03] <sceptic> вот смотрю я на код camlunity, и не пойму, как получается что почти не ставятся ;; ? используется же origin syntax?
[10:54:16] <gds> а там есть упрощение: если дальше идёт let, module, open, class, конец файла и может ещё что-то, то ;; не обязательно.
[10:54:42] <gds> это в топлевеле ;; обязательны, чтобы получить результат прямо сейчас.
[10:56:28] Typhon вышел(а) из комнаты
[10:56:42] Typhon вошёл(а) в комнату
[10:56:57] f[x] вошёл(а) в комнату
[11:00:09] <sceptic> там вообще нет ;; o_O только в ocamlbuild
[11:00:38] <gds> ну значит код удовлетворяет упрощениям.
[11:00:42] <f[x]> потому что весь код состоит из let чуть менее чем полностью
[11:02:11] <sceptic> круть.
[11:04:50] <f[x]> ? это обычное дело
[11:10:06] <f[x]> gds: имхо нет смысла писать ocaml library когда там все либы окамлевские?
[11:10:34] <gds> я тупо копипастил. конечно, смысла нет. а просто library -- вполне.
[11:11:00] <gds> щас я выбью всё камло из той страницы
[11:11:05] <f[x]> я там редактирую
[11:11:55] <gds> о, эта вики даже показывает, что "Вам следует воздержаться от редактирования этой страницы как минимум на 6 минут(ы) во избежание конфликтов."
[11:12:02] <f[x]> угу, уже всё
[11:12:24] animist вошёл(а) в комнату
[11:13:33] <gds> теперь культурнее, да.
[11:19:10] <f[x]> а ты overbld на sf.net указал, с ocamlcore не срослось?
[11:23:45] <gds> не сращивал со времени последнего разговора. как-нибудь напишу ему про анонимный пулл.
да и, учитывая востребованность, не знаю, есть ли смысл. пара человек склонировала с sf.net, и всё.
единственное, думаю, надо на форже указать репозиторий, пусть и требующий регистрации на форже. а пушить и на форж, и на sf.
[11:28:05] <gds> по запросу ocaml mingw у меня 3 ссылки в первой десятке, поэтому, если кому будет действительно нужно, найдут. (правда вот по ocaml windows в первых 50 ссылках нет ничего)
[12:20:02] sevenov вошёл(а) в комнату
[14:02:05] Typhon вышел(а) из комнаты: Replaced by new connection
[14:02:06] Typhon вошёл(а) в комнату
[14:07:43] Typhon вышел(а) из комнаты
[14:07:56] Typhon вошёл(а) в комнату
[14:31:45] <ermine> gds: сделал общее огравление?
[14:32:01] <ermine> gds: или как посмотреть что уже в вики накропали?
[14:42:39] <gds> оглавление пока не сделал, времени не было.
посмотреть -- recent changes, все статьи должны быть там.
[15:05:28] <f[x]> http://gdsfh.dyndns.org/kamlo/TitleIndex
[15:10:03] <gds> зафигачил на глагне.
но нужно что-то поаккуратнее в будущем. потом поковыряю категории или что-то подобное.
[15:46:21] Mon вышел(а) из комнаты
[15:53:21] aloner2k вошёл(а) в комнату
[16:42:32] <gds> (слегка оффтопик) кто-нибудь разбирал толково simply typed lambda calculus? хотел пару вопросов задать, возможно в частном порядке.
[16:46:35] f[x] хочет думать что разбирал
[16:46:39] <f[x]> может конфа есть походящая?
[16:52:59] f[x] на всякий случай оккупировал lamda@
[16:53:02] <f[x]> lambda@
[16:55:40] <gds> мелкий вопрос, имхо, не слишком напряжно, тем более, окамл хорошо использует лямбда-исчисление (другое дело, в нём не стоит вопроса "запретить рекурсию").
вопрос такой. если у нас в simply typed есть только один базовый тип с одним значением, то уже доказана редуцируемость произвольного выражения, проходящего типизацию. Если же у нас в качестве типов не просто один тип, а несколько, да с бесконечным количеством элементов в каждом, что можно сказать про редуцируемость? Интуитивно предполагаю, что тоже будет нормально, так как на примерах при построении рекурсивных комбинаторов типизация обламывается только в случаях, когда при унификации возникает разное количество стрелок.
[16:57:38] <gds> это я, если чо, dsl пишу такой.
[17:03:48] <f[x]> по-моему кол-во типов ортогонально, а вот насчёт первого утвеждения я не уверен
[17:04:30] <f[x]> т.е. редуцируемость и типизация - не связаны никак, редукция не нуждается об информации о типах
[17:05:41] <f[x]> в смысле типов базовых значений
[17:12:06] Mon вошёл(а) в комнату
[17:18:33] <gds> первое утверждение -- "если в simply typed типизируется, то редуцируется"? если да, то в этом я уверен, ибо доказанный факт. (просто не получается построить комбинатор рекурсии в simply typed, даже на бумажке пробовал по приколу)
в общем, тоже предполагаю, что если просто соскоблить все базовые типы и заменить каким-то одним, на редуцируемость это никак не повлияет.
[17:26:07] <f[x]> тогда ок, я первое пытался на пальцах проверить. других исключительных ситуаций при редукции вроде нет
[17:30:20] gds вышел(а) из комнаты
[17:34:19] <f[x]> http://www.pps.jussieu.fr/~li/software/pa_use/README
[17:35:27] <f[x]> и обещает зарелизить аналог Async из F#, тоже наверное на camlp4, то что я недавно спрашивал, очень интересно
[17:41:56] <ermine> f[x]: как глубоко ты вник в camlp4?
[17:43:23] <f[x]> скомпилил (и запустил!) пару примеров
[17:43:36] <f[x]> всё руки не доходят поразбираться
[17:44:00] <f[x]> хотя появились подходящии задачки - так что пора
[17:44:12] <ermine> а у меня мыслишка написать потихоньку туториал по мотивам классического того туториала плюс современности
[17:44:24] <f[x]> ого
[17:44:28] <f[x]> на аглицком?
[17:44:33] <ermine> неа
[17:45:18] <f[x]> хых
[17:45:34] <ermine> дык для камлюнити же
[17:45:58] <ermine> зачем туда всякую иностранную белибериду пихать
[17:46:15] <ermine> f[x]: кста там висит уже дока по camlp4, я как-то сгенерила из исходников
[17:46:27] <ermine> наверное неполная получилась, но что-то есть
[17:46:28] <f[x]> угу, видел
[17:47:15] <ermine> щас сетаплю новый сервер - думаю сегодня попробовать собрать ocsigen там со всеми полными фичами
[17:49:24] <ermine> а туториал по camlp4 - это чтобы самой тоже лучше понять :)
[17:50:21] <f[x]> актуальная туториал было бы здорово
[17:50:39] <ermine> ну да
[17:51:13] <ermine> f[x]: ну ты видел начало странички про camlp4 на вики у gds
[17:53:12] <f[x]> угу
[17:56:31] gds вошёл(а) в комнату
[17:57:14] <ermine> gds: надо там забацать странички про стримы и ревизед
[17:57:39] <ermine> это то, что легко выделяется отдельно от camlp4
[17:59:13] <gds> актуальный туториал было бы круто.
[18:00:22] <f[x]> gds: я это уже сказал!!111
[18:00:52] <f[x]> :)
[18:01:17] <gds> f[x]: теперь она точно не отвертится, дима-кратия ведь.
[18:01:46] <gds> streams + revised -- надо. revised смогу, если никто не опередит. а streams -- они же в доке официальной описаны. разве что написать краткую вводную + ссылку на мануал дать.
[18:05:31] f[x] вышел(а) из комнаты
[18:08:33] <ermine> нету в официальной доке
[18:09:26] <ermine> их надо содрать с того же классического туториала и развить
[18:15:54] sevenov вышел(а) из комнаты: Replaced by new connection
[18:15:57] sevenov вошёл(а) в комнату
[18:23:35] <gds> формально, streams описаны, а вот stream parsers таки в доке camlp4.
[18:23:45] <gds> надо бы оформить тезисно.
[18:32:06] <ermine> та ты пока помучайся с ревизедом :)
[18:35:51] <gds> угу, чем-то одним из этого займусь в следующую очередь.
[18:36:49] <ermine> а сейчас что?
[18:37:15] <gds> сейчас у меня радость, milestone штоле. семантику и типизацию своего языка разметки додумал до упора. надо мета-думать дальше. mutual fold, семантика самой разметки, всё такое.
[18:38:16] <gds> я совсем не претендую на то, что эта разметка будет использоваться хоть где-нибудь публично (например, в качестве вики-разметки на камлунити), но мне лично она нужна таки. хочу структурировать информацию удобным мне образом. уже давно к этому иду.
[18:38:59] <ermine> это для сайта?
[18:39:27] <gds> это для меня в первую очередь. а там -- как получится. можно будет прикрутить, разумеется.
[18:39:52] <ermine> ну надо будет глянуть и покритиковать
[18:41:23] <gds> писать про revised / stream parsers -- занятие, требующее гораздо меньше мозга, его можно и потом.
глянуть -- как оформлю, покажу. но там, вкратце, помесь лиспа и схемы, плюс заточка на текстовую информацию. так что можно начинать критиковать прям щас :)
[18:43:02] <ermine> много-много скобочек?
[18:47:18] <gds> в целом, для ввода -- приемлемо. например, базовый синтаксис для таблицы будет каким-то таким:
[table [= [= Ячейка 1 1] [= 1 2]] [= [= яч_2_1 2_2]]
(таблица 2x2 с заполненными полями)
[18:49:47] <gds> обычно скобок будет меньше в разметке. (в макросах -- не важно их количество, пишутся редко)
ну и прекращаю оффтопик со своей стороны. к окамлу прямого отношения не имеет ибо.
[19:10:11] <ermine> так, можно пособирать ocsigen и сразу отписывать в вики, что ставилось для этого - система голая
[19:10:47] <ermine> причем как водится, ставить буду из девелоперских версий
[19:12:51] <gds> главное окамл из cvs вытяни, чтобы если уж трахаться, то по-полной.
[19:13:47] <ermine> а я его уже из портов поставила, правда больше из любопытства - машина 64 битная на этот раз
[19:14:00] <ermine> и под фрей
[19:14:29] <ermine> раньше мне говорили, что там проблемы со сборкой нативного camlp4 и dynlink
[19:14:44] <ermine> но судя по наличию *.cmxa уже наверное все ок
[19:15:56] <gds> не показатель. вот .cmxs и их загрузка -- показатель.
[19:16:31] <ermine> сборка ocsigena бы показала всю прелесть задницы
[19:16:47] <ermine> gds: ты хочешь, чтобы я поставила камло из cvs?
[19:17:47] <gds> а ты хочешь потратить кучу времени на нестабильную версию, как и в случае с ocsigen и его братвой?
[19:18:31] <ermine> gds: та сборка камла - это фактически ./configure, make world, make opt, make install и забыть
[19:19:12] <gds> в случае нестабильной версии может и не соберётся вообще, либо будет глючить.
[19:19:28] <ermine> у ocsigen практически все версии одинаковы, что официальный релиз, что в darcs
[19:19:40] <ermine> вот про камло не знаю
[19:24:19] <gds> я у окамла нарывался на несобирающиеся версии из cvs несколько раз, однако собираемость тестил падвендой. под юниксами всё попроще обязано быть.
[19:27:16] <ermine> ладно, ну его, пусть будет из портов
[19:38:42] ermine ставит камлевые либлы из портов, новее которых нету
[19:54:43] <ermine> ы, react кудато переехал
[20:00:34] <ermine> нашла
[20:06:28] <gds> ermine: ты там по ходу дела пишешь вике?
[20:11:33] <ermine> gds: как поставить ?
[20:11:43] <ermine> gds: погляди в ocsgen в вики
[20:12:03] <sceptic> i <Esc>
[20:14:24] <gds> погляди, возможно так? :)
[20:17:20] <ermine> gds: а как посмотреть? если нажимаю f5, то ff воспринимает это как повторый POST
[20:18:33] <ermine> нимагу релоадить страницу
[20:18:39] <gds> на название статьи щолкни попробуй.
[20:18:56] ermine уже слегка заипалась с этой вякой
[20:19:33] <ermine> да, щелчок по статье релоадит
[20:19:35] <ermine> жуть
[20:19:38] <gds> вроде был где-то emacs mode под неё.
[20:19:55] <ermine> ну в принципе покатит
[20:19:57] <ermine> спасибо
[20:20:06] <ermine> будем тебя мучать дальше таким же порядком
[20:20:21] <gds> да, вика левая. но -- текстовые файлы, тупой синтаксис, да и стимул писать что-то нормальное :)
[20:20:28] <ermine> надо будет узнать про емакс
[20:20:38] <gds> кстати, там ставится как < > вроде, судя по хелпу.
[20:20:54] <sceptic> правильно
[20:21:02] <sceptic> пишут мудаки
[20:21:17] <gds> 
[20:21:37] <gds> или речь только про хтмл была?
[20:21:37] <ermine> это xhtml
[20:26:39] <ermine> gds: по ходу дела писать проще, чем до или после дела
[20:27:00] <ermine> ну после дела - так, правка слегка
[20:28:00] <ermine> на сегодня с ocsigen однако всё, ибо надоело уже возиться с сервером
[20:28:01] <sceptic> Нужен клиент к вики на ocaml, который позволяет заливать из emacs`овского буфера
[20:28:49] <gds> ermine: если будет совсем влом править, можешь оставлять на потом, по-любому у меня будет состояние, когда мозг не думает, а руки делают.
[20:29:18] <gds> sceptic: на окамле должна быть вика в первую очередь, а там и клиент рисуется.
[20:31:05] <ermine> вот и будет вика на окамле, кто бы сомневался
[20:31:37] <sceptic> вика слегка посложнее простого сайта-портала
[20:31:39] <sceptic> как бэ
[20:32:08] <ermine> жалко нет в онлайне alexott'a, спросить про мойна и емакс
[20:33:31] <gds> он вроде dokuwiki+emacs пользовал раньше, по крайней мере для перевода лисповой книги.
[20:34:58] <gds> а хотя он может больше, чем просто поделиться опытом использования готового решения для мойна.
[20:38:43] <ermine> да мне просто щас лень напрягать мозг, а у alexotta уже мог быть личный опыт использования вики в емаксе, собсно он и есть, следовало только уточнить, какая вики именно
[20:40:37] <ermine> http://moinmo.in/EmacsForMoinMoin
[21:18:56] animist вышел(а) из комнаты: Replaced by new connection
[21:30:22] <Typhon> )
[21:53:27] <ermine> gds: нагадила из имакса, работает, надо изучить режим, спасибо за подсказку
[21:53:52] <ermine> жалко что написать вику по этому поводу - будет оффтопиком...
[21:55:43] <gds> разве что в качестве мета-статьи :) туда, где гайдлайны по редактированию.
[21:57:40] <ermine> ну это если мойнмойн останется навсегда на сайте
[22:01:07] <gds> да даже временная помощь уже помощь.
чем чат отличается от вики -- чат как бы пуш-модель обычно (появляется сообщение, его стоит прочитать, чтобы читать-писать дальше), вики -- пулл-модель (не интересно -- не счьолкай).
[22:01:56] <gds> глядишь, если всё просто, и если мне не нужен будет превью часто, то тоже поставлю себе эту штуку. а то нехорошо -- фактически лисп имплементирую, а в емаксе разобраться ссыкотно.
[22:06:24] <ermine> вообще, когда меняешь игрушку - столько нового узнаешь
[22:07:25] <ermine> только вот из этого нового кое-что было хорошо забытым, и я пожалела, что не записала куданить хинты
[22:07:33] <gds> я даже не буду спрашивать, в каком контексте ты это изначально осознала :]
кроме того, я не меняю, я улучшаю игрушку. добавляю ей кое-что.
[22:13:06] Typhon вышел(а) из комнаты
[22:17:12] sevenov вышел(а) из комнаты
[22:17:54] sevenov вошёл(а) в комнату
[23:51:38] john вышел(а) из комнаты
[23:51:43] Typhon вошёл(а) в комнату