Objective Caml - Среда, 7 ноября 2012

Objective Caml

ocaml@conference.jabber.ru

Среда, 7 ноября 2012< ^ >

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

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

GMT+4
[00:15:30] Sun][ вышел(а) из комнаты: Replaced by new connection
[00:15:30] Sun][ вошёл(а) в комнату
[00:38:38] <ermine> а оазис чоль разучился работать с use_camlp4fulllib?
[00:40:09] Typhon вошёл(а) в комнату
[00:43:12] <ermine> надо пробовать оазыс посвежее
[00:56:51] <ermine> обновление не помогло
[00:57:03] <ermine> легаль - скатина!
[01:01:14] <f[x]> что за use_?
[01:01:33] <f[x]> use_camlp4_full
[01:02:11] <ermine> use_camlp4fulllib вроде же
[01:02:42] <f[x]> ocamlbuild -documentation | grep camlp4full
[01:03:13] <ermine> хм, таки вру
[01:03:33] <ermine> тогда непонятно пчу мой старый проект с camlp4fulllib компилится
[01:05:20] Sun][ вышел(а) из комнаты
[01:05:47] <ermine> а, потому что проект старый, там все запечатано в камлобилд-плагин
[01:06:24] <ermine> тогда не скатина
[01:06:40] <ermine> скомпилилось - можно идить спать
[01:10:14] f[x] вышел(а) из комнаты
[01:15:18] Typhon вышел(а) из комнаты
[01:15:48] Typhon вошёл(а) в комнату
[01:22:11] ermine вышел(а) из комнаты
[01:25:03] Typhon вышел(а) из комнаты
[01:26:02] Typhon вошёл(а) в комнату
[01:37:13] f[x] вошёл(а) в комнату
[01:59:30] Kakadu вышел(а) из комнаты
[02:04:33] Ilya Rezvov вышел(а) из комнаты
[02:50:11] dzhon вышел(а) из комнаты
[03:31:38] gds вышел(а) из комнаты
[03:54:12] Andrey Popp вышел(а) из комнаты
[04:04:15] f[x] вышел(а) из комнаты
[07:23:23] vladimir.chujkov вошёл(а) в комнату
[07:33:51] vladimir.chujkov вышел(а) из комнаты
[08:29:14] vladimir.chujkov вошёл(а) в комнату
[08:38:51] vladimir.chujkov вышел(а) из комнаты
[09:02:50] dzhon вошёл(а) в комнату
[09:14:41] dzhon вышел(а) из комнаты: Replaced by new connection
[09:14:43] dzhon вошёл(а) в комнату
[09:18:30] dzhon вышел(а) из комнаты: Replaced by new connection
[09:18:31] dzhon вошёл(а) в комнату
[09:46:47] vladimir.chujkov вошёл(а) в комнату
[09:50:32] vladimir.chujkov вошёл(а) в комнату
[09:52:22] vladimir.chujkov вышел(а) из комнаты
[09:54:22] vladimir.chujkov вышел(а) из комнаты
[09:56:26] Andrey Popp вошёл(а) в комнату
[09:59:55] Typhon вышел(а) из комнаты
[10:34:01] Andrey Popp вышел(а) из комнаты
[10:41:44] Sun][ вошёл(а) в комнату
[10:42:57] ermine вошёл(а) в комнату
[10:47:54] Sun][ вышел(а) из комнаты
[10:50:46] Kakadu вошёл(а) в комнату
[10:53:46] Typhon вошёл(а) в комнату
[11:09:38] Sun][ вошёл(а) в комнату
[11:14:46] dzhon вышел(а) из комнаты: Replaced by new connection
[11:14:47] dzhon вошёл(а) в комнату
[11:17:53] vladimir.chujkov вышел(а) из комнаты
[11:20:40] Ilya Rezvov вошёл(а) в комнату
[11:40:52] Kakadu вышел(а) из комнаты
[12:11:32] Ilya Rezvov вышел(а) из комнаты
[12:16:54] dzhon вышел(а) из комнаты
[12:29:22] Andrey Popp вошёл(а) в комнату
[12:31:08] ftrvxmtrx вышел(а) из комнаты
[12:38:28] bobry вошёл(а) в комнату
[12:38:34] <bobry> http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/101391
[12:39:27] <bobry> упс, чуть-чуть мимо
[12:39:33] <bobry> вот ссылочка на оригинальный тред http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/101363
[12:40:00] <bobry> кому лень читать, в х-ль чатике обсуждают {-# LANGUAGE Strict #-}
[12:40:37] <Andrey Popp> по-моему класс
[12:41:22] <bobry> конечно класс, просто забавно, (неадекватные) х-листы обычно так бравируют lazy by default
[12:41:30] <bobry> а тут наконец то голос разума
[12:42:03] <Andrey Popp> bobry, ну что то в этом есть — lazy evaluation это всё таки более натурально
[12:42:10] <Andrey Popp> для декларативного языка
[12:42:26] <bobry> не вижу натуральности, поясни?
[12:42:52] <Andrey Popp> натурально для нотации, не для вычислительной машины
[12:43:20] <Andrey Popp> "из списка всех натуральных чисел выбрать перые пять элементов" — по-моему довольно разумно звучит
[12:43:33] <Andrey Popp> с strict это не работает )
[12:44:51] <bobry> ну как, если бы список натуральных чисел представлялся чем-то абстрактным, то ленивость была бы опциональна
[12:44:54] <bobry> take 5 nat
[12:44:59] <bobry> а не take 5 [1..]
[12:45:55] <Andrey Popp> что значит чем-то абстрактым? ты имеешь ввиду вычисляемым по необходимости? то есть чем-то ленивым? :-)
[12:46:19] <bobry> нет, т. е. не был представлен явно в виде бесконечного списка
[12:46:53] <Andrey Popp> не важно, значение + thunk это тоже не бесконечный список )
[12:47:33] <Andrey Popp> ты определяешь какие свойства ты хочешь от символа, в данном случае они будут совпадать с теми, что даёт тебе ленивый список в hs
[12:47:43] <Andrey Popp> можно наверное ленивость и по другому реализовать
[12:48:09] <bobry> ну, сложно с этим поспорить :)
[12:48:21] <bobry> кстати где gds?
[12:48:27] <bobry> неушто пропал из чатика?
[12:48:53] <Andrey Popp> фон нейман нам всем мозги извратил просто...
[12:49:32] <klapaucius> bobry: ленивостью по-умолчанию бравируют как раз адекватные хаскелисты, потому что без ленивости по-умолчанию - зачем вообще хаскель?
[12:49:53] <bobry> не знаю зачем он
[12:51:49] <klapaucius> Ну вот. Если хаскелист не считает основное отличие хаскеля от остальных языков преимуществом, но при этом хаскелист - то насколько его вообще можно считать адекватным?
[12:52:39] <bobry> а расскажи почему это преимущество?
[12:54:10] <Typhon> "зачем вообще хаскель?" — наконец-то правильный вопрос
[12:55:03] <bobry> :)
[12:56:16] <klapaucius> Я рассказывал уже. Ленивость по-умолчанию лучше строгости по-умолчанию, потому что строгость в ленивом коде можно вывести автоматически, а строгость нельзя. Можно написать deepseq, не нельзя deeplazy, код на минималистичном ленивом фя можно сделать строгим, заменив все let на case, но наоборот нельзя - непонятно, какие case менять на let, а какие - нет.
[12:56:41] <klapaucius> "а ленивость в строгом - нельзя"
[13:00:21] <bobry> "строгость в ленивом коде можно вывести автоматически", что-что? тут явно не хватает "иногда"
[13:01:06] <klapaucius> Чаще чем иногда. Настолько часто, чтоб это было практически полезно.
[13:03:22] <bobry> мне кажется это довольно шаткий аргумент, практически полезно было бы выводить строгость всегда, вот тогда это было бы бонусом
[13:03:38] <bobry> а зачем кстати мог бы потребоваться deeplazy?
[13:07:38] bobry вышел(а) из комнаты
[13:08:15] bobry вошёл(а) в комнату
[13:11:20] <klapaucius> Из мнения о практической полезности этого и выводится мнение о практической полезности хаскеля. О чем и разговор, что хаскелист считающий, что хаскель нужно сделать энергичным по-умолчанию настолько же адекватен, как и, например, окамлист, считающий, что нужно сделать окамл динамически типизированным. Сразу возникает вопрос - почему он тогда вообще окамлист, а не питонист? насколько это адекватно?
[13:25:37] tilarids вышел(а) из комнаты
[13:27:38] tilarids вошёл(а) в комнату
[13:32:08] vladimir.chujkov вошёл(а) в комнату
[13:36:56] f[x] вошёл(а) в комнату
[13:37:57] <f[x]> а в конфе как обычно обсуждают х-ь
[13:38:59] <f[x]> хоть что-то остаётся островком незыблемости в этом изменчивом мире
[13:39:54] bobry вышел(а) из комнаты
[13:45:31] vladimir.chujkov вошёл(а) в комнату
[13:50:59] Ilya Rezvov вошёл(а) в комнату
[13:56:27] vladimir.chujkov вышел(а) из комнаты
[14:06:39] dzhon вошёл(а) в комнату
[14:15:44] vladimir.chujkov вошёл(а) в комнату
[14:19:40] ftrvxmtrx вошёл(а) в комнату
[14:23:04] vladimir.chujkov вошёл(а) в комнату
[14:23:30] f[x] вышел(а) из комнаты
[14:24:57] vladimir.chujkov вышел(а) из комнаты
[14:25:09] vladimir.chujkov вошёл(а) в комнату
[14:27:21] dzhon вышел(а) из комнаты
[14:27:28] vladimir.chujkov вошёл(а) в комнату
[14:31:28] vladimir.chujkov вышел(а) из комнаты
[14:33:55] vladimir.chujkov вошёл(а) в комнату
[14:34:28] vladimir.chujkov вышел(а) из комнаты
[14:34:57] f[x] вошёл(а) в комнату
[14:35:58] vladimir.chujkov вышел(а) из комнаты
[14:41:46] tilarids вышел(а) из комнаты
[14:43:28] vladimir.chujkov вышел(а) из комнаты
[14:46:58] vladimir.chujkov вышел(а) из комнаты
[15:27:37] ftrvxmtrx вышел(а) из комнаты
[15:41:30] vladimir.chujkov вошёл(а) в комнату
[15:52:16] tilarids вошёл(а) в комнату
[16:10:07] vladimir.chujkov вошёл(а) в комнату
[16:20:44] vladimir.chujkov вышел(а) из комнаты
[16:31:30] ermine начинает находить кайф в писании генератора кода из xsd
[16:36:31] <komar> Знаете толк в извращениях.
[16:38:30] <ermine> еще вчера утром не было видно, с чего начинать надо, и сейчас многое не видно, что и как надо делать, чтобы достичь цели, но процесс как-то движется путём простого рефакторинга "а давай тут напишем строчку и попробуем скомпилить"
[16:45:34] dzhon вошёл(а) в комнату
[17:06:44] vladimir.chujkov вошёл(а) в комнату
[17:08:18] vladimir.chujkov вышел(а) из комнаты
[17:14:48] Ilya Rezvov вышел(а) из комнаты
[17:19:26] <tilarids> ermine, а что ты там такого генеришь? неужто парсеры? :)
[17:19:31] <tilarids> на окамле?
[17:23:19] <ermine> декодер и енкодер
[17:23:29] <ermine> а есть другие православные языки кроме камла?
[17:23:46] dzhon вышел(а) из комнаты
[17:23:51] <ermine> вот бы еще понять как смапить xsd в структуру
[17:25:29] Sun][ вышел(а) из комнаты
[17:36:30] vladimir.chujkov вошёл(а) в комнату
[17:36:50] vladimir.chujkov вышел(а) из комнаты
[17:38:31] letrec вошёл(а) в комнату
[17:42:29] vladimir.chujkov вошёл(а) в комнату
[17:43:19] vladimir.chujkov вышел(а) из комнаты
[17:46:30] vladimir.chujkov вошёл(а) в комнату
[17:56:19] vladimir.chujkov вышел(а) из комнаты
[18:07:01] <komar> ermine: на мои сорцы погляди.
[18:08:47] ftrvxmtrx вошёл(а) в комнату
[18:12:21] <ermine> komar: а ты там генеришь окамлевые рекорды, списки и тьюплы исходя из описания в xsd? :)
[18:13:08] <komar> Нет.
[18:13:25] <ermine> садись, два
[18:13:46] ermine сгенерила еще парочку строчек кода
[18:30:08] komar вышел(а) из комнаты
[18:30:54] komar вошёл(а) в комнату
[18:39:02] <ermine> вот ведь блин
[18:39:36] <ermine> щас посмотрела в рукотворный код того, что пытаюсь сгенерить, написанный год назад - там тааакие огрехи обнаружились
[18:39:52] <ermine> точно, код нельзя писать вручную
[18:41:30] <ermine> человеческому разуму доверять нельзя
[18:55:31] gds вошёл(а) в комнату
[19:50:29] vladimir.chujkov вошёл(а) в комнату
[19:52:09] aloner2k вошёл(а) в комнату
[19:53:10] ftrvxmtrx вышел(а) из комнаты
[19:57:38] vladimir.chujkov вышел(а) из комнаты
[19:58:20] vladimir.chujkov вошёл(а) в комнату
[20:08:08] vladimir.chujkov вышел(а) из комнаты
[20:51:16] letrec вышел(а) из комнаты
[20:51:52] Andrey Popp вышел(а) из комнаты
[21:13:52] dzhon вошёл(а) в комнату
[21:21:12] ftrvxmtrx вошёл(а) в комнату
[21:26:09] aloner2k вышел(а) из комнаты
[21:37:35] <ermine> ухты, как код магически появляется из недр хмля
[21:37:55] <ermine> f[x]: а как комменты вставить в код?
[21:49:59] <ermine> ой, и даже этот код компилится уже
[21:52:24] vladimir.chujkov вышел(а) из комнаты
[21:52:28] <tilarids> ermine, а это будет в опенсорсе?
[21:53:04] <tilarids> у нас уже есть готовое closed source решение на питоне, которое генерит плюсы. Будет интересно глянуть на окамлевое
[21:54:35] <ermine> tilarids: хз, у меня сугубо частный случай генерируемого кода - расширения xmpp
[21:56:43] <ermine> в паблик можно конечно будет, но только как часть моих проектов, я на универсальность не предентую
[21:57:14] <ermine> да и стиль писания у меня наверное готический, даже gds может это подтвердить
[22:08:22] Sun][ вошёл(а) в комнату
[22:09:15] <gds> ermine: нормальный у тебя стиль.
[22:09:50] Typhon вышел(а) из комнаты
[22:09:57] tilarids вышел(а) из комнаты: Machine going to sleep
[22:11:19] <ermine> gds: ты уже глянул одним глазом на мой свежак в гитхубе erm_xml?
[22:13:07] <ermine> ...щас глянет и скажет, что готично :))
[22:13:34] Typhon вошёл(а) в комнату
[22:18:02] vladimir.chujkov вошёл(а) в комнату
[22:19:07] <ermine> надо научиться инферить камлевую структуру из xsd
[22:19:59] <ermine> декодер хмля получился более-менее, тупо следуя по схеме, надо следом за декодером собирать структуру
[22:20:58] ermine почесалась и решила почитать еще немного мути про coq
[22:21:36] <ermine> а там сейчас в книжке идёт муть про False в качестве предиката
[22:27:42] Typhon вышел(а) из комнаты
[22:30:26] vladimir.chujkov вошёл(а) в комнату
[22:32:50] Typhon вошёл(а) в комнату
[22:42:24] vladimir.chujkov вошёл(а) в комнату
[22:43:01] tilarids вошёл(а) в комнату
[22:43:24] vladimir.chujkov вышел(а) из комнаты
[22:47:41] vladimir.chujkov вошёл(а) в комнату
[22:50:34] Typhon вышел(а) из комнаты
[22:51:25] vladimir.chujkov вышел(а) из комнаты
[22:52:13] <ermine> tilarids: а что вы делаете с помощью xsd?
[22:52:33] <ermine> tilarids: наверное традиционно в классы гоните?
[22:57:26] Typhon вошёл(а) в комнату
[22:59:25] vladimir.chujkov вышел(а) из комнаты
[23:05:35] ermine вышел(а) из комнаты
[23:14:48] vladimir.chujkov вошёл(а) в комнату
[23:22:47] <tilarids> мы кодеры и енкодеры только генерим. Они - классы
[23:24:09] Andrey Popp вошёл(а) в комнату
[23:28:25] vladimir.chujkov вышел(а) из комнаты