Objective Caml - Среда, 16 ноября 2011

Objective Caml

ocaml@conference.jabber.ru

Среда, 16 ноября 2011< ^ >

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

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

GMT+3
[00:11:02] Typhon вышел(а) из комнаты
[00:46:38] Typhon вошёл(а) в комнату
[01:01:12] Typhon вышел(а) из комнаты: Replaced by new connection
[01:01:14] Typhon вошёл(а) в комнату
[01:26:29] ygrek вышел(а) из комнаты
[01:44:24] <gds> "Realistically, there is just no easy way to install Ocaml on Windows
from what I've learned."
аааааааааааа11111111111111111
[01:44:31] <gds> они тупые штоле
[01:51:23] <gds> "
  Can ever exist any easier way than download a windows
installer, run it, follow the usual "next->next->next->finish"
procedure and use OCaml with findlib, oasis and many
useful libraries contained in the overbld package?
  If this way does exist, can you please tell me, what it is?
Except a strong telepathic desire "I want OCaml on this
windows box, install it somehow!".
"
[01:51:52] <gds> есть коррективы в пределах десятка минут?  если нет, шлю так.
[01:52:16] <gds> * than to
[01:53:36] <gds> жутко бесит.  хочется взять и приласкать.
[02:14:34] ftrvxmtrx вошёл(а) в комнату
[02:20:32] ftrvxmtrx вышел(а) из комнаты
[02:20:37] <gds> отослал с добавкой про то, что "багфиксы нужны быстро, а не через мейнтейнеров->апстрим->мейнтейнеров".
[02:23:31] <gds> оно тут, если чо.  https://sympa-roc.inria.fr/wws/arc/caml-list/2011-11/msg00102.html
[02:35:50] Typhon вышел(а) из комнаты
[06:36:33] ermine вошёл(а) в комнату
[10:31:19] ygrek вошёл(а) в комнату
[11:13:35] <f[x]> всё правильно сделал
[11:21:24] Kakadu вошёл(а) в комнату
[11:50:50] ygrek вышел(а) из комнаты
[12:20:28] shaggie вошёл(а) в комнату
[12:27:10] ftrvxmtrx вошёл(а) в комнату
[12:50:17] ftrvxmtrx вышел(а) из комнаты
[13:05:23] komar вышел(а) из комнаты
[13:05:46] komar вошёл(а) в комнату
[13:15:45] Typhon вошёл(а) в комнату
[13:15:50] <f[x]> gds'а чотко троллят в рассылке
[13:21:16] <f[x]> топикстартер тоже хорошо задаёт тон :
> is NOT the most obvious solution to normal people (everyone on this mailing list excluded)
[13:26:04] <Typhon> """because there is
no single place which describes the correct procedure""" f[x], а у тебя, кажется, были шаги на тему "как собрать камло под вендой без патчей"? не засылал французам?
[13:26:54] <f[x]> надо перепроверить и заслать, да
[13:26:58] <f[x]> в todo :(
[13:27:26] <Typhon> про линупсы ТС дело говорит
[13:31:29] <Typhon> """Especially if people dont want to use Emacs but KDevelop…" религиозные войны, ха
[13:32:06] <klapaucius> А что делать если под виндой нужен x64 окамл?
[13:32:55] <f[x]> klapaucius: собрать
[13:33:31] <f[x]> в readme есть даже инструкция
[13:33:52] <klapaucius> Т.е. все-таки не next->next->next->finish
[13:34:20] <f[x]> а я было подумал что тебе на самом деле интересен ответ
[13:35:37] <klapaucius> Конечно мне интересен ответ - где можно найти аналогичный инсталятор для виндовс x64
[13:38:55] <f[x]> насколько я знаю - никто не собирает
[13:42:41] <klapaucius> но почему?
[13:42:45] <Typhon> эм, оверблд вроде есть 64битный, не?
[13:43:21] <f[x]> klapaucius: ну всё как обычно - апстриму на винду вообще пофиг
[13:43:49] <f[x]> все остальные - ака "коммунити" - еле осилили 32-битный инсталлятор
[13:44:02] <f[x]> может через пару лет и 64-битный будет
[13:44:33] <f[x]> Typhon: нет, вроде
[13:47:32] <klapaucius> Хм. А я вот что нашел http://www.ocamlpro.com/code/2011-06-23-ocaml-mscv-win64.html
[13:47:45] <klapaucius> Но там, похоже, никаких батареек.
[13:48:31] <f[x]> ы
[13:48:49] <f[x]> похоже уже пора делать страничку на вики - "где брать камло" и перечислить все эти варианты
[13:49:00] <klapaucius> Что посоветуете, июньский trunk или 3.12?
[13:49:05] <f[x]> trunk не
[13:49:10] <Typhon> афганский транк %)
[13:51:04] <ermine> чо к транку пристали
[13:51:19] <f[x]> не хочешь делиться?
[13:51:50] <ermine> чем?
[13:52:12] <f[x]> а чо есть?
[13:52:30] <ermine> клетки
[13:55:01] <f[x]> московые?
[13:58:16] <ermine> не, это самый-самый базовый класс, обладающий свойством делиться, базовее некуда
[13:58:25] <ermine> Kakadu: как там кути?
[14:02:34] <ermine> кутя, кутя
[14:02:42] <ermine> ку-ку
[14:03:06] <ermine> xsd программить - зеленая тоска!
[14:05:12] ermine вчера нашла нужную диагональ, по которой следует читать спеку по xsd, и теперь вяло и тупо кодит
[14:05:30] <ermine> с четвертой попытки
[14:05:43] <ermine> воть
[14:16:36] <Kakadu> ermine: отвратно
[14:19:23] ftrvxmtrx вошёл(а) в комнату
[14:20:12] <ermine> Kakadu: на сей раз из-за чего?
[14:24:17] <Kakadu> изза лени
[14:25:50] ftrvxmtrx вышел(а) из комнаты
[14:26:34] ftrvxmtrx вошёл(а) в комнату
[14:29:46] ftrvxmtrx вышел(а) из комнаты
[14:31:41] ftrvxmtrx вошёл(а) в комнату
[15:36:25] <gds> > Kakadu: изза лени
используй строгий порядок редукции!  будь мужиком блеять!
[15:59:24] <Kakadu> bobry: так ты научился извлекать инфу о зависимостях из оазиса?
[16:36:38] <ermine> парсить структуру в setup.ml? проще паренной репы ведь
[16:38:01] ermine кидает в Kakadu паренную репу
[17:18:58] ftrvxmtrx вышел(а) из комнаты
[17:21:12] ftrvxmtrx вошёл(а) в комнату
[17:24:32] bobry вошёл(а) в комнату
[17:24:38] <bobry> Kakadu: научился
[17:25:00] <bobry> Kakadu: https://gist.github.com/1316541
[17:31:06] <f[x]> bobry: ты же собираешься запихнуть это в апстрим?
[17:31:42] <bobry> f[x]: куда нименно? я хотел в одб, но thelema не хочет зависеть от oasis'a
[17:32:15] <bobry> ты кстати чего нибудь делал уже? в плане установщика
[17:34:53] <f[x]> в оазис же
[17:35:03] <f[x]> типа подкомманда - ocaml setup.ml depends xxx
[17:35:16] <f[x]> а что - горит уже?
[17:35:44] <gds> может какое-нибудь -info depends, чтобы под -info можно было запихнуть что-то ещё подобного плана?
[17:38:10] <bobry> аа, я совсем забыл про эту идею
[17:38:14] <bobry> да — звучит хорошо
[17:41:15] <Kakadu> сделай ocamlfind query oasis -format %v плиз
[17:41:51] <f[x]> что за бред?
[17:41:57] <f[x]> при чём тут ocamlfind
[17:42:16] <Kakadu> модуля OASISVersion у меня нет походу.
[17:43:07] <Kakadu> как и OASIStypes
[17:43:20] <bobry> $ ocamlfind query oasis -format %v 0.2.1~alpha1
[17:43:34] <f[x]> а
[17:43:38] f[x] тормоз
[17:43:41] <f[x]> сорри
[17:43:45] <ermine> -dependsconverttoocamlfind
[17:43:51] <bobry> :)
[17:44:14] <Kakadu> походу надо руками собирать
[17:46:31] <ermine> а кого собираете-то?
[17:46:40] <bobry> oasis
[17:46:54] <Kakadu> привет слакваре
[17:46:59] <ermine> так в ридми там усе написано
[17:48:58] <gds> кстати, пересборка оазиса со своими патчами (или даже тупо с другими его исходниками) у меня займёт минут пять.  привет вашему make install.
[17:49:13] ermine написала за день 700 строк и вяло смотрит в конфу
[17:49:40] <ermine> так много писать нельзя
[17:50:01] <gds> ermine: бодрее смотри -- я за пару недель исписал порядка 30 листов A4, и вяло смотрю не то что в конфу, а как бы вообще.
[17:50:16] <bobry> gds: PhD? :)
[17:51:44] <ermine> ну если на листе примерно 50 строк, то делим 700 на 50...
[17:52:38] <ermine> надо дописать еще чуток и скомпилить на сегодня
[17:54:21] <gds> bobry: полу-динамическая типизация / runtime values introspection в применении к камлу, включая няшки типа "конвертация в json без требований иметь json-wheel тогда, когда конвертация не нужна", разнотипные расширяемые "методы" (в том числе в случаях, когда типы неизвестны; например, возможность при нужде определить метод "of_string" на нужных типах и использовать его), ну и прочее.  причём типобезопасно.
[17:54:57] <gds> ermine: я там дофига рисовал, так что по строчкам, вполне возможно, ты выиграешь.
[17:55:30] <bobry> gds: ооо.. а ты это куда нибудь опубликуешь? или уже (и я как всегда все пропустил)
[17:55:53] <ermine> код вообще вредно писать, его надо генерить
[17:58:07] <bobry> ага, с помощью template haskell
[17:58:17] <gds> кстати, последний прорыв -- благодаря теории категорий.  теперь сформировалось "ядро", что ли, позволяющее это реализовать.  суть в том, что я заметил, что преобразования между типизированным и полутипизированным -- это фактически функтор (в терминах т.к.), причём, имеющий обратный функтор.  почти функтор, если бы можно было всовывать туда стрелки между значениями (т.е. лямбда-абстракции, в моём случае).  оппа!  вот и отсутствующее звено.  то есть, имея функцию ti_abs : (ti 'a -> ti 'b -> ti ('a -> 'b), можно сделать очень многое нужное мне (ti 'a -- рантайм-инфа о типе 'a).
[17:59:09] <gds> bobry: конечно опубликую, куда я нахрен денусь.  начал делать код в "кадастре", но там старый подход.  как разрешу до конца все нужные вопросы и реализую на бамажке все нужные фичи -- примусь кодить.
[17:59:28] <gds> *  ti_abs : (ti 'a -> ti 'b) -> ti ('a -> 'b)
[17:59:34] <gds> тьфуты.
[18:00:02] <gds> ti_abs : ti 'a -> ti 'b -> ti ('a -> 'b)
[18:02:12] <ermine> хваскиль детектед
[18:02:32] <gds> фактически, с точки зрения т.к. там получается чуть сложнее, чем описанное, но кому нахрен нужна эта сраная академота.
[18:02:41] <gds> ermine: да ну нафиг.
[18:06:01] <ermine> gds: а ты такой тип уже в списки закатываешь?
[18:06:18] <ermine> а в обратную сторону как?
[18:09:22] <gds> ermine: в списки -- это есть
U : ti 'a -> 'a -> u
T : ti 'a -> u -> 'a  (* может кинуть исключение *)
, и вот эти u закатываются ок.
Для функций в обратную сторону не надо, там надо
u_app : u -> u -> u
  -- при условии, что первое -- функция, принимающая аргумент с типом второго аргумента, она вернёт результат применения (тоже нетипизированный) в качестве своего результата.  А этого хватает.
[18:11:31] ermine силой воли сгенерила еще 50 строк кода
[18:24:06] ftrvxmtrx вышел(а) из комнаты
[18:29:04] bobry вышел(а) из комнаты
[19:38:33] <ermine> ура, скомпилился многочасовый труд, все же вредно писать много кода - фиг разберешься про что вон этот кусок кода, если начало функции не видно
[20:01:12] <ermine> так, с этим xsd на сегодня хватит, надо перейти к другому проектику
[20:11:45] Typhon вышел(а) из комнаты
[20:22:43] ygrek вошёл(а) в комнату
[20:49:05] ftrvxmtrx вошёл(а) в комнату
[20:57:25] shaggie вышел(а) из комнаты
[21:00:35] ftrvxmtrx вышел(а) из комнаты
[21:03:23] ftrvxmtrx вошёл(а) в комнату
[21:31:49] ermine вышел(а) из комнаты
[21:31:58] f[x] вышел(а) из комнаты
[21:31:58] ygrek вышел(а) из комнаты
[21:37:44] ftrvxmtrx вышел(а) из комнаты
[22:05:36] f[x] вошёл(а) в комнату
[22:23:43] ygrek вошёл(а) в комнату
[22:31:34] shaggie вошёл(а) в комнату
[23:11:38] arhibot вошёл(а) в комнату
[23:11:42] arhibot вышел(а) из комнаты
[23:14:01] Typhon вошёл(а) в комнату
[23:25:44] <ygrek> <yezariaely> has anyone of you tried ocaml + qt (https://github.com/Kakadu/lablqt) ?
<yezariaely> is it worth a look? does it work?
<flux> meh, janet street core doesn't install in my debian unstable, nor does it compile, and lablqt depends on that
<yezariaely> flux: this is created from the guys of jane street ?
<flux> no
<yezariaely> ah only dependency opk
<flux> meh2, there is a 150 days old bug on libcore-ocaml-dev not being installable on debian unstable, and there's been 0 reaction to that
<flux> and of course in the meanwhile the library source of debian libcore has gone rotten, so it won't anymore even build against the latest other libraries
[23:25:46] <ygrek> Kakadu: ^^
[23:40:26] <Kakadu> угу
[23:50:38] savikov вошёл(а) в комнату
[23:50:53] <Typhon> выкини кору, она гнилая! %)
[23:52:28] <savikov> мои лапочки *_*
[23:56:25] <savikov> подкиньте материальчик -_-
[23:56:32] <savikov> есть книга доак
[23:56:40] <savikov> + перевод мануала
[23:56:45] <savikov> всё это видел на вики