Objective Caml - Понедельник, 28 марта 2011

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 28 марта 2011< ^ >

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

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

GMT+4
[00:00:37] ermine вышел(а) из комнаты
[00:07:58] Kakadu вышел(а) из комнаты
[00:20:44] Typhon вошёл(а) в комнату
[01:23:45] f[x] вышел(а) из комнаты
[01:23:45] ygrek вышел(а) из комнаты
[01:27:37] gds вышел(а) из комнаты
[01:28:10] gds вошёл(а) в комнату
[01:52:22] f[x] вошёл(а) в комнату
[03:51:12] Typhon вышел(а) из комнаты
[03:58:04] zert вышел(а) из комнаты
[05:21:09] ftrvxmtrx вышел(а) из комнаты
[05:27:53] ftrvxmtrx вошёл(а) в комнату
[08:01:06] ermine вошёл(а) в комнату
[10:03:43] iNode вышел(а) из комнаты
[10:13:20] komar вышел(а) из комнаты: Replaced by new connection
[10:13:20] komar вошёл(а) в комнату
[10:48:02] iNode вошёл(а) в комнату
[11:03:41] Typhon вошёл(а) в комнату
[11:32:57] bobry вошёл(а) в комнату
[11:39:36] f[x] вышел(а) из комнаты
[12:06:46] f[x] вошёл(а) в комнату
[12:58:03] <Typhon> https://github.com/camlunity/ocaml-react — заенаблил оасис в реакте. думаю, по возможности, делать это для тех пакетов, которые ставлю, и в которых нету оасиса, чтобы потом можно было odb.ml пользовать для установки и более менее нормальный бутстрап зафигачить. как считаете, нужно в оасис-дб это пихнуть или на фордж какой-нибудь? как я понимаю, одб.мл только с оасисдб будет ставить пакеты, так что туда пихнуть надо, а на фордж?
[12:58:59] <f[x]> э, а авторам патч просто скинуть - не?
[13:00:04] <Typhon> да, те которые активны надо патч
[13:19:27] iNode вышел(а) из комнаты
[13:34:46] <gds> а вы уже быдлокодите? http://habrahabr.ru/blogs/compilers/116301/
[13:39:15] <bobry> кстати, чем вызыван такой хайп вокруг F#?
[13:39:46] <Typhon> дотнет программистов, видимо, много, фп в моде.
[13:42:11] <gds> да, сочетание факторов.  ну и мекрософт.
[13:42:41] <gds> даже видеоуроки есть.  знакомый интересуется ими, рассказывал.
[13:43:56] <bobry> ну на rsdn регулярно про него трубят
[13:50:09] <gds> им можно.
[13:50:52] <Typhon> рсдн вообще какая-то особая территория, кажется
[13:51:09] <bobry> обитель зла :)
[13:51:39] <gds> или дуального к нему ко-зла.
[14:39:13] vshender вошёл(а) в комнату
[14:50:30] Kakadu вошёл(а) в комнату
[15:01:44] ftrvxmtrx вышел(а) из комнаты: offline
[15:01:50] ftrvxmtrx вошёл(а) в комнату
[15:07:26] bobry вышел(а) из комнаты
[15:07:37] bobry вошёл(а) в комнату
[15:16:11] bobry вышел(а) из комнаты
[15:16:24] bobry вошёл(а) в комнату
[15:20:36] <f[x]> naxu taming caml -> http://gallium.inria.fr/~naxu
[15:22:18] <gds> ябвдул.
[15:27:50] <Typhon> odb.ml поломали, эх. точнее odb сам страницу куда-то дели. не пойму, зачем они парсят html если можно сделать типа-апи для одб.мл, где без всякого хтмла отдавать список пакетов.
[15:32:36] <gds> прошу, помогайте.  Начал рефакторить велосипед, но с больной головой уже часа полтора не могу найти, почему не типизируется и вообще почему выводится такой тип ("('c process_message as 'c) process_group").  Пушнул на bitbucket.
$ hg clone https://gds@bitbucket.org/gds/parvel && cd parvel && make all
[15:37:00] bobry вышел(а) из комнаты: Replaced by new connection
[15:37:00] bobry вошёл(а) в комнату
[15:45:59] <gds> вот бы иметь штатный и рабочий error slicer, или как там, когда подсвечиваются все куски кода, вызвавшие текущую ошибку типизации.
[15:50:16] <Kakadu> а такой в приципе может быть?
[15:50:32] <Kakadu> по сути это все меств где переменная встречается
[15:50:36] <Kakadu> места*
[15:53:59] <gds> Kakadu: например, http://www.cs.ru.nl/~chaack/slides/papers/type-error-slicing-slides.pdf
и не все места (некоторые, типа "ignore x", не приводят к ошибкам), и не только места, где встречается (ещё -- места, где создаётся, и места, где определяются типы).  Вопрос чуть сложнее.
[15:55:07] <Typhon> gds: а зачем ты в create_process  передаёшь server_group?
[15:56:36] <gds> зачем группы вообще -- планировал использовать их для команд типа "а ну всем {перегрузиться,выключиться}".  Зачем именно server_group -- группы по идее должны быть совместимы, так как использую для определения групп как серверов, так и процессов тип group_gen (parvel.ml, строка 78 или около).
[15:59:21] <Typhon> шота, caml-toplevel не дружит с revised :(
[16:00:05] <bobry> кстати, как по русски будет toplevel? в смысле как его можно обозвать?
[16:01:29] <gds> bobry: REPL :]
[16:02:22] <gds> Typhon: caml-toplevel -- это который из бинарника "ocaml"?  Я боянист-тамада-услуги, но
#use "topfind";;
#camlp4r;;
и по идее ок.
[16:02:50] <bobry> хм, я думал что toplevel это название всех штук типа #foo
[16:02:54] <bobry> а это просто репл?
[16:03:03] <Typhon> который с туарегом в буфере имакса.
[16:03:09] <bobry> окей, как тогда #use, #require и компания называются?
[16:03:11] <bobry> макросы?
[16:03:14] <Typhon> camlp4r загрузил, да
[16:04:04] <gds> bobry: #use и прочие -- вроде "toplevel directives" где-то встречал.  Но их расширяют через #use "topfind" например.  Советую посмотреть.
[16:04:21] <gds> Typhon: а какая общая идея -- оно рожает топлевел, кормит его буфером и всё?
[16:05:16] <Typhon> а чорт его знает, может ещё что-то делает, я не смотрел реализацию. сейчас просто M-x shell ; ocaml запустил
[16:07:03] <gds> всё понял.  А я пошёл через ocamlbuild parvel.inferred.mli, фтыкаю вот.
[16:09:08] <gds> самым простым решением было бы выпилить серверные группы из апи вообще, но жопой чую, прикотиццаа.
[16:18:37] gds away 30..90min, ибо реально задрала типизация, надо протрясти тухес.
[16:19:39] zert вошёл(а) в комнату
[16:29:09] <zert> Йоба все уже видели?
[16:33:18] <bobry> ага
[17:13:07] <ermine> а что там?
[17:15:38] <zert> http://habrahabr.ru/blogs/compilers/116301/
[17:16:51] <f[x]> фу makefile
[17:16:55] <ermine> ох уж эта хабра
[17:17:47] ermine потихоньку созревает к борьбе с капчой
[17:37:14] <ermine> в йобе слишком многа букфф
[17:52:08] <f[x]> ещё todo - в toplevel'е посреди работы хочется загрузить cmo (не делая топлевел отдельный) - #load "xxx.cmo" ругается на зависимости (локальные и внешние) - написать тулзу/директиву топлевела которая бы парсил xxx.ml.depends файл от ocamlbuild'а и в соответствии с ним загружала зависимости
[17:52:19] <f[x]> для внутренних это должно работать нормально, а для внешних надо будет костылять
[18:00:15] komar вышел(а) из комнаты: Replaced by new connection
[18:00:16] komar вошёл(а) в комнату
[18:15:41] komar вышел(а) из комнаты: Replaced by new connection
[18:15:46] komar вошёл(а) в комнату
[18:52:23] komar вышел(а) из комнаты: Replaced by new connection
[18:52:24] komar вошёл(а) в комнату
[18:52:39] komar вышел(а) из комнаты
[18:52:57] komar вошёл(а) в комнату
[18:54:33] avysk вошёл(а) в комнату
[18:54:39] avysk вышел(а) из комнаты
[19:02:15] <Kakadu> ктонить представляет как раковина должна крепиться к сифону?
[19:02:29] <Kakadu> я вижу винт, вижу для него отверстие,
[19:02:38] <Kakadu> но куда вкручивать - непонятно
[19:03:31] <vshender> Это надо на emacs@ спрашивать :)
[19:03:39] <vshender> http://www.teuton.org/~ejm/emacsicon/GnuEmacs.png
[19:09:00] <gds> там разные интерфейсы есть, в том числе несовместимые.
[19:35:42] <Kakadu> короче камлевый программист всегда сможет прикрутить сифон
[19:35:48] <Kakadu> пока не течет
[19:48:51] komar вышел(а) из комнаты: Replaced by new connection
[19:48:52] komar вошёл(а) в комнату
[20:23:24] komar вышел(а) из комнаты: Replaced by new connection
[20:23:25] komar вошёл(а) в комнату
[20:53:47] <gds> в общем, метод ловли ошибки типизации я уже как-то описывал, и в этот раз вышло.  Была функция с типом create_process : process_group 'a -> process_dispatcher 'a -> IO.m (process 'a) -- создаём абстрактные типы, участвующие в сигнатуре (в данном случае -- type a), заменяем 'a на a, типизируем, заменяем взад на 'a или убираем сигнатуру вовсе.  Чреззадно, но лучше не умею.
[20:56:03] Kakadu нифига не доумевает как создать репозиторий на гитхабе новый. не зер-френдли какой-то интерфейс
[20:56:29] <Typhon> Kakadu: заходишь в дашбоард — справа твои репки, над ними кнопка — new repo
[20:56:56] <Kakadu> Typhon: спасибо
[21:04:30] Typhon вышел(а) из комнаты
[21:08:16] <gds> насчёт юзер-френдли гита -- у меня сегодня случилось озарение.  я зашёл на главную страницу гитхаба и внезапно понял, как выглядит целевая аудитория гита.  Если у кого графика отключена или просто давно не заходили, рекомендую.
[21:09:04] <Kakadu> под котят?
[21:09:49] <gds> под котят с красными глазами и тентаклями.
[21:11:12] <Kakadu> /me: интересно, как скопипастить с кусок публичного ключа на сервер....
[21:11:59] <Kakadu> проблемы 2: виртуалка и неохота ставить иксы)
[21:27:25] vshender вышел(а) из комнаты
[21:42:31] bobry вышел(а) из комнаты: Replaced by new connection
[21:42:32] bobry вошёл(а) в комнату
[22:00:36] bobry вышел(а) из комнаты
[22:04:08] Typhon вошёл(а) в комнату
[22:07:00] <Typhon> Kakadu, а какие проблемы, не понял? у тебя хост -- венда, в виртуалке -- юнипс и ты хочешь публчиный с юнипса скопировать и в браузере поделать им что-то, а браузер в хост ос работает?
[22:07:43] <Kakadu> дело было в том, что я не хотел подымать иксы
[22:07:57] <Kakadu> уже иксы поднял на виртуалке и всё сделал
[22:08:47] <Typhon> так я не пойму, зачем иксы нужны, ну да ладно :-) кстати, убер решение -- sshd на вируталке, putty -- на винду ^_^
[22:09:29] <Kakadu> да нет у меня винды
[22:09:35] <Kakadu> и там и там дебиан
[22:12:38] <Typhon> ya dawg, i heard u like debian, so we put debian in ur debian so u can repair system after update when u repair system after update!
[22:15:11] <Kakadu> Typhon: мне просто надо осторожнo программировать на си, чтобы не влезть не в ту память. На хост-системе стремно ядро осыпать, а до user-mode linux руки не дошли.
[22:16:57] <Typhon> да, я так и понял, просто вспомнилось :-) qubes os смотрел? http://qubes-os.org/Home.html
[22:18:35] <Kakadu> Typhon: в первый раз слышу
[22:24:52] bobry вошёл(а) в комнату
[22:37:40] <gds> Typhon: про дебиан в виртуалке -- грамотно подметил.  Йоу!
[22:39:10] <Typhon> gds, йоу :-) а нашлась ошибка типизации?
[22:42:48] <gds> нашлись (много).  Собственно, первая ошибка сама по себе странноватая, и без полиморфных вариантов не возникла бы: в одном месте значение имело тип process_message 'a (полиморфный вариантный тип), в другом -- 'a, и оно унифицировалось.  (а что -- вполне нормальное поведение, не спорю.)  Унифицировалось до "((process_message 'a) as 'a)".  Эту нашёл по parvel.inferred.mli.  Но там ещё были, их уже через чоткие типы искал.
[22:42:53] ygrek вошёл(а) в комнату
[23:28:07] ermine вышел(а) из комнаты
[23:34:52] ygrek вышел(а) из комнаты
[23:35:02] ygrek вошёл(а) в комнату