Objective Caml - Пятница, 6 апреля 2012

Objective Caml

ocaml@conference.jabber.ru

Пятница, 6 апреля 2012< ^ >

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

[01:23:13] bobry вышел(а) из комнаты
[02:18:07] letrec вышел(а) из комнаты
[02:18:45] Typhon вышел(а) из комнаты
[05:31:14] letrec вошёл(а) в комнату
[05:31:21] letrec вышел(а) из комнаты
[05:31:36] letrec вошёл(а) в комнату
[06:24:46] ftrvxmtrx вышел(а) из комнаты
[06:25:31] ftrvxmtrx вошёл(а) в комнату
[06:26:34] ftrvxmtrx вышел(а) из комнаты
[06:27:27] ftrvxmtrx вошёл(а) в комнату
[06:28:42] ftrvxmtrx вышел(а) из комнаты
[06:30:22] ftrvxmtrx вошёл(а) в комнату
[07:01:10] ftrvxmtrx вышел(а) из комнаты
[07:02:19] ftrvxmtrx вошёл(а) в комнату
[07:48:00] bobry вошёл(а) в комнату
[07:52:27] bobry вышел(а) из комнаты
[08:13:34] ftrvxmtrx вышел(а) из комнаты
[08:43:51] bobry вошёл(а) в комнату
[10:17:58] bobry вошёл(а) в комнату
[10:17:58] bobry вышел(а) из комнаты
[10:33:36] Sun][ вошёл(а) в комнату
[10:50:26] komar вошёл(а) в комнату
[10:55:57] <f[x]> gds: на удивление есть люди которые адекватно терпеливо отвечают
[10:56:27] <f[x]> я иногда вставляю ответы вида rtfm, но на меня все цыкают за это (:
[10:57:06] <f[x]> for the record, me не против обсуждать coq здесь (т.к. обсуждающих всё равно полтора человека)
[11:05:48] <bobry> убивал бы! http://hackage.haskell.org/package/base-unicode-symbols-0.2.2.3
[11:17:15] Kakadu вошёл(а) в комнату
[11:22:13] bobry вошёл(а) в комнату
[11:22:13] bobry вышел(а) из комнаты
[11:28:16] bobry вошёл(а) в комнату
[11:28:23] bobry вышел(а) из комнаты
[11:37:34] klapaucius вышел(а) из комнаты
[11:45:45] ermine вошёл(а) в комнату
[11:56:17] klapaucius вошёл(а) в комнату
[12:16:05] <gds> http://udpn.livejournal.com/71700.html?thread=943636#t943636
[12:20:04] <klapaucius> + над числами с плавающей точкой разумеется не тот же самый плюс, что над целыми числами. Он неассоциативен, например. Но обе операции должны обозначаться одинаково, потому что они во всех языках (кроме одного) обозначаются одинаково и если будет иначе - программиты будут лопаться от злости.
[12:23:02] <gds> вот именно, что неассоциативен на плавучке, ну и overflows на N-bit ints ведут себя не так, как на "произвольной точности".  Поэтому и обозначения должны быть различными.  Различная семантика -> различные обозначения.  Так как обозначение -- это как раз способ указать требуемую семантику в программе так, чтобы она была очевидна при взгляде на код, а не так, чтобы требовалось включать HM-inference с выводом тайпклассов.
[12:23:06] <f[x]> klapaucius: форт забыл!
[12:23:42] f[x] уполз дальше лопать программистов
[12:26:54] <gds> они так смешно лопаются!
[12:30:21] <f[x]> btw, релизнулся mldonkey 3.1.1, из интересного - иллюстративное применение poor man's memory profiler'а
[12:36:04] <gds> f[x]: того, который по do_roots бегает?
[12:36:35] <f[x]> не, того что сэмплит стек
[12:36:55] <f[x]> а в том что по do_roots бегает вроде бы крэш редкий есть - я говорил?
[12:48:54] <ermine> никто не возражает, если к викам в камлунити я прибью style.css из ocamldoc?
[12:52:52] <gds> f[x]: не говорил, вроде.  А разбирался, или там гемор?
[12:53:01] Typhon вошёл(а) в комнату
[13:03:14] <f[x]> помню были крэши с стектрейсами в objsize, но не репродьюсилось, и я не разобрался
[13:03:46] <f[x]> буду ещё дальше ковырять
[13:06:27] <gds> креши в objsize -- это большая пичалька как в личном плане, так и в плане общей надёжности.  Меньше чем на памятник в полный рост не соглашайся, если доковыряешь.
[13:13:26] <f[x]> крэши после патчей же
[13:13:47] <f[x]> так что сначала яму, а потом в неё памятник :)
[13:18:58] ermine посмотрела на iPad на вики в камлунити - чота там не видно подсветки синтаксиса камла
[13:42:00] <Typhon> ох, "Combining Monadic Regions and Iteratees" от Олега
[13:43:43] <gds> Typhon: да!  Клёво, что у него фид есть.  Хотя комбинирование малоосмысленно, так как итераты сами по себе форсируют нехилое такое управление ресурсами.
[13:53:15] shaggie вошёл(а) в комнату
[14:48:46] ermine пообщалась с французиками по поводу wikidoc, тот посоветовал игнорировать ругань камлофинда при сборке lwt
[14:49:26] <ermine> оказывается, всю онлайновую документацию на сайте ocsigen они собирают утилитой wikidoc, его darcs доступен там же в свалке дарксов
[14:50:17] <ermine> а wikidoc у меня не собрался - видимо ему нужны испорченные ocamlduceм compiler-libs
[14:51:50] <ermine> оказывается, давно закопанный мной ocamlduce все еще активно у них юзается
[14:52:22] <ermine> Kakadu: научил барбру ставить куда укажут?
[14:52:52] <ermine> Kakadu: давно бы наделала рецептов типа lwt-dev, ocsigen-dev и тд
[14:53:15] <Kakadu> ermine: я прокрастенирую
[14:54:54] <ermine> про... что?
[14:58:01] <gds> а я сейчас буду граммарнацировать.
[14:59:12] <ermine> gds: креолу?
[14:59:38] <ermine> gds: а я сегодня собираюсь приделать в комбайн чекер синтаксиса .peg без компиляции
[15:08:21] <gds> ermine: не креолу, а Кокоду.
[15:09:34] <ermine> gds: а, нотация, интересно :)
[15:09:50] <gds> ermine: где нотация?
[15:09:51] <ermine> надо будет вечером продолжить чтение книжки
[15:10:06] <ermine> gds: в крке?
[15:10:28] <gds> а вообще да, буду нотации использовать для твоего peg.
[15:10:30] ermine смотрит на следующую траблу сборки свежего мяса
[15:18:46] bobry вышел(а) из комнаты
[15:22:46] <ermine> мде, опять нарвалась на вредность установки камла из портов фрибсд
[15:25:47] <ermine> порт ставит нативные версии утилит camlp4*, а потом при сборке библиотек camlp4o говорит, что не знает что делать с байткодом pa_*
[18:21:08] Sun][ вышел(а) из комнаты
[18:27:49] <ermine> gds: вы выбрали креолу потому что он уже есть в примерах js_of_ocaml?
[18:29:06] <ermine> халявщики
[18:31:12] <gds> ermine: ет, потому что в отличие от Марка Дауна там более-менее стандарт есть, а в отличие текстильной промышленности -- чуть меньшая долбанутость.
[18:32:34] <ermine> а bbcode?
[18:32:51] <gds> кстати, те примеры мне мало подойдут вообще.  Потому что надо дрочить козе coq.  Многое на нём будет писаться (если не на агде), то, что алгоритмики касается, и хватаюсь за любую возможность одновременно поковырять coq и сделать что-то в рамках работы.
[18:33:15] <gds> bbcode -- лол.  Однако...  Предложу, поглядим :)
[18:34:51] <ermine> не забудь переписать на coq и яваскрипт тоже
[18:35:47] <ermine> грамматика ббкода в комбайне есть, надо будет какнить написать bbcode2html
[18:36:39] <ermine> надо вообще все форматеры в комбайн засунуть, чтобы мало не показалось
[18:36:48] <ermine> точнее разметки
[18:37:29] <gds> нет, js на coq не будет.  Будет генерилка в js, максимум.
[18:37:47] <gds> про bbcode -- заметил, поэтому идея не такая уж плохая.
[18:38:48] <ermine> халявщик, что и говорить
[18:38:53] <gds> а если надо coq->js, то это легко делается с помощью extraction + js_of_ocaml.  Хотя вот, coq порой генерит Obj.magic там, где окамловских типов не хватает, и не знаю, как js_of_ocaml с этим будет жить.  Но, на крайняк, можно избавляться от Obj.magic.
[18:40:00] <ermine> щас буду пытаться понять как используя комбайн генерить js для визивинга разметки
[18:40:20] <gds> халявщик, да, только мозга кастратофически не хватает ни на что.  Да, Kmb_coq_edsl.v начал, зарылся в манулы, пошёл покурить, и всё, отдыхаю.  (только не надо этих приколов типа "а что ты там курил отсыпь мне", потому что я жадный.)
[18:57:38] Typhon вышел(а) из комнаты
[19:57:30] letrec вышел(а) из комнаты
[20:02:19] letrec вошёл(а) в комнату
[20:56:32] Sun][ вошёл(а) в комнату
[21:03:45] shaggie вышел(а) из комнаты
[21:56:07] <ermine> как выучить яваскрипт?
[22:12:49] letrec вышел(а) из комнаты
[22:14:05] <ermine> Kakadu: ты вроде опытный в этом вопросе
[22:32:40] bobry вошёл(а) в комнату
[22:33:11] <gds> ermine: ты не хочешь этого на самом деле.
[22:35:36] <ermine> gds: ага, но идея-фикс требует жертв
[22:36:37] ermine старательно перепечатывает один пример вручную из броузера в емакс, заучивая и бормоча под нос названия яваскриптных функций и их месторасположение в коде
[22:38:55] <gds> ermine: трудолюбивый зверёк ermine.  ок.  но нафига?
[22:40:22] <ermine> gds: а как без яваскрипта жить?
[22:41:30] <gds> ermine: для тупо раскраски -- тупо, server-side.  давай цели, придумаем шось.
[22:42:58] <ermine> gds: превью через сервер? ща модно всю работу валить на клиента
[22:43:29] <ermine> чтобы клиент не мешал серверу лопатить свои говны
[22:43:42] <ermine> и это правильно
[22:43:51] <ermine> яваскрипт вообще рулез
[22:44:07] <ermine> только блин отсутствует приличный туториал и документация
[22:46:26] <gds> ermine: если умеешь _генерить_ и js, и что-то серверное -- да, всё рулит.
туториал где-то видел, но он тебе не нужен, поэтому не буду вспоминать даже.
в качестве документации тебе лично подойдёт http://www.ecma-international.org/publications/files/ECMA-ST/Ecma-262.pdf
[22:46:39] <bobry> ermine: не стоит учить js, побереги нервы
[22:50:33] <ermine> проблема только в том, что яваскрипт в камле - это тоже яваскрипт, точнее надо знать css, структуру окна/DOM и функционал
[22:51:08] <ermine> а это как раз лениво знать
[22:52:36] <ermine> потом, ecma - это идеализированный яваскрипт, даже в файрфоксе недоecma в мелких местах, как говорят
[22:52:52] <gds> ermine: магеи нет.  Надо общаться с внешним миром через этот стыд -- общайся, но его надо кое-как изучить.
[22:53:11] tilarids вошёл(а) в комнату
[22:53:14] <ermine> но вообще больше волнует куда и как тыкать в хтмл/броузер, что-то модифицируя
[22:53:43] <ermine> gds: ну это типа тулкит гуевый, его знать надо
[22:54:34] <ermine> вот про остальное типа парсинга и прочей обработки можно забыть совсем и положиться на компилятор
[22:55:11] ermine пошла дальше бормотать под нос
[22:56:03] <ermine> textarea##style##border <- Js.string "1px red dashed" - тут халявой не очень-то пахнет
[23:15:25] Sun][ вышел(а) из комнаты
[23:15:49] <ermine> так, идея превью маркапа в общем понятна
[23:18:49] <ermine> на каждый чих удалять старый div, создавать новый и парсить весь текст, раскрашивая его и запихивая в div
[23:18:56] Sun][ вошёл(а) в комнату
[23:19:00] <ermine> ничего волшебного
[23:21:06] <gds> это, вроде, очень грубо.  насколько я представляю браузеры.  хотя я их представляю плохо.
[23:22:22] f[x] вошёл(а) в комнату
[23:22:39] <ermine> gds: а что ты в этом понимаешь?
[23:24:07] <ermine> есть ли тут среди нас вменяемый спец по js?
[23:31:34] <ermine> на самом деле не на каждый чих, а интервал вызова рекурсивной функции задается
[23:31:49] <ermine> ну это еще ладно
[23:32:01] <ermine> будем бороться дальше
[23:33:33] ermine вышел(а) из комнаты
[23:49:11] Typhon вошёл(а) в комнату