Objective Caml - Воскресенье, 17 октября 2010

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 17 октября 2010< ^ >

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

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

GMT+4
[00:00:04] Typhon вышел(а) из комнаты: Replaced by new connection
[00:00:07] Typhon вошёл(а) в комнату
[00:00:18] Typhon вышел(а) из комнаты
[00:00:39] Typhon вошёл(а) в комнату
[00:06:34] <Typhon> gds, +'a означает, что данный параметр ковариантно входит в тип. -'a — соответственно, ковариантно   --- опечатка, два раза "ковариантно"
[00:16:07] <Typhon> gds, мелочь: "что соответствует окамловскому type t a b .. z = .." --- апострофы
[00:21:49] serp256 вышел(а) из комнаты
[00:23:01] <gds> Typhon: это всё -- нифига не мелочи.  Благодарю, поправил.
[00:26:05] <gds> кстати, а это у всех такие сраные промежутки между строк, которые содержат юникодные символы?
[00:36:31] <arhibot> gds: " сраные индексы!" -- это ок?
[00:36:50] <Typhon> в чятике или жж? в жж между строк ничего нету. да и здесь тоже ок вроде всё
[00:37:14] <arhibot> в жж вроде шире интервалы =(
[00:38:16] <gds> arhibot: считаешь, что "сраные" надо заменить на что-то более корректное?  Идеи есть, заменю без вопросов, если у кого-то есть желание.  Тем более, "типа серьёзная" статья.
[00:38:31] zert вышел(а) из комнаты
[00:40:22] <gds> Typhon: значит у меня какая-то срань в браузере, причём не знаю, какая, но открываю птсо, и такое чувство, что между строками по 5 пустых строк, и выделение мышкой показывает, что таки строка занимает много места, причём та, в которой юникодное есть.  У кого-нибудь есть идеи, в чём может быть дело?
[00:40:28] <Typhon> а по мне -- ок, больше к ним внимания :-) btw, gds, ты не думал в пфп что-нибудь чоткое написать?
[00:40:56] <Typhon> может быть какой-нибудь \v затесался или как его там?
[00:42:23] <gds> внимание можно обеспечить и другими словами -- видно же, что люди удивляются: "как же это можно использовать парашно-сортирную лексику в серьёзных статьях?".  Впрочем, я таки исправлю, наверное.  Особенно если кто-нибудь скажет, что таки неплохо бы.
[00:43:33] <Typhon> browse source ничего странного не показывает, так что, наверное, у тебя браузер тупит
[00:43:41] <gds> \v -- в хтмле я не знаю, что это такое.  Поначалу грешил на стили (css) -- но они к браузеру не имеют отношения.  В посте указывал явно вещи типа ∀ &sube; и всё такое.
[00:44:56] <gds> Typhon: про пфп думал, но я ведь лох :)  Почти всё, что мог, и что интересно, я описал.
Разве что, вон, если ocaml-iteratees реализую, тогда, может быть...  В качестве пособия о том, как монадный код портить (!) на окамл.
[00:46:04] <Typhon> \v вертикальная табуляция, но как оно в хтмл выглядит, я тоже не знаю.
[00:47:07] <Typhon> про лексику: "возможно, умение ничтоже  сумняшеся перескакивать  с  волнующей лирики на непристойное свинство как раз и есть талант"
[00:47:45] <gds> вот, и я тоже не представляю, как \v будет в html.  там оно вообще всё не привязано к страницам и посимвольным позициям.
[00:49:13] <gds> про лексику -- ок :)  Но, всё-таки, исправил "сраные" на "затейливые".  Как-то так и имел ввиду.
[00:55:12] <Typhon> в статью надо добавить Контекст Типизации Г !
[00:55:22] arhibot вышел(а) из комнаты
[00:59:51] Kakadu вошёл(а) в комнату
[01:07:12] Kakadu вышел(а) из комнаты
[01:09:32] Typhon вышел(а) из комнаты
[01:10:26] <gds> ох, про контекст типизации -- думал, идея хорошая :)  Про ссылку на Пирса -- тоже думал.  Как будет желание -- сразу же.
[03:23:53] komar вышел(а) из комнаты
[04:41:41] me@sdfgh153.ru/Meebo вошёл(а) в комнату
[10:12:43] <gds> о, Сёмка!
[10:12:59] <me@sdfgh153.ru/Meebo> О!
[10:13:02] <me@sdfgh153.ru/Meebo> привет
[10:13:08] <me@sdfgh153.ru/Meebo> простите за ник, мибо дурак
[10:14:53] <gds> вроде есть относительно стандартная штука -- "/nick xxx" меняет ник.  но не знаю, работает оно на сервере или на клиенте, в жабберы не вникал.
[10:15:15] <gds> с другой стороны, ник -- мелочи.  идентифицирует -- и ок.
[10:15:16] <me@sdfgh153.ru/Meebo> /nick semka
[10:15:19] <me@sdfgh153.ru/Meebo> не работает (:
[10:15:24] <me@sdfgh153.ru/Meebo> вот да
[10:15:34] <gds> ага, значит клиентская штука это, теперь проверили.
[11:12:28] Kakadu вошёл(а) в комнату
[11:22:45] ermine вошёл(а) в комнату
[11:52:36] komar вошёл(а) в комнату
[12:18:46] arhibot вошёл(а) в комнату
[13:28:29] Kakadu вышел(а) из комнаты
[13:44:14] Typhon вошёл(а) в комнату
[13:48:52] ygrek вошёл(а) в комнату
[14:05:38] <ygrek> gds: пост зачётный
[14:06:13] <ygrek> ссылку на чятик можно лифтнуть до гиперссылки добавив в начало xmpp: :)
[14:12:29] <gds> ygrek: рад, что понравилось :)  А ссылку пробовал так оформить, жыжыца не подхватила, надо a href="xmpp:..." сделать?
[14:13:43] <ygrek> угу
[14:14:09] <ygrek> ещё можно было бы упомянуть LSP
[14:15:08] <gds> о, LSP -- да!  Только сейчас нет времени сформулировать, попозже.
[14:16:59] <gds> поправил ссылку на чятик (фаерфокс даже предложил открыть её в пиджине!), добавил в каментах демонстрацию подтипизации на тупом примере.
[14:17:46] Typhon вышел(а) из комнаты: offline
[14:17:55] Typhon вошёл(а) в комнату
[14:18:59] Typhon вышел(а) из комнаты
[14:19:17] <ygrek> ты я смотрю тэги не проставляешь - потом выбрать все записи про камло из твоего журнала будет непросто
[14:21:39] <ygrek> скриншотики -> http://github.com/facebook/pfff/wiki/Main
[14:27:56] ygrek слоупок, но получается фейсбук уже и до камля добрался..
[15:23:07] me@sdfgh153.ru/Meebo вышел(а) из комнаты
[15:45:43] ygrek вышел(а) из комнаты
[15:45:46] ygrek вошёл(а) в комнату
[17:11:31] zert вошёл(а) в комнату
[17:47:54] Kakadu вошёл(а) в комнату
[18:20:11] <Kakadu> ygrek: Я не совсем понял про pfff. Это хреновина для статического анализа кода на различных языках?
[18:23:51] ygrek вышел(а) из комнаты
[18:33:49] <komar> Напомнило gource.
[18:40:04] ygrek вошёл(а) в комнату
[18:54:04] ygrek вышел(а) из комнаты
[18:54:07] ygrek вошёл(а) в комнату
[18:59:46] <Kakadu> Такой вопрос. На дебиан системах вы юзаете камло из репозиториев или собираете ручками в /usr/local? просто в squeeze появилось 3.12 а я стремаюсь обновляться.
[19:00:14] <komar> Руками лениво.
[19:00:31] <komar> Ставь squeeze в chroot, если жалко.
[19:00:38] <komar> debbootstrap, или как его там.
[19:01:15] <arhibot> Kakadu: сквиз стабильный
[19:01:22] <arhibot> его уже заморозили черти когда
[19:03:06] <arhibot> Kakadu: К тому же можешь добавить репы сквиза, а в apt.conf указать дефолтный дистрибутив stable, и поставить через влажок -t только окамл из сквиза
[19:03:53] <Kakadu> просто недавно в squeeze обновилось камло. Я испугался что это 3.12. Оказалось что норм, это еще 3.11.2.
[19:03:59] <Kakadu> тревога отменяется
[19:04:03] <Kakadu> arhibot: спасибо
[19:04:23] <Kakadu> а то, что сказал komar я даже не понял)
[19:04:35] <arhibot> Kakadu: даже в сиде еще 3.11.2
[19:06:26] <ygrek> Kakadu: вроде да
[19:07:01] <komar> Kakadu: со мной такое часто. Если по каким-то причинам боишься обновляться, но хочется пакет поновее, то можно установить дебиан в папочку с помощью утилитки debootstrap и делать там все что хочешь. Это быстро и небольно, только трафика отжирает и места на жестком диске. А потом заходить туда chroot'ом.
[19:07:06] ygrek локально компилит в ~/opt/ocaml-3.xx
[19:07:38] <ygrek> debootstrap системы это 200М, а трафик решается approx'ом :)
[19:08:15] <ygrek> ещё есть какие-то утилиты чтобы держать несколько chroot'ов и не запутаться среди них
[19:08:20] <ygrek> shroot вроде
[19:08:50] komar теперь approx даже на ноутбуке держит.
[19:08:59] <komar> Окамл повсюду.
[19:09:45] ygrek держит на основном компе, а ноут обновляет через основной
[19:12:06] <Kakadu> а ктонить мак тут юзает?
[19:12:17] <komar> ygrek: а вот выходишь ты в лес на охоту с ноутом, и тут тебе звонит кореш и говорит, что надо собрать пакет под amd64. А виртуалки готовой поднятой нету. Что тогда, ложиться и помирать?
[19:12:34] <Kakadu> я просто к нему холодно относился как к игрушке буржуйских американцев, но выглядит он всё таки красиво.
[19:12:41] arhibot не променяет дебиан ни на что
[19:13:06] Kakadu даже на КDE поставил тему мака. Она настолько красивая, что /me ипользует openbox
[19:13:34] <komar> Kakadu: ИКСЭМЭЛЬ
[19:13:55] Kakadu не понял
[19:14:09] <komar> В конфиге openbox'а.
[19:14:16] <Kakadu> ну есть такое
[19:14:46] <arhibot> komar: лучше чем луа в авсаме
[19:15:11] <Kakadu> луа тоже ничего
[19:15:32] <Kakadu> я ей rss фильтрую в коньках
[19:16:14] <Kakadu> если бы у меня на ноуте ещё ttyN работал, то вообще было бы зашибись
[19:17:56] <arhibot> эм
[19:17:59] <arhibot> а что не работает?
[19:18:05] <arhibot> как так
[19:18:37] <Kakadu> sony vaio + Nvidia driver
[19:18:54] <Kakadu> вроде бы на vesa всё работало но я уже не помню
[19:20:38] <Kakadu> arhibot: http://dimitrykakadu.livejournal.com/1397.html
[19:21:46] <arhibot> Kakadu: из репов никогда не ставлю нвидивские дрова
[19:36:33] Typhon вошёл(а) в комнату
[19:40:42] Typhon вышел(а) из комнаты
[19:42:55] <ygrek> komar: а виртуалки надо на сервере держать :)
[19:43:21] <komar> Так лес жеж, жопорез, лаги.
[19:43:27] <komar> SSH тормозит.
[19:45:13] <ygrek> ну телефон тогда отключать, самое правильное!
[19:47:20] <gds> проапдейтил пост про LSP, но "грязно".  ошибки сообщайте.
[19:52:08] <Kakadu> gds: я ничего не понял про циферки в конце. Сейчас прочитаю ещё раз
[19:55:35] <ygrek> хм, я как-то не разделял LSP и подтипизацию
[19:56:27] <Kakadu> я правильно понимаю что тип-сумма это это обычные вариантные типы в камле?
[20:01:17] <ygrek> yup
[20:34:18] arhibot вышел(а) из комнаты
[20:52:57] <gds> ygrek: вооот!  Я тоже как-то не думал раньше над этим, только после твоей идеи про LSP.  А разгадка проста: 10 лет назад я знал LSP, но не представлял подтипизацию, а сейчас я представляю подтипизацию, но LSP в явном виде не знаю и не помню, он на уровне инстинктов где-то.  А если собрать воедино -- получается очень ок.
[20:53:06] <gds> Kakadu: с циферками -- прояснил ситуацию для будущих читателей, расставив их как ссылки.
[20:53:21] <gds> и, в целом, серьёзно дополнил статью, кусок про LSP: http://gds.livejournal.com/54767.html#cutid2  Даже сишечька не осталась без своей порции кала.
[20:54:14] <gds> критикуйте же! :)
[20:54:38] <zert> кто такой core_fan?
[20:55:35] gds вышел(а) из комнаты: Replaced by new connection
[20:55:36] gds вошёл(а) в комнату
[20:56:42] <Kakadu> zert: не фан, но я
[20:57:05] <Kakadu> gds: с цифыерками прояснилось. Всё изначально было ок, но я просто протупил.
[20:57:24] <Kakadu> gds: А табличку нормальную нельзя отобразить в жжшке?
[20:57:28] <zert> Kakadu: а дмитрийкакаду ты?
[20:57:34] <Kakadu> я
[20:57:42] <zert> а почому у тебя два аккаунта?
[20:57:54] <Kakadu> где?
[20:59:13] <Kakadu> ааа
[20:59:28] <zert> меня зогфройндил core_fan
[20:59:40] <Kakadu> я догадываюсь в чем может быть дело, на будных уточню
[21:01:11] <Kakadu> zert: что сделал?
[21:02:20] <zert> во фройнды добавил
[21:03:12] <Kakadu> а аткуда такое прочтение friend появлилось, если не секрет?
[21:03:16] <Kakadu> откуда*
[21:03:28] <gds> Kakadu: циферки -- правильно, forward references всегда нужно объявлять, ждал первого отзыва, а сразу было делать лень (и не очень знал про <a name=".."/>, таки).  А насчёт нормальной таблички -- как-то лень, опять же.  Не знаю, как сделать нормально, и не знаю, что такое нормально.  Если будет хтмл-код -- исправлю сразу же.
[21:04:33] <zert> Kakadu: по-немецки Freund, фройнд
[21:04:59] <gds> Kakadu: а ещё -- ZOG.  Т.е. ZOG-Freund.
[21:05:34] <zert> да, ибо ЖЖ — ЗОГ
[21:08:54] <gds> да, ЖЖ == http://s.lurkmore.ru/images/d/d8/%D0%90%D0%BD%D1%82%D0%BE%D0%BD_%D0%9D%D0%BE%D1%81%D0%B8%D0%BA.jpg
[21:09:18] <zert> да
[21:10:17] <Kakadu> zert: ясно
[21:11:24] fffetish вошёл(а) в комнату
[21:34:51] fffetish вышел(а) из комнаты: Logged out
[22:07:34] ygrek вышел(а) из комнаты
[22:12:03] serp256 вошёл(а) в комнату
[22:13:33] Kakadu вышел(а) из комнаты
[22:36:44] serp256 вышел(а) из комнаты
[22:42:16] Typhon вошёл(а) в комнату
[22:58:17] <Typhon> gds, у table border="1" даст желаемый результат -- рамки в виде обычных линий толщиной 1пиксель
[23:02:39] <komar> style="border-collapse: collapse"
[23:11:44] <gds> отлично!  Скомбинировал, написал table border="1" style="border-collapse: collapse", получилось гламурно.
[23:17:38] ermine вышел(а) из комнаты
[23:37:51] zert вышел(а) из комнаты