Objective Caml - Вторник, 20 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Вторник, 20 марта 2012< ^ >

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

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

GMT+4
[00:05:22] <bobry> пацаны, решите мне задачу?
[00:13:58] <Kakadu> ту с ленью?
[00:17:49] <bobry> Kakadu: не, ту я таки решил -- другую с ленью
[00:17:54] <bobry> интересуешься?
[00:21:22] <Kakadu> я не думаю, что у меня есть сейчас время. просто спросил
[00:23:55] Kakadu вышел(а) из комнаты
[00:24:17] Kakadu вошёл(а) в комнату
[00:29:49] bobry вышел(а) из комнаты
[00:31:05] ftrvxmtrx вошёл(а) в комнату
[01:53:14] Kakadu вышел(а) из комнаты
[03:01:04] Typhon вышел(а) из комнаты
[03:47:47] letrec вошёл(а) в комнату
[03:47:47] letrec вышел(а) из комнаты
[03:48:02] letrec вошёл(а) в комнату
[04:56:51] letrec вышел(а) из комнаты
[10:15:36] bobry вошёл(а) в комнату
[10:30:31] bobry вышел(а) из комнаты
[10:49:18] arhibot вошёл(а) в комнату
[10:49:32] dzhon вошёл(а) в комнату
[10:49:48] arhibot вышел(а) из комнаты
[11:11:57] superbobry вошёл(а) в комнату
[11:24:57] ftrvxmtrx вышел(а) из комнаты
[11:33:07] ermine вошёл(а) в комнату
[11:33:52] ftrvxmtrx вошёл(а) в комнату
[11:43:12] ftrvxmtrx вышел(а) из комнаты
[11:46:02] ftrvxmtrx вошёл(а) в комнату
[11:46:06] ftrvxmtrx вышел(а) из комнаты
[11:56:48] ftrvxmtrx вошёл(а) в комнату
[12:11:14] dzhon вышел(а) из комнаты: Replaced by new connection
[12:11:14] dzhon вошёл(а) в комнату
[12:42:15] Kakadu вошёл(а) в комнату
[13:01:33] shaggie вошёл(а) в комнату
[13:17:57] <superbobry> http://codereview.stackexchange.com/questions/10154/string-trie-in-ocaml?atw=1
[13:18:00] <superbobry> ревью пасаны
[13:25:15] <Kakadu> мне сейчас лень
[13:25:41] <Kakadu> видимо Ifами у барбры я займусь в лучшем случае завтра
[13:25:55] <Kakadu> там тот же х-ак, что у меня в дипломе желателен
[13:26:00] <Kakadu> хак*
[13:26:20] <Kakadu> superbobry: я понаписал багов, нужны комменты к ним
[13:27:29] <superbobry> Kakadu, чутка попозже посмотрю, ок?
[13:27:44] <Kakadu> угу
[13:46:08] dzhon вышел(а) из комнаты: Replaced by new connection
[13:46:11] dzhon вошёл(а) в комнату
[14:04:51] komar вышел(а) из комнаты: Replaced by new connection
[14:04:52] komar вошёл(а) в комнату
[14:15:14] Typhon вошёл(а) в комнату
[15:15:45] f[x] вышел(а) из комнаты
[15:29:00] dzhon вышел(а) из комнаты: Replaced by new connection
[15:29:03] dzhon вошёл(а) в комнату
[15:31:57] f[x] вошёл(а) в комнату
[15:34:23] letrec вошёл(а) в комнату
[15:56:03] f[x] вышел(а) из комнаты
[16:07:39] gds вошёл(а) в комнату
[16:11:37] komar вышел(а) из комнаты
[16:13:53] komar вошёл(а) в комнату
[16:17:56] ermine пуллнула в барбу и смотрит
[16:18:47] <ermine> Kakadu: что можно пробовать?
[16:47:41] <Kakadu> ничего
[16:47:42] <Kakadu> я занят
[16:47:45] <Kakadu> был
[16:57:47] dzhon вышел(а) из комнаты: Replaced by new connection
[16:57:47] dzhon вошёл(а) в комнату
[17:15:12] <letrec> чем отличается cmx от cmxa?
[17:19:24] <letrec> нашёл
[17:40:42] Typhon вышел(а) из комнаты
[17:41:12] Typhon вошёл(а) в комнату
[17:51:16] <Kakadu> ermine: надо бы тебя натравить на камлёвый Yard
[17:51:18] Kakadu вышел(а) из комнаты
[17:51:50] dzhon вышел(а) из комнаты
[17:52:17] <ermine> аштойта?
[18:08:44] gds вышел(а) из комнаты
[18:08:53] gds вошёл(а) в комнату
[18:13:45] <letrec> а как слинковаться с compiler-lib? ocamlfind их не видит
[18:17:34] <ermine> если либла лежит в $ocaml/lib, то просто указать имя и расширение либлы
[18:19:29] <letrec> лежит там, но не в pkg-lib и не в silt-lib, а на их уровне
[18:19:49] <letrec> % ls
compiler-lib pkg-lib site-lib std-lib
[18:21:14] <letrec> то, что лежит в pkg-lib отлично компилится ocamlfind ocamlopt -o bin/foo -package batteries -linkpkg -g src/foo.ml
[18:22:53] <letrec> с compiler-lib такой фокус не проходит
[18:23:14] <ermine> -I +compiler-lib
[18:29:47] <letrec> ermine: -I +../compiler-lib заработало, спасибо!
[18:30:32] f[x] вошёл(а) в комнату
[18:33:32] <ermine> letrec: а что за операционка у тебя и кто ставил compiler-lib и что это за либла такая?
[18:40:14] <letrec> ubuntu
[18:40:18] <letrec> ставил godi
[18:40:33] <letrec> это потроха компилятора
[18:42:16] <letrec> в debian для compiler-lib есть пакет
[18:44:18] f[x] вышел(а) из комнаты
[18:44:21] <superbobry> товарищи, а есть на камло какие нибудь либы для валидации?
[18:44:37] ftrvxmtrx вышел(а) из комнаты
[18:45:51] <ermine> хм, ручная сборка камла же не создает таких сложностей
[18:46:43] ftrvxmtrx вошёл(а) в комнату
[18:49:12] <letrec> валидации чего?
[18:49:34] <superbobry> всего чего хочется, вообще на входе у меня urlencoded строка
[18:50:24] <ermine> это нужен универсальный парсер, если валидировать всё что ни попадя
[18:50:36] <ermine> обычно любой парсер, если распарсит, то валидирует
[18:50:43] <superbobry> гм, ну мне нужно не только на уровне символов валидировать
[18:51:18] <superbobry> а например {100, 500, "<my input>"} : bounded int
[18:53:21] <ermine> чтобы валидировать, надо разбирать досконально
[18:53:44] <ermine> я вот пишу свой комбайн, щас он скорее валидирует текст, чем проводит семантику по тексту
[18:55:46] <ermine> например у меня в комбайне есть как раз формат урла по спеке
[18:56:02] <ermine> как упражнение сгенерила по описанию abnf
[18:56:13] <ermine> abnf тоже пришлось реализовать
[18:57:42] f[x] вошёл(а) в комнату
[18:57:43] <ermine> superbobry: а вообще что же конкретно ты хотел валидировать?
[18:58:02] <superbobry> ermine, входы для HTTP API
[18:58:05] ermine подумала - добавить в комбайн знаний про CSS
[18:58:51] <ermine> superbobry: какие такие входы?
[18:59:19] <ermine> ocamlnet знает как енкодить
[19:00:53] <superbobry> ну йома, есть у меня x-www-form-urlencoded, если тупо то строка вида key=value&key=value
[19:01:06] <superbobry> хочется ее разобрать и проверить типы в получившемся Map / proplist
[19:07:30] <ermine> superbobry: ну в ocamlnet есть апи для этого
[19:08:17] <ermine> superbobry: ты только вслушайся в название либлы: ocaml net, а там еще netstring, сетевые строчки
[19:09:28] <f[x]> нет стринг
[19:09:33] <ermine> superbobry: а еще там есть netconnect, которая умеет ходить по сайтам в режиме пайплайна
[19:09:53] <f[x]> ENOCONNECT
[19:10:06] <ermine> f[x]: а в ocurl есть апи для мудрёжа с хитерами хттп?
[19:11:06] <f[x]> да
[19:11:16] <ermine> f[x]: говори быстрее, а то появится еще один клон окамлена и окурла
[19:11:23] <superbobry> superbobry, а что оно типы тоже за меня проверит?
[19:12:19] <ermine> и что на это superbobry ответит?
[19:12:25] f[x] вышел(а) из комнаты
[19:13:29] <ermine> superbobry: типы - это ты про типы value?
[19:15:08] <superbobry> ага
[19:16:11] <ermine> в http они все строчные
[19:16:33] <ermine> а в Map не может быть разброда типов
[19:16:53] f[x] вошёл(а) в комнату
[19:17:18] <superbobry> ну да, я понимаю -- можно зато сделать `String | `Int etc
[19:18:18] <ermine> и сколько таких веток?
[19:19:00] <ermine> а какая разница - в функции разворачивать такой тип и матчить или делать try int_of_string ... with ...?
[19:28:14] <f[x]> > f[x]: говори быстрее, а то появится еще один клон окамлена и окурла
и ещё раз да
[19:29:18] <superbobry> ermine, веток немного, но много разных запросов с разными параметрами
[19:30:37] f[x] вышел(а) из комнаты
[19:31:35] f[x] вошёл(а) в комнату
[19:33:34] f[x] вышел(а) из комнаты
[19:36:40] f[x] вошёл(а) в комнату
[19:38:07] gds вышел(а) из комнаты
[19:38:29] Typhon вышел(а) из комнаты
[19:50:47] <superbobry> поможите мне задачку по фп решить <_<
[19:50:57] superbobry не осиливает
[19:56:44] superbobry вышел(а) из комнаты
[20:00:02] <ermine> ее осилит только gds
[20:04:17] f[x] вышел(а) из комнаты
[20:04:48] f[x] вошёл(а) в комнату
[20:09:42] Kakadu вошёл(а) в комнату
[20:11:08] letrec вышел(а) из комнаты
[20:13:42] <Kakadu> ermine: Yard это типа такая хрень типа ocamlyacc. Автор задумывал её научить правилам от правил, добавить предикаты и перестановки и делать из неё кодогенерацию в разные ыиды парсеров. Сейчас Yard переписали на фадиез и я немного имею с ним дело в дипломе.
[20:20:34] <ermine> Kakadu: а зачем меня туда втравливать?
[20:20:41] ermine боится
[20:21:37] <Kakadu> Ну ты любишь развлекаться с парсетотой
[20:21:54] <Kakadu> тем паче такое ощущение, что переписав с камла на F# оно стало тучше
[20:21:58] <Kakadu> лучше*
[20:22:01] <Kakadu> ну как знаешь
[20:22:11] <Kakadu> можешь там поразвлечься с писанием GLR
[20:25:01] klapaucius вышел(а) из комнаты
[20:25:21] <ermine> не, lr - это табличное
[20:27:18] f[x] вышел(а) из комнаты
[20:30:42] f[x] вошёл(а) в комнату
[20:45:17] gds вошёл(а) в комнату
[20:50:03] ermine с гневом смотрит на гитхубный "отход" от классического маркдауна
[20:50:18] <ermine> gds: уже сбежал из хохляндии?
[21:04:56] <gds> ermine: Так! Всех привёз. Но скиллы в обращении с малыми таки непрокачаны.
[21:10:44] Kakadu вышел(а) из комнаты
[21:16:05] Kakadu вошёл(а) в комнату
[21:42:11] <Kakadu> что-то вааще не хочется заниматься ifами в барбре
[21:45:00] ftrvxmtrx вышел(а) из комнаты
[21:50:04] bobry вошёл(а) в комнату
[21:52:02] <ermine> Kakadu: закапывать барбру?
[21:56:12] ftrvxmtrx вошёл(а) в комнату
[22:01:10] <Kakadu> ermine: к bobry
[22:01:12] Kakadu вышел(а) из комнаты
[22:01:59] Kakadu вошёл(а) в комнату
[22:02:32] Kakadu вышел(а) из комнаты
[22:04:29] <ermine> великий проект lablqt захирел, великий проект barbra хиреет :)
[22:06:54] ftrvxmtrx вышел(а) из комнаты
[22:12:06] Kakadu вошёл(а) в комнату
[22:12:40] <Kakadu> ermine: просто QtGui не нужен, а Qml как всё лень ковырять
[22:16:16] <ermine> Kakadu: лень тебя сгубит, не успеешь совершить великих дел в сознательном возрасте
[22:32:48] shaggie вышел(а) из комнаты
[23:06:51] Typhon вошёл(а) в комнату
[23:23:24] ermine вышел(а) из комнаты
[23:37:05] bobry таки решил задачку! вуху
[23:45:06] shaggie вошёл(а) в комнату