Objective Caml - Суббота, 23 октября 2010

Objective Caml

ocaml@conference.jabber.ru

Суббота, 23 октября 2010< ^ >

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

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

GMT+4
[00:14:18] komar вошёл(а) в комнату
[00:14:56] arhibot вошёл(а) в комнату
[00:19:31] <ermine> http://oasis.forge.ocamlcore.org/
[00:19:45] <ermine> надо осваивать эту феньку
[00:20:38] komar напользовался разными системами сборки, теперь использует /bin/bash и /usr/bin/make.
[00:21:27] <ermine> komar: какая пошлятина!
[00:22:12] <komar> ermine: слишком сложно учить все эти ваши ocamlmakefile'ы и omake'и тем извращениям, что приходят ко мне в голову.
[00:24:53] <ermine> komar: это просто в ocamlbuild
[00:25:54] <komar> В ocamlbuild окамл. А я все еще не в janestreet работаю и писать скрипты на окамле пока морально не готов.
[00:25:56] <ermine> а oasis - это поклеп на хаскильный cabal
[00:26:08] <zert> надо юзать реба
[00:26:11] <zert> ребар
[00:26:23] <zert> только к нему окамл надо приделать
[00:26:28] <komar> А cabal вместе с gem'ом надо вообще законом запретить.
[00:26:54] <komar> Задолбали уже. Какого хрена ихние велосипеды должны считать, что они умнее моего системного пакетного менеджера?
[00:26:56] <ermine> пчу?
[00:27:33] <komar> Вот в ocamlfind все правильно сделано. Никаких тебе центральных датабаз, только META-файлы.
[00:28:20] <ermine> камлофинд неправилен тем, что обычно инсталят под рутом
[00:28:25] <ermine> в отличие от кабала
[00:28:37] <komar> > обычно
[00:28:39] <Kakadu> кто знает где ищущтся параметры -pp ?
[00:28:49] <komar> Зато он центральной базы не требует.
[00:29:18] <ermine> вот камлофинд и не знает что сувать в -syntax
[00:41:50] Kakadu вышел(а) из комнаты
[00:47:59] ermine вышел(а) из комнаты
[00:49:58] arhibot вышел(а) из комнаты
[00:56:39] arhibot вошёл(а) в комнату
[01:50:47] zert вышел(а) из комнаты
[01:55:06] arhibot вышел(а) из комнаты
[02:26:19] komar вышел(а) из комнаты: Replaced by new connection
[02:26:20] komar вошёл(а) в комнату
[10:32:17] myxomop87 вошёл(а) в комнату
[10:33:18] Kakadu вошёл(а) в комнату
[11:31:19] gds вошёл(а) в комнату
[11:47:14] <Kakadu> кто знает, юзать  generic OCamlMakefile --- это правильный подход или нет?
[12:20:27] ygrek вошёл(а) в комнату
[12:23:14] <komar> Kakadu: для проектов без извращений — почему бы и нет?
[12:23:49] <Kakadu> komar: просто там так много всукого написано страшного
[12:24:06] <Kakadu> я тут два час разбирался где камло ищет парамметры -рр
[12:24:19] <komar> В самих файлах.
[12:24:21] <komar> .ml
[12:24:24] <Kakadu> неа
[12:24:28] <komar> Че?
[12:24:36] <Kakadu> в $PATH
[12:25:18] <komar> $ head pa_sql.ml
(*pp camlp4of *)
open Camlp4.PreCast
...
[12:25:23] <ygrek> oasis+камлобилд+ocamlfind наше всё, остальное не нужно
[12:25:43] komar пишет Makefile'ы руками и не понимает проблем публики.
[12:25:46] <ygrek> за /bin/bash скрипты в системе сборки лишать премии
[12:26:09] <ygrek> ну да, и в make clean у тебя rm --> fail
[12:26:16] <komar> Че?
[12:27:01] <ygrek> если чистый makefile без шелла, то разрешаю
[12:27:21] <komar> Мне иногда бывает нужен configure-скрипт.
[12:27:45] <komar> На мейке это получается страшнюще, аутотулзы в задницу.
[12:28:07] <ygrek> configure скрипт пишется на камле
[12:28:21] <komar> Спасибо, меня еще пока не взяли в janestreet.
[12:28:26] <ygrek> раз камлю для сборки нужен, то какая разница
[12:28:30] <ygrek> * камль
[12:28:52] <ygrek> как только напишешь - сразу возьмут :)
[12:28:54] <komar> Такая, что configure еще не написан, и писать надо будет мне.
[12:30:13] <ygrek> ну если что-то простое, то -> http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=extunix/extunix.git;a=blob;f=src/discover.ml;hb=HEAD
[12:30:58] <komar> oh god, что это?
[12:31:21] <ygrek> это оно самое
[12:32:21] <komar> Оно настолько читабельно, что я понятия не имею, что оно делает.
[12:37:48] ygrek обиделся и ушёл шпилить в openarena
[14:26:43] <Kakadu> чего-то вместе с deriving не компилится штуковина
[14:29:58] <Kakadu> http://xmages.net/show.php/1939549_1-png.html
[14:33:36] ygrek вышел(а) из комнаты
[14:37:12] <komar> Девка на баннере справа ничотак.
[14:38:39] <komar> Собственно, с выключенным жабьим скриптом там больше ничего не видно. Пользуйся dump.bitcheese.net
[14:39:41] <Kakadu> http://dump.bitcheese.net/images/ekofuzi/1.png
[15:18:24] ygrek вошёл(а) в комнату
[15:42:35] myxomop87 вышел(а) из комнаты
[15:45:47] <Kakadu> охренеть. Похоже, что из-за deriving нельзя использовать сравнение <
[15:48:00] <Kakadu> нашел уже про это багрепорт
[16:00:09] myxomop87 вошёл(а) в комнату
[16:29:08] ygrek вышел(а) из комнаты
[16:59:35] <Kakadu> похоже ещё deriving не выносит ключевое слово parser........
[17:19:31] ygrek вошёл(а) в комнату
[17:30:31] arhibot вошёл(а) в комнату
[17:37:08] zert вошёл(а) в комнату
[17:51:03] <gds> Kakadu: насчёт "меньше"+deriving -- пока такие варианты: "a<b" => "(<) a b" (лисп!), "b>a" (извратненько), попробовать объявить какой-нибудь инфиксный оператор, визуально похожий на "<".  Ну и патч, который ygrek асилил, чтобы deriving реагировал только на uident '.' lident '<'.
[17:52:22] <Kakadu> gds: я это осилил, взяв deriving из git'a. Теперь проблемы с неперевариванием слова parser
[17:55:17] <ygrek> http://github.com/voidlizard/CamlTemplateFork
[17:55:34] <ygrek> Kakadu: покажи код
[17:56:47] <Kakadu> http://paste.org.ru/?itvqke
[18:02:53] <ygrek> э, и где там deriving?
[18:04:13] <ygrek> для parser нужен Camlp4OCamlParserParser, например в camlp4o, поэтому и syntax error
[18:04:36] <Kakadu> WTF
[18:04:45] <Kakadu> я не понимаю эти мэйкфайлы
[18:17:14] arhibot вышел(а) из комнаты
[18:17:16] arhibot вошёл(а) в комнату
[18:17:54] <Kakadu> $ ocamldep -pp ../syntax/deriving me_tests.ml > ._d/me_tests.d
File "me_tests.ml", line 2, characters 12-18:
Parse error: [semi] expected after [str_item] (in [implem])
Preprocessing error on file me_tests.ml
$ cat me_tests.ml
type t = A of int | B of string deriving (Show)
let pop t = parser
        | [< v = t >] -> None
        | [< >]_ -> None
[18:29:29] <ygrek> $ ocamldep -pp 'camlp4o /usr/local/lib/ocaml/3.11.2/deriving/pa_deriving.cma' q.ml
q.cmo:
q.cmx:
$ cat q.ml
type t = A of int | B of string deriving (Show)
let pop t = parser
        | [< v = t >] -> None
        | [< >]_ -> None
[18:29:54] <ygrek> $ deriving -loaded-modules
Camlp4.Printers.OCaml
Camlp4OCamlParser
Camlp4OCamlRevisedParser
deriving
[18:30:12] <ygrek> ParserParser нету, результат соответствующий
[18:30:44] <ygrek> понимать надо - синтаксис представляется модулями, в разные бинрники загружены разные наборы модулей
[18:31:15] <ygrek> поэтому использовать pa_xxx.cma лучше чем готовый бинарник, т.к. можно подгрузить несколько синтаксических расширений (если они друг с другом не конфликтуют)
[18:32:06] <ygrek> $ camlp4o /usr/local/lib/ocaml/3.11.2/deriving/pa_deriving.cma -loaded-modules
/usr/local/lib/ocaml/3.11.2/deriving/pa_deriving.cma
Camlp4.Printers.OCaml
Camlp4OCamlParser
Camlp4OCamlParserParser
Camlp4OCamlRevisedParser
Camlp4OCamlRevisedParserParser
deriving
[18:35:57] <Kakadu> хренотень
[18:36:09] <Kakadu> тупо make не создает pa_deriving.cma
[18:36:16] <Kakadu> надо делать make install
[18:36:25] <Kakadu> который вызовет ocamlbuild
[18:36:33] <Kakadu> который будет требовать make clean
[18:36:51] <Kakadu> имхо. это изврат
[18:39:08] zert вышел(а) из комнаты
[18:44:02] zert вошёл(а) в комнату
[18:48:22] <zert> gds: что с глазами?
[19:18:36] <gds> zert: веткой в глаз.  Пошли с отделом на мясоедство на природу, нужно было пару дров добавить.  Начал тянуть одну ветку с дерева, другой веткой попал в глаз.  Ничего серьёзного, но гемор: болит, мази всякие, долго концентрировать взгляд сложно (в том числе на монитор), и в солнечных очках хожу по квартире, как дебил, лол :)
[19:20:38] <zert> не повезло
[19:23:57] <gds> не рассчитал и протупил, скорее.  Зато -- целый день почти полон внутреннего созерцания (раз на предметы внешнего мира толком не посмотришь).  А это таки полезно бывает.  Как сон, только сознательный.
Впрочем, я слишком в оффтопик пошёл.  Сворачиваю тему со своей стороны.
[19:28:50] <komar> У нас матанщику одна курица когтями в глаз угодила.
[19:29:24] <komar> В маршрутке.
[19:29:47] <zert> мне в автовбусе как-то одна курица в шею ткнула, пытаясь взяться за поручень
[19:30:23] <komar> zert: и она стала твоей женой?
[20:03:19] <zert> не
[20:09:42] <myxomop87> и где такие куры агрессивные водятся ?
[20:10:05] <zert> мне нечаянно ткнула
[20:10:07] <zert> не со зла
[20:13:23] <komar> myxomop87: Киев.
[20:15:59] fffetish вошёл(а) в комнату
[20:29:30] fffetish вышел(а) из комнаты: Replaced by new connection
[20:31:00] <komar> Нет желающих переписать gitwrite.com на окамле?
[20:31:26] <komar> А то оно генерит мне пост уже 15 минут, надо переделать на оксигене со СКОРАСТЬЮ.
[20:34:07] <gds> rails?  но как у него получается 15 минут??
[20:34:08] <komar> О, а теперь оно подохло с 404.
[20:34:25] <komar> gds: дык, легко. Это рельсы.
[20:35:18] <gds> не, я понимаю, 10..100с вместо 0.1с, но тут надо было хорошо постараться.
[20:35:33] <komar> Не, там делаешь git commit && git push.
[20:35:37] <komar> И ждешь 15 минут.
[20:35:54] <komar> Не могли на хук повесить.
[20:36:20] <komar> Я просто, если что, могу поделиться своими кривыми наработками в этой области.
[20:41:45] <gds> +'
[20:42:57] <gds> (мда, в первый раз кошка что-то отправила вместо меня.  это я не про ковариантные типы писать начал, не пугайтесь.)
[20:47:56] <zert> а чем gitwrite.com лучше гитхаба?
[20:48:11] <komar> Тем, что это блоговый движок.
[20:48:16] <zert> а, увидел
[20:48:20] <zert> прикольно
[20:49:02] <Kakadu> мне тут на днях пиарили фэ шарп.
[20:49:58] zert одному виндавс-погромисту тоже пиарил фи-шарп
[20:50:04] <Kakadu> типа там можно в одном файле написать кучу фанок, обложить их тегами и они сами разойдутся - кто в серверный код, кто в клиентский жабоскрипт. Я ударил в грудь и сказал что в оксигене это уже давно есть) Интересует реальное положение вещей)
[20:50:21] <komar> Кучу кого?
[20:50:33] <Kakadu> кучу функций
[20:50:42] <komar> Какой серверный код, какой клиентский жабоскрипт?
[20:50:56] <komar> Клиентская часть оксигена только разрабатывается.
[20:51:12] <Kakadu> ну я то не знал
[20:51:13] <komar> А вообще за ихний asp.net надо любить в одно место.
[20:51:23] <Kakadu> а что с ним не так?
[20:51:24] <komar> Ихние сайты потом скрейпить одно удовольствие.
[20:53:45] <komar> Вообще, оксиген идет совсем не в направлении популярного тулкита.
[20:53:54] <komar> У него даже темплейтов нету нифига.
[20:54:20] <komar> Зато ocamlduce используют, да. Который стучит молотком по рукам при попытке сделать генератор некорректного xhtml'а.
[20:55:29] <komar> Гику будет интересно поковыряться, типичный же веб-программист повесится нафиг.
[20:56:12] <komar> Так что вместо «оксиген рулит!» куда лучше упоминать отдельные его фитчи.
[20:56:31] <Kakadu> угу(...
[21:03:53] <komar> Кстати, если кто-нибудь допилит шаблонизатор для окамла, я скажу «спасибо» и буду пользоваться.
[21:03:59] <komar> Про форк dmz'а уже слышал.
[21:10:37] <gds> форком это назвать нельзя, это не развилка, а просто багфиксы и дальнейшее развитие.
что интересно, но ожидаемо -- dmz мне ничего не писал про CamlTemplate.
[21:16:30] <komar> gds: http://juick.com/dmz/1004957
Отправь "S @dmz" боту juick@juick.com и радуйся жизни.
[21:19:37] <gds> komar: я уже пару дней назад пробовал отправлять "S ..", но бот что-то не отвечал.  Не конкретно "S @dmz", но точно помню, что жуйк.
[21:20:34] <komar> Странно. Получаю и отправляю бред с помощью него регулярно, ничего такого замечено не было.
[21:52:23] Kakadu вышел(а) из комнаты
[22:08:42] <ygrek> Kakadu: там README есть ващемта
[22:22:53] arhibot вышел(а) из комнаты
[23:14:23] arhibot вошёл(а) в комнату
[23:16:11] <arhibot> а что-то вывести в переменную, как это делается в репре? т.е. принт, который жрет любые типы
[23:16:34] <arhibot> для отладки, допустим
[23:35:54] ermine вошёл(а) в комнату
[23:58:48] Kakadu вошёл(а) в комнату