Objective Caml - Воскресенье, 14 августа 2011

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 14 августа 2011< ^ >

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

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

GMT+4
[00:36:21] <gds> один сейчас до сих пор private вставляет и просит прощения, а прощения ему не будет. Вы взялись такой private'ностью заниматься -- вы же тупо вставляете private вместе со своими пайпами и '<' | '>' -- этими пайпами этими!
[01:14:51] <ygrek> на ML Workshop интересные доклады заявлены
[01:18:22] <Typhon> на cufp тоже :-) а можно урлы?
[01:18:27] <Typhon> а то в гугле вверху пока отстой
[01:18:29] <Typhon> или старое
[01:19:05] <Typhon> http://conway.rutgers.edu/ml2011/
[01:20:28] <ygrek> в рассылке было
[01:28:11] ygrek вышел(а) из комнаты
[01:32:52] ermine вышел(а) из комнаты
[01:46:07] Typhon вышел(а) из комнаты: Replaced by new connection
[01:46:17] Typhon вошёл(а) в комнату
[01:56:41] Typhon вышел(а) из комнаты: Replaced by new connection
[01:57:00] Typhon вошёл(а) в комнату
[02:01:14] arhibot вошёл(а) в комнату
[02:01:52] arhibot вышел(а) из комнаты
[02:44:32] shaggie вышел(а) из комнаты
[03:22:42] Typhon вышел(а) из комнаты
[04:29:15] digimmortal вошёл(а) в комнату
[05:27:55] digimmortal вышел(а) из комнаты
[09:05:13] Kakadu вошёл(а) в комнату
[10:54:25] Kakadu вышел(а) из комнаты
[11:03:18] digimmortal вошёл(а) в комнату
[11:20:15] Kakadu вошёл(а) в комнату
[11:20:21] ermine вошёл(а) в комнату
[11:55:08] <bobry> ведь видел же вчера как боролись с "When using -syntax, the META variable 'preprocessor' must be set". не напомните, а то не гуглится?
[11:55:59] <Kakadu> bobry: можешь логи посмотреть....
[11:58:08] <bobry> гугл ничего не показывает, даже с site:chatlogs.jabber.ru
[12:01:46] <Kakadu> если точно знаешь, что здесь и вчера, то можно вручную найти
[12:02:28] <bobry> та не, боролись то где то в рассылке
[12:21:11] ygrek вошёл(а) в комнату
[12:23:15] <ygrek> bobry: полную команду покажи
[12:49:21] komar вышел(а) из комнаты: Replaced by new connection
[12:49:22] komar вошёл(а) в комнату
[14:04:17] shaggie вошёл(а) в комнату
[14:19:42] digimmortal вышел(а) из комнаты
[14:33:37] <ermine> как можно снизить степень полиморфности модуля?
[14:34:10] <ermine> module type S = sig type 'a t val get : 'a t -> 'a end
[14:34:47] <ermine> и пытаемся кастовать
module M : S = struct type 'a t = string let get x = x.[0] end
[14:34:54] <ermine> не компилицо чота!
[14:41:04] ygrek вышел(а) из комнаты
[14:41:08] ygrek вошёл(а) в комнату
[14:41:09] Typhon вошёл(а) в комнату
[14:47:17] mrm вошёл(а) в комнату
[15:14:30] <bobry> ygrek: + ocamlfind ocamldep -package unix -package bitstring -syntax camlp4o -modules src/base.ml > src/base.ml.depends
ocamlfind: When using -syntax, the META variable 'preprocessor' must be set
[15:17:49] <ermine> в мете не нашлось препроцессора
[15:18:44] <ermine> bobry: а ты реально используешь расширение синтаксиса?
[15:24:19] <bobry> ermine: да -- для bitstring
[15:24:33] <bobry> я понимаю суть ошибки, но не понимаю что с ней делать :)
[15:40:10] <ermine> bobry: ну добавь еще один -package
[15:41:48] <bobry> ох и точно, -package bitstring.syntax
[16:03:12] Kakadu вышел(а) из комнаты
[16:10:56] Kakadu вошёл(а) в комнату
[16:18:13] Kakadu вышел(а) из комнаты
[16:19:35] <ygrek> проблема решена
[16:22:05] <ygrek> ermine: функция get не полиморфная, ничего у тебя не получится с такой сигнатурой
[16:22:35] shoroh-net вошёл(а) в комнату
[16:36:18] Kakadu вошёл(а) в комнату
[16:36:30] Kakadu вышел(а) из комнаты
[16:36:53] <ygrek> gds: это круто что ты ToolForTheJob создал, только добавить в репо забыл :)
[16:37:25] <ermine> ygrek: ну вот был вопрос как снизить полиморфность сигнатуры
[16:39:23] <ermine> ygrek: оно решается выводом 'a в отдельный type, но это тоже снижает красоту
[16:39:56] <gds> ygrek: меня тут реаллайф сурово отвлёк. А как создать файл через веб -- я так и не нашёл, три минуты искал аж.
[16:40:29] <ygrek> :)
[16:50:10] shoroh-net вышел(а) из комнаты
[16:53:23] <ygrek> ermine: похоже это единственный способ, я думал так сработает -
module type Z = sig type 'a z include S with type 'a t := char z end
но нет
[16:57:45] gds вышел(а) из комнаты
[16:57:47] gds вошёл(а) в комнату
[16:58:56] gds вышел(а) из комнаты
[16:58:57] gds вошёл(а) в комнату
[16:59:08] ygrek вышел(а) из комнаты: Replaced by new connection
[16:59:11] ygrek вошёл(а) в комнату
[16:59:56] gds вышел(а) из комнаты: Replaced by new connection
[16:59:57] gds вошёл(а) в комнату
[17:16:54] <bobry> мда, почитал старый пост про ocaml-erlang-port, вот это срачик
[17:16:59] <bobry> http://lionet.livejournal.com/53209.html
[17:19:21] <ermine> ygrek: да инклюды и with type никак не помогают или еще не найдено магическое сочетание сигнатур, инклюдов и with type
[17:45:12] ygrek вышел(а) из комнаты
[18:08:20] ygrek вошёл(а) в комнату
[18:52:42] mrm вышел(а) из комнаты
[19:11:40] Kakadu вошёл(а) в комнату
[20:29:35] arhibot вошёл(а) в комнату
[20:40:18] Typhon вышел(а) из комнаты
[21:39:13] <ermine> шота я не могу в сигнатуре или .mli писать что-то типа val f : ?(i:int = 1) -> unit -> i
[21:39:31] <ermine> а вроде раньше можно было
[21:40:46] <ermine> -> int в конце
[21:41:21] <ermine> gds: а у тебя компилицо с дефолтным значением?
[21:41:38] <ygrek> в сигнатурах нельзя указывать значение
[21:42:24] <ermine> ну тогда склероз уже наступает
[21:52:28] <bobry> недавно у jane street был пост на эту тему как раз
[21:55:54] <Kakadu> в каких случаях ocamlfind ocamlc выплевывает native-code?
[21:57:02] <ermine> чей?
[21:57:24] <Kakadu> main: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.26, not stripped
[21:59:43] <ermine> а разве ocamlc компилял?
[22:00:54] <Kakadu> аааа
[22:01:07] <Kakadu> ocamlfind вызывл ocamlopt хотя я написал ocmalc
[22:01:52] <ermine> жуть
[22:02:22] <Kakadu> ну значит буду думать что такое ../sysdeps/unix/sysv/linux/x86_64/init-first.c
[22:03:53] <ermine> какой-то экзамен в хвостах остался чтоли?
[22:04:26] <Kakadu> нет. Я в последнем семестре даже на степендию закрылся
[22:06:19] <ermine> ээ, как это расшифровать? закрепил за собой стипендию?
[22:06:28] <Kakadu> без троек
[22:06:38] <ermine> а
[22:07:36] <Kakadu> glibc это, glibc
[22:30:16] Typhon вошёл(а) в комнату
[23:10:07] <bobry> я тут сегодня чернухи про lwt прочитал, мол мертворожденная поделка бла бла, кто что скажет?
[23:10:15] <bobry> понятное дело слова исходили от любителя эрланга
[23:17:47] Kakadu вышел(а) из комнаты
[23:22:11] Kakadu вошёл(а) в комнату
[23:26:44] <ygrek> любители эрланга такие любители
[23:27:12] <bobry> меня прямо начинает раздражать эта тенденция
[23:27:22] <ygrek> Kakadu: бэктрейс покажи то
[23:27:48] <ermine> любители эхотага - некрофилы
[23:28:06] <ygrek> любители слова "эхотаг" - некроманты
[23:28:07] <bobry> кстати я правильно понимаю что если нужна очередь, то в Lwt тока sequence можно пользовать?
[23:28:16] <ermine> а вообще - где пишут-то?
[23:28:49] <bobry> ermine: да это все в том старом жжном треде, выше
[23:29:36] <Kakadu> ygrek: http://paste.in.ua/2905/
[23:29:41] <ermine> а, жж
[23:31:04] <ygrek> Kakadu: байткод, от нативного стектрейса мало толку
[23:31:10] <ygrek> лучше скомпилить в натив
[23:31:58] <ygrek> приложение большое?
[23:32:08] <ygrek> сишные биндинги косячат скорее всего
[23:32:31] <Kakadu> я не знаю как компилить в байт-код
[23:32:56] <Kakadu> скомпилить*
[23:33:10] <ygrek> у тебя уже скомпилено в байткод
[23:33:13] <ygrek> а нужно в натив
[23:33:27] <ygrek> ocamlc/ocamlopt - чего там знать то
[23:33:35] <ermine> а что значит "не знаю"?
[23:33:39] shaggie вышел(а) из комнаты
[23:33:41] <ermine> там make?
[23:33:41] <Kakadu> ygrek: ./main: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.26, not stripped
[23:33:52] <Kakadu> у меня нэйтив
[23:33:58] <ygrek> и что?
[23:34:19] <Kakadu> ygrek: [23:31:53] <ygrek> лучше скомпилить в натив
[23:34:49] <Kakadu> ermine: глупость сказал, да
[23:34:52] <ygrek> это не натив, а custom байткод
[23:35:40] <Kakadu> Ура, открылось, что я что-то глобально упустил.
[23:35:57] <Kakadu> ygrek: можно краткую лекцию?
[23:36:26] <Kakadu> шо цэ такэ --- кастомный байт-кот?
[23:36:51] <ermine> ocamlc -custom?
[23:37:15] <Kakadu> ermine: напрямую я такого не вводил
[23:37:38] <ermine> Kakadu: а кто компиляет за тебя? :)
[23:38:07] <Kakadu> ermine: камлофайнд
[23:38:15] <ermine> Kakadu: вообще непонятно чем ты там занимаешься, да наверное я и не следила за сценарием особо
[23:40:02] <ygrek> Kakadu: rtfm - камло компилит в байткод либо байткод+рантайм либо натив
[23:40:11] <ygrek> покажи команду компиляции
[23:40:31] <ygrek> custom может притянуться от какой-нибудь либы
[23:40:46] <ygrek> но тебе надо вообщем ocamlc везде заменить на ocamlopt и всё
[23:41:54] <Kakadu> ygrek: http://paste.in.ua/2907/
[23:43:23] <ermine> кто писал мейкфайль
[23:43:31] <Kakadu> z
[23:43:32] <Kakadu> я
[23:44:40] <ermine> ну значит знаешь что творишь
[23:46:19] <ermine> интересный набор библиотек
[23:47:09] <ygrek> хм, сишных биндингов своих нет
[23:47:43] <ygrek> а нафига в команде линковки вручную cma преечисляешь?
[23:47:49] <ermine> а вообще ocamlfind query наверное не нужен
[23:48:07] <ermine> там должны быть -package libname.syntax
[23:48:17] <ygrek> кто тебя научил так собирать?
[23:48:20] <ygrek> капце
[23:48:25] <ermine> вместо поиска путей к pa_smth
[23:48:34] <ygrek> вот непаханая тема для камловики кстати
[23:49:07] <ermine> оазис
[23:49:13] <ygrek> угу
[23:49:42] <Kakadu> > [23:48:59] <ygrek> кто тебя научил так собирать?
метод научного тыка и подсматривания в примеры к либам
[23:49:55] <ygrek> Kakadu: код вообще показать можешь? тогда дай адрес репо
[23:50:07] <ygrek> Kakadu: значит не там смотрел :)
[23:50:39] <ermine> Kakadu: попробуй методом научного тыка посмотреть в META например type-conv
[23:51:28] <ygrek> а, это опять qt
[23:51:38] <Kakadu> https://github.com/Kakadu/lablqt/blob/master/xml/Makefile
[23:51:48] <ermine> а ocamlgraph + tyxml - весьма интригирующе звучит
[23:52:20] <ygrek> это реинкарнация qtcaml?
[23:53:09] <Kakadu> ygrek: я просто забрал экспонат из эрмитажа
[23:53:31] <Kakadu> просто надо было летом делать что-то теоритически полезное
[23:54:10] <ygrek> олк
[23:54:36] <ermine> чо?
[23:54:43] <ygrek> аргх, 3.12 нужен
[23:55:14] <ermine> а разве еще существуют <3.12?
[23:55:49] <ygrek> Kakadu: -include .depend надо делать, чтобы сами depend'ы собрать можно было :)
[23:55:51] <ermine> надо посклонять репку, да
[23:56:26] <Kakadu> >[23:55:26] <ygrek> аргх, 3.12 нужен
не понял
[23:56:50] <ygrek> проект требует >= 3.12
[23:56:53] <ygrek> для сборки
[23:56:57] <ygrek> это моя проблема
[23:57:38] <ermine> ну разве это неправильно?
[23:57:40] <ygrek> и ещё и табы в коде!
[23:57:52] <ygrek> нормально, я ж говорю - это моя проблема
[23:57:57] <Kakadu> ygrek: все тумаки в сторону емакса
[23:58:01] <ermine> а у меня проблема - я не люблю qt
[23:58:14] <Kakadu> ermine: а я gtk)
[23:58:19] <ermine> лучше бы Mac Cocoa
[23:58:23] <ygrek> правда там 3.12 фичи в 5 местах :)
[23:59:23] <ermine> это какие фичи?