Objective Caml - Воскресенье, 1 мая 2011

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 1 мая 2011< ^ >

gds установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Светлое будущее -- http://camlunity.ru/ | Нефильтрованное настоящее -- https://github.com/camlunity/kamlo_wiki | Портер прошлое -- http://gdsfh.dyndns.org/kamlo/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв, move on

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

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

GMT+4
[00:01:48] <Typhon> gds, ocaml setup.ml -configure
[00:01:53] <Typhon> оно setup.data сконфигурит
[00:02:02] <Typhon> без него ничо не работает :-)
[00:02:14] <Typhon> тока, оно должен если его нету при -build конфигурять начать, кажется
[00:02:26] <Typhon> если не делает, надо бы багу заслать (если ещё нету)
[00:14:54] komar вышел(а) из комнаты: Replaced by new connection
[00:14:55] komar вошёл(а) в комнату
[00:15:29] <gds> Typhon: setup.data сгенерировало, однако с uninstall та же беда.  Слать багу?
[00:17:19] <Typhon> слать стоит, думаю. а так попробуй удали без оазиса и потом должно всё ок
[00:17:51] <Kakadu> можете прокомментировать что это за тип?
[< HTML5_types.p_content_fun > `Br `Input `Textarea ]
[00:18:05] <Kakadu> меня смущает >
[00:19:04] <gds> вот это да, удалилось-поставилось.  Сотона.
[00:19:29] <gds> однако прощёлкали тестовое окружение :)
[00:20:59] <Typhon> ну можно написать, что если поставить без оазиса
[00:21:31] <Typhon> то потом оазисом не удаляется
[00:22:30] <gds> запишу в todo, но пока мало интереса репортить, ибо надо нормальное окружение асилить.
[01:26:55] Kakadu вышел(а) из комнаты
[01:27:17] gds вышел(а) из комнаты
[01:52:05] zert вышел(а) из комнаты
[02:01:40] Zbroyar вошёл(а) в комнату
[02:04:38] Zbroyar вышел(а) из комнаты
[02:08:20] <Typhon> """ADEpt: вот если бы еще кто-то взял существующий код и --- ррраз -- переделал в revised syntax ...""" -- а вот подумалось, нету такого? по идее, как я камлп4 себе представляю, это не очень сложно сделать, не?
[02:32:47] <Typhon> Микола и пост про окамл он виндовс написал http://blog.mykola.org/post/5072389047/ocaml-on-windows
[02:56:10] Typhon вышел(а) из комнаты
[03:38:57] komar вышел(а) из комнаты: Replaced by new connection
[03:38:57] komar вошёл(а) в комнату
[05:13:37] Zbroyar вошёл(а) в комнату
[05:16:00] digimmortal вышел(а) из комнаты
[05:18:15] Zbroyar вышел(а) из комнаты
[07:00:55] <bobry> немного зависимостей, лол http://packages.debian.org/source/sid/oasis
[08:27:13] bobry собрал таки пакет для oasis'a -- ура ура, осталось залить его на launchpad
[10:15:03] komar вышел(а) из комнаты: Replaced by new connection
[10:15:04] komar вошёл(а) в комнату
[10:20:07] ftrvxmtrx вышел(а) из комнаты
[10:22:58] ftrvxmtrx вошёл(а) в комнату
[10:40:43] ftrvxmtrx вышел(а) из комнаты
[10:40:54] ftrvxmtrx вошёл(а) в комнату
[10:41:18] Digimmortal вошёл(а) в комнату
[10:44:31] Digimmortal вышел(а) из комнаты
[10:45:19] Digimmortal вошёл(а) в комнату
[11:22:35] Kakadu вошёл(а) в комнату
[11:24:03] <Kakadu> мир, труд, май, окамль!
[11:27:35] <Kakadu> http://ocaml.debian.net/debian/ocaml-3.12.0/pool/ тоже нет оазиса
[11:27:49] <Kakadu> bobry: может и сюда ваш пакет поместится?
[11:36:59] <Kakadu> боян, но всё  же: http://gallium.inria.fr/~naxu/research/camlcontract.pdf
[11:37:57] gds вошёл(а) в комнату
[11:39:52] <Digimmortal> /tmp/camlasm46b624.s: Assembler messages:
/tmp/camlasm46b624.s:2017: Error: .size expression for camlRandom__rawfloat_1099 does not evaluate to a constant
File "random.ml", line 1, characters 0-1:
Error: Assembler error, input left in file /tmp/camlasm46b624.s
[11:40:13] <Digimmortal> 3.12 на последней убунте не собирается
[11:43:38] <Kakadu> ох уж эта уебунта
[11:43:45] <Kakadu> ты откуда исходники брал?
[11:44:06] <Kakadu> попробуй взять патченные исходники из deb-src
[11:46:43] <Digimmortal> исходники обычные
[11:46:56] <Digimmortal> там что-то в binutils недавно сломали
[11:47:08] <Digimmortal> http://forums.gentoo.org/viewtopic-t-871503-start-0.html
[11:48:01] <Digimmortal> как обычно - одно починится, другое сломается
[11:48:17] <Kakadu> надо брать патченные исходники своего репозитория
[11:48:25] <Kakadu> у меня такое с дебианом было
[11:49:41] <Digimmortal> я думал годи поюзать, т.к. в уебунте камл старый, а репозиторий из ссылки https://github.com/camlunity/kamlo_wiki/blob/master/GettingStarted.md не добавляется
[11:50:08] <Digimmortal> sudo tee -a /etc/apt/sources.list > /dev/null нихрена не выводит у меня
[11:50:30] <Kakadu> я так и не понял нафига годи
[11:50:43] <Kakadu> и что ты хотел чтобы у тебя вывелось?
[11:50:56] Kakadu думает надо выучить команду tee
[11:51:03] <Digimmortal> видимо это:
deb     http://ocaml.debian.net/debian/ocaml-3.12.0 sid main
deb-src http://ocaml.debian.net/debian/ocaml-3.12.0 sid main
[11:52:13] <Kakadu> Digimmortal: добавь в виме, что ли
[11:52:29] <Digimmortal> Годи нравится тем, что всё камловое под рукой
[11:52:31] <Kakadu> стоп, у тебя же гента
[11:52:37] <Kakadu> у генты есть новый окамль?
[11:52:41] <Digimmortal> не, кубунта
[11:52:46] <Digimmortal> виндозники мы
[11:52:57] <Kakadu> в кубунте есть новый окамль?
[11:53:05] <Digimmortal> + годи само всё апдейтить может
[11:53:08] <Digimmortal> нет
[11:53:12] <Digimmortal> поэтому и годи
[11:53:13] <Kakadu> но есть в дебиане
[11:53:16] <Kakadu> ?
[11:53:23] <Digimmortal> вроде да
[11:53:40] <Kakadu> т.е. в кубунте поменяли binutils и теперь пакет из годи не компилится?
[11:54:35] <Digimmortal> в последней [к]убунте последний бинутилс, из-за которого камл не собирается
[11:54:38] <Digimmortal> я так понял
[11:54:59] <Kakadu> а какая версия там?
[11:55:01] <Digimmortal> он не соберётся независимо от годи
[11:55:06] <Digimmortal> 3.12
[11:55:11] <Kakadu> binutilsa
[11:55:13] <Kakadu> ?
[11:55:15] <Digimmortal> 3.11 оже не соберётся
[11:55:17] <Digimmortal> хез
[11:55:42] <Kakadu> 2.21.0.20110327-3 ?
[11:56:08] <Kakadu> это у меня
[11:56:31] <Digimmortal> 2.21.0.20110327-2ubuntu2
[11:56:52] <Digimmortal> у тебя видимо патченный
[11:57:00] <Kakadu> у меня дебиан тестинг
[11:57:37] <Digimmortal> сейчас буду разбираться как репозиторий дебианный в неё добавить
[11:57:45] <Digimmortal> чтобы камл собранный взять
[11:58:00] <Kakadu> ну тупо
[11:58:16] <Digimmortal> я с линухом на вы
[11:58:21] <Digimmortal> раньше фрю юзал
[11:58:26] <Kakadu> sudo echo -e "deb     http://ocaml.debian.net/debian/ocaml-3.12.0 sid main\ndeb-src http://ocaml.debian.net/debian/ocaml-3.12.0 sid main" >> /etc/apt/sources.list
[11:58:36] <Kakadu> как-то так
[11:58:51] <Kakadu> кстати, почему люди юзают фрю?
[11:59:53] <Digimmortal> bash: /etc/apt/sources.list: Permission denied
[12:00:11] <Digimmortal> мне нравилось, что можно всякий мусор не ставить
[12:00:33] <Digimmortal> отрезаешь всё нах при конфигурировании
[12:00:47] <Digimmortal> + чёткое разделение системы и софта
[12:01:09] <Digimmortal> а в линухе как-то малость помоечно - всё в одной куче
[12:01:22] <Kakadu> я не понимаю как можно лучше..
[12:01:37] Kakadu вышел(а) из комнаты
[12:01:37] <Digimmortal> ну, там есть /usr/local
[12:01:48] <Digimmortal> и туда всё несистемное ставится
[12:02:05] <gds> ну, во фре концептуально неплохо сделано.  С самим ядром и с разделением всё хорошо.
[12:02:22] Kakadu вошёл(а) в комнату
[12:02:55] <Digimmortal> только с поддержкой железа похуже
[12:03:13] <Digimmortal> и новых изобретений линуксоидов
[12:03:33] <Kakadu> а такой вопрос: зачем мне может понадобиться юзать дебиан с ядром bsd?
[12:03:51] <Digimmortal> хез
[12:04:09] <Digimmortal> по мне так это треш какой-то
[12:04:18] <Digimmortal> трэш
[12:09:55] <gds> дебиан с ядром бсд == fail
[12:10:12] <gds> винда с ядром макоси, гы
[12:10:57] <Kakadu> думаю, что если я уйду с линукса, то приду в мак
[12:12:31] <Kakadu> если уйду)
[12:12:54] <Digimmortal> там своего говна хватает
[12:15:45] <Digimmortal> что-то в дебиановских репах тоже не всё гладко
[12:15:57] <Digimmortal> The following packages have unmet dependencies:
cameleon: Depends: liblablgtk2-ocaml-icrp9
[12:19:56] <Kakadu> там нет нормального lablgtk
[12:20:03] <Kakadu> я руками собрал
[12:20:27] <Kakadu> и не щабывай писать -t unstable когда устанавливаешь
[12:20:30] <Kakadu> или как-то так
[12:20:45] <Kakadu> чтобы пакеты из нужного репозитория шли
[12:20:54] <Kakadu> извиняюсь, если я кэп
[12:21:18] <Digimmortal> не, очень даже по делу
[12:21:40] <Digimmortal> мне с камлом хочется побаловаться, а не линух поадминить
[12:21:51] <Kakadu> линух тоже круто
[12:22:17] <Digimmortal> поэтому я без особой надобности в админскую часть не углубляюсь
[12:22:30] <Digimmortal> окамл круче:)
[12:25:57] <Kakadu> на днях нашел очень интересный срач. Согласен с автором. http://habrahabr.ru/blogs/linux/118185/
[12:26:16] <Kakadu> только я наверное бы ответил "падвендой нет драйва"
[12:27:40] <Digimmortal> трудно с ним не согласиться, но есть куча народу которым интересны более другие вещи
[12:27:51] <Digimmortal> мне вот окамл горазно интереснее
[12:28:11] <Digimmortal> а всё что с низу не особо
[12:29:17] <gds> Kakadu: хаброптсо -- Пц!  Пц пц пц!!111
[12:29:53] <Kakadu> gds: по-русски, пожалуйста
[12:32:26] <gds> http://linorg.ru/pts/pts1.html
[12:44:43] Kakadu вышел(а) из комнаты
[12:55:24] Kakadu вошёл(а) в комнату
[12:56:47] <Kakadu> gds: я ничего не понял
[12:57:40] <gds> да проехали.  линукс круто, торвальдс бох.
[13:14:11] <Digimmortal> а как сделать, чтобы в toplevel были доступны операторы из батареек?
[13:14:25] <Digimmortal> #require "batteries";; походу недостаточно
[13:14:34] <Kakadu> у батареек может быть свой топлевел
[13:25:17] <gds> если в документации на батарейки это не описано, то это баг, который стоит зафайлить.
[13:31:39] <Kakadu> надо добавить в TODO посмотреть летом на agda2
[13:33:08] <gds> ну вот, опять -uninstall не пашет.  Короче, Makefile : uninstall : ocamlfind remove pkg, пока оазис не дорос :)
[13:41:24] <gds> кто там объекты-классы-методы не любит?  покритикуйте и предложите вариант получше: http://paste.in.ua/2264/
[13:43:14] <gds> (про дырявые абстракции и 16Мб я в курсе, это пока оставим в покое.)
[13:52:41] Typhon вошёл(а) в комнату
[13:53:58] <Typhon> gds, надо разобраться с версиями и зафайлить багу, я думаю, у меня для всех пакетов -reinstall работает -- делал неоднократно.
[13:54:07] <Typhon> Digimmortal, open Batteries_uni;;
[13:54:31] <Typhon> и в их вике есть какой-то ещё гайд
[13:55:14] <gds> Typhon: reinstall перестал работать после того, как я поменял кодэ.  Видимо, это связано.  Может надо было перегенерить что-то там?
[13:55:38] <Typhon> oasis setup надо сделать. или oasis setup-dev.
[13:55:41] <Typhon> ща отличия
[13:56:02] gds away, попозже поглядим.
[13:57:54] <Typhon> первое генерит всё так, чтобы можно было ставить без оазиса. второе -- добавляет в setup.ml строки, которые перегенеряют всё (если надо) при каждом вызове. то есть для разработки второе явно удобнее. но его можно забыть и залить в репку, и тогда без оазиса либу не поставишь. а про первое нужно не забывать перегенярять самому, в том случае если _tags/META требуют изменений (изменился _oasis, добавились модули и т.д.). если просто код поменял, то всё должно без перегенерации работать. про отличия setup / setup-dev надо бы на вику, пока не знаю куда и как.
[15:09:11] <Kakadu> ищал в инете мою проблему. Нашелся пост какого-то человека с то йже проблемой. ДУмал- вот кто мне поможет. Пригляделся - а это я)
[15:46:09] Digimmortal вышел(а) из комнаты
[16:45:10] <gds> представим, что у меня есть lazy-значение, при форсировании которого должно быть налажено кое-какое "окружение".  Я что делаю: сначала создаю ленивое значение, потом налаживаю окружение, потом форсирую лентяйку и имею нормальное значение, пусть и адресуемое через Lazy.force.  Вопрос: есть ли у меня гарантии того, что никакая скотина не форсирует это выражение при неналаженном окружении?  Всякие там сериализации вроде форсируют?  В общем, напомните, если кто-то помнит, что-то про это обсуждалось когда-то, а я забыл.
[17:35:24] Kakadu вышел(а) из комнаты
[17:36:49] Kakadu вошёл(а) в комнату
[17:42:54] komar вышел(а) из комнаты: Replaced by new connection
[17:42:54] komar вошёл(а) в комнату
[18:13:47] Typhon вышел(а) из комнаты: offline
[18:14:56] Typhon вошёл(а) в комнату
[18:49:04] <gds> есть у меня модуль IO_Lwt (ну и подобная реализация без lwt, блокирующая).  Есть функтор Parvel, берущий это самое IO и использующее для сайдэффектов.  Однако есть lwt-специфичная функциональность, использующая функции модуля Parvel, которую внутрь функтора Parvel(IO) не запихнуть, потому что невозможно требовать от IO настолько специфичных вещей, в целом больше нигде не нужных.
Согласен, допустим, на отдельный модуль, реализующий lwt-специфичные штуки, но одновременно использующий сконструированный модуль Parvel(IO_Lwt) для отправки-получения сообщений так, чтобы всё это -- lwt-специфичная функциональность и парвел-специфичные сообщения -- работали вместе и через lwt.
Но решения какие-то уродские видятся.
Есть идеи?
[20:05:45] DIggimortal вошёл(а) в комнату
[20:07:43] <DIggimortal> Typhon: спасибо за open Batteries_uni;;
[20:07:46] <DIggimortal> то что надо
[20:49:21] Kakadu вышел(а) из комнаты
[20:49:47] zert вошёл(а) в комнату
[20:51:08] Kakadu вошёл(а) в комнату
[20:52:26] Kakadu вышел(а) из комнаты
[20:53:25] komar вышел(а) из комнаты: Replaced by new connection
[20:53:32] komar вошёл(а) в комнату
[20:58:12] <DIggimortal> ocamlfind batteries/ocaml
ocamlfind: Cannot find command: /usr/lib/ocaml/batteries/ocaml
[20:58:26] <DIggimortal> /usr/lib/ocaml/batteries/ocaml и в самом деле отсутствует
[20:58:31] <DIggimortal> а должен?
[20:59:38] <DIggimortal> cat .ocamlinit
#use "topfind";;
#thread;;
#require "batteries";;
open Batteries_uni;;
[21:00:03] <DIggimortal> где туплю?
[21:00:07] Kakadu вошёл(а) в комнату
[21:01:15] <DIggimortal> очень #browse хочется
[21:01:32] <Kakadu> ocamlbrowser давно пора переписать
[21:03:47] <DIggimortal> хочется что-то посказывалки типов из GHC
[21:03:56] <DIggimortal> что-то типа
[21:04:00] <Kakadu> это как?
[21:04:14] <Kakadu> :t List.map ?
[21:04:19] <DIggimortal> ага
[21:04:27] <Kakadu> просто List.map напиши
[21:05:11] <DIggimortal> а весь модуль посмотреть?
[21:05:21] <Kakadu> let S=String;;
[21:05:30] <Typhon> module S = String;;
[21:05:37] <Kakadu> ой
[21:06:08] <DIggimortal> супер!
[21:06:19] <DIggimortal> может ещё и more там есть?
[21:06:24] <DIggimortal> :)
[21:06:37] <Kakadu> думаю для этого можно rlwrap пофиксить
[21:17:33] DIggimortal вышел(а) из комнаты
[21:32:30] komar вышел(а) из комнаты: Replaced by new connection
[21:32:30] komar вошёл(а) в комнату
[22:18:36] komar вышел(а) из комнаты
[22:22:49] bobry вышел(а) из комнаты
[22:41:59] bobry вошёл(а) в комнату
[22:44:29] bobry вышел(а) из комнаты
[23:02:21] komar вошёл(а) в комнату
[23:11:21] ermine вошёл(а) в комнату
[23:24:51] Zbroyar вошёл(а) в комнату
[23:27:37] Zbroyar вышел(а) из комнаты
[23:45:22] Zbroyar вошёл(а) в комнату
[23:48:06] Zbroyar вышел(а) из комнаты