Objective Caml - Среда, 17 февраля 2010

Objective Caml

ocaml@conference.jabber.ru

Среда, 17 февраля 2010< ^ >

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

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

GMT+3
[00:36:11] ygrek вышел(а) из комнаты
[01:18:45] ermine вышел(а) из комнаты
[01:32:45] digital_curse вышел(а) из комнаты
[02:01:55] Typhon вышел(а) из комнаты
[03:29:42] daapp вошёл(а) в комнату
[07:18:37] ermine вошёл(а) в комнату
[08:24:11] iNode вошёл(а) в комнату
[08:51:25] Sergey Plaksin вошёл(а) в комнату
[08:51:30] Sergey Plaksin вышел(а) из комнаты
[09:24:23] Typhon вошёл(а) в комнату
[09:57:41] gds вошёл(а) в комнату
[10:01:26] Kakadu вошёл(а) в комнату
[10:18:43] Kakadu вышел(а) из комнаты
[10:25:01] Typhon вышел(а) из комнаты: Replaced by new connection
[10:25:02] Typhon вошёл(а) в комнату
[10:31:59] ygrek вошёл(а) в комнату
[10:48:41] <gds> caml-list, новые коаны: http://eigenclass.org/hiki/fp-ocaml-koans
[10:59:16] <Typhon> в треде про "зачем let rec" их вспомнили? :) я почему-то думал, что ты эти переводил, а оказалось нет
[11:00:01] <gds> дада, let rec
[11:02:22] <Typhon> я за тредом что-то следил чуть, ждал пока на них ссылку кинут, не дождался, перестал смотреть.
[11:10:21] Typhon вышел(а) из комнаты
[11:10:54] Typhon вошёл(а) в комнату
[11:20:52] ygrek вышел(а) из комнаты
[11:55:33] Sergey Plaksin вошёл(а) в комнату
[12:24:21] <Sergey Plaksin> А никто не видел где-нить META файла для ocaml-deriving?
[12:24:40] <Sergey Plaksin> Я нашел в федоре, но там синтаксиса нету
[12:33:48] <Typhon> Sergey Plaksin: если по примеру сделать с Pgocaml, скажем? http://paste.in.ua/336/
[12:34:43] <Sergey Plaksin> Typhon: да сделать то понятно как, я что может уже есть
[12:34:51] <Sergey Plaksin> думал
[12:35:17] <Typhon> Sergey Plaksin: про это http://repo.or.cz/w/deriving.git/ знаешь?
[12:39:54] <Sergey Plaksin> Да в mail-list видел
[12:40:07] <Sergey Plaksin> хочу PKGBUILD написать для этого дела
[13:08:32] <Typhon> gds: тест bing.com указал на http://gds.livejournal.com/22844.html -- то что по ссылкам там, оно живо? может стоит на вики запихнуть?
[13:12:00] <gds> моя "обучалка", как я посмотрел на неё потом, весьма кривая, и не знаю, стоит ли её воскрешать.  (там были изложены чисто синтаксические аспекты -- как создавать и использовать значения)
А вот fp-lecs.pdf -- хорошая, годная книга, положу на тот же хост, где вика, и дам ссылку на неё.
[13:15:27] gds вышел(а) из комнаты: Replaced by new connection
[13:15:28] gds вошёл(а) в комнату
[13:17:56] <Typhon> это от Харрисона лекции?
[13:32:20] <gds> не.  вообще хз что это, автор не указан.  но там вполне приличное введение в функциональное программирование, лямбды, все дела.  правда вот заканчивается всё х-ем, но это мелочи.
[13:40:12] <gds> тупак, но в статью http://gdsfh.dyndns.org/kamlo/OCamlFAQ добавил главу "Книги", где и дал ссылку на fp-lecs.pdf: http://gdsfh.dyndns.org/kamlo-ext/fp-lecs.pdf
[14:00:42] <Sergey Plaksin> Тут никто в арче не сидит? http://aur.archlinux.org/packages.php?ID=34758
[14:00:52] <Sergey Plaksin> Это я deriving нафигачил туда
[14:15:06] daapp вышел(а) из комнаты
[14:16:12] <Sergey Plaksin> Блин, какая же классная штука этот deriving
[14:16:27] <Sergey Plaksin> А чего-то ребята и batteries про него не знают
[14:16:59] <Sergey Plaksin> такие вещи же must have в batteries
[14:18:37] <gds> это да, надо.  Только вот глюки мешают.  В частности, глюк с '<'.
[14:21:11] <Sergey Plaksin> А вы гит завели? чтобы глюки фиксить, это же ваш насколько я понял, или нет?
[14:21:38] <gds> гит завёл ygrek, он же там и фиксил.
[14:22:11] <gds> лично мне проще использовать deriving как есть, нежели исправлять его глюки.  works for me, всё такое.
[14:23:22] <Sergey Plaksin> Я тут подумал, можно же deriving запихнуть в type_conv
[14:23:38] <Sergey Plaksin> чтобы можно было совместно с sexplib и bin_io юзать
[14:23:42] <Sergey Plaksin> это же тру
[14:24:23] <Sergey Plaksin> только этот аццкий type_conv просит все время TYPE_CONV_PATH писать, не очень понимаю зачем, но замахивает :-)
[14:25:43] <Sergey Plaksin> Лушче наоборот наверно sexplib в deriving запихнуть
[14:33:17] <gds> как говорит народная мудрость, из того, что что-то куда-то можно запихнуть, не следует, что что-то куда-то следует запихивать.
deriving хорош тем, что инстанс "тайпкласса" можно переопределить, тогда как для сериализации в s-выражения давать такую возможность навряд ли стоит (хотя бы в качестве средств для выдачи сбалансированных s-выражений и для обратимости операции сериализации).
[14:42:38] <Sergey Plaksin> Если тебе нужно юзать и sexplib и deriving одновременно?
[14:44:40] <gds> если нужно -- жопка.
[14:45:29] sceptic вышел(а) из комнаты
[14:51:13] <Sergey Plaksin> И я не очень понял про переопределить инстанс в pa_sexplib тоже може что угодно переопределить
[14:52:23] <Sergey Plaksin> И ох-ный геморой юзаю batteries, например DynArray - и вот нужно мне его дерайвить, гемор.... должна быть эта шняга в batteries ужо
[14:52:32] <gds> в deriving можно сделать так, что при сериализации в s-выражение пользовательская функция выдаст строку вида "123(456", явно нарушая баланс скобок.
[14:53:51] <Sergey Plaksin> нет очень понимаю как она сможет это сделать. Тебе нужно будет писать например deriving(Sexp),  соответственно две функции которые sexp_of_t и t_of_sexp
[14:54:16] <Sergey Plaksin> есть типа Sexp.t = [ Atom of string | List of list t ] - ну примерно
[14:54:18] sceptic вошёл(а) в комнату
[14:54:28] <Sergey Plaksin> тут никак такую злую шнягу не сделаешь по моемау
[14:55:28] <Sergey Plaksin> т.е. если ты будешь чего-то переопределеять, то тебе нужно будут написать фукнцию которая конверит твой тип в Sexp.t и наоборот
[14:55:46] <gds> если всё так представить, и как-то гарантировать отсутствие скобок в Atom "string" (квотить/эскейпить), то вполне покатит.  Да, в принципе можно придумать решение.
[14:56:21] <Sergey Plaksin> ну при конвертации sexp в строку там все квотица в sexplib
[14:58:14] <Sergey Plaksin> Каждый придумывает свой велосипед. Интересно что было раньше type_conv или Deriving - ведь суть одна, почему не делать по общей схеме....
[15:02:20] Sergey Plaksin вышел(а) из комнаты
[15:10:15] Sergey Plaksin вошёл(а) в комнату
[15:10:37] sceptic вышел(а) из комнаты
[15:11:06] sceptic вошёл(а) в комнату
[15:49:17] Typhon вышел(а) из комнаты
[16:00:25] Sergey Plaksin вышел(а) из комнаты
[17:05:56] iNode вышел(а) из комнаты
[17:10:17] <gds> http://zabivator.livejournal.com/388481.html?thread=8999041#t8999041 -- конечно, я там тупил, но в целом ок.  Картинки в посте тоже ок.  ок!111
[17:30:09] gds вышел(а) из комнаты
[18:28:31] Sergey Plaksin вошёл(а) в комнату
[19:46:02] Sergey Plaksin вышел(а) из комнаты
[20:13:51] iNode вошёл(а) в комнату
[21:21:29] digital_curse вошёл(а) в комнату
[21:53:02] Kakadu вошёл(а) в комнату
[21:53:19] Kakadu вышел(а) из комнаты
[22:03:41] Typhon вошёл(а) в комнату
[22:09:11] ygrek вошёл(а) в комнату
[22:28:02] <ygrek> кстати мне совсем недавно первый раз понадобились эти existential'ы.
type 'a pr = ?exn:exn -> ('a, unit, string, unit) format4 -> 'a
class logger :
  Logger.facil ->
  object
    method debug : 'a pr
    method error : 'b pr
    method info : 'c pr
    method warn : 'd pr
  end
[22:28:37] <ygrek> хм, забавно что в топлевеле не пишется 'a. 'a pr
[22:32:15] <ygrek> кстати если будет годный META для deriving - поделитесь. Недавно вот прислали патч для сборки камлобилдом, правда не совсем корретный - но допилю и под виндой тогда проще будет
[22:38:23] <ygrek> а, META вижу, копипастю
[22:41:15] <Typhon> [на случай если забуду] for gds: может имеет смысл перетащить то что написал в комментах в вики (в Typing, скажем) с какими-то комментариями?
[22:54:32] <ygrek> http://malaya-zemlya.livejournal.com/530483.html
[22:56:25] abiogenesis вошёл(а) в комнату
[22:58:09] digital_curse вышел(а) из комнаты
[23:09:55] <ygrek> по-моему tywith и deriving появились примерно в одно время
[23:59:53] abiogenesis вышел(а) из комнаты