Objective Caml - Воскресенье, 14 марта 2010

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 14 марта 2010< ^ >

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

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

GMT+3
[00:07:55] <ygrek> варианты решения =
вынести код инициализации в отдельный cmo и гарантируй его линковку ocamlfind'ом
явно вызывать libтакой-то.init в начале программы
[00:12:10] <ermine> хм
[00:23:33] <ermine> факт, обратная конвертация флагов пашыт
[00:23:40] <ermine> ура-ура-ура
[00:23:58] <ermine> этот tip можно занести в tips, ага
[00:36:59] <ermine> кста, от -linkall тоже есть польза - сразу вылезают все undefined функции
[01:34:01] ermine вышел(а) из комнаты
[01:42:51] ygrek вышел(а) из комнаты
[04:16:55] valexey вышел(а) из комнаты
[05:30:29] Typhon вышел(а) из комнаты: offline
[10:37:12] Kakadu вошёл(а) в комнату
[10:37:46] Kakadu вышел(а) из комнаты
[10:38:11] Kakadu вошёл(а) в комнату
[10:48:41] ermine вошёл(а) в комнату
[11:43:40] iNode вышел(а) из комнаты
[11:53:19] sceptic вышел(а) из комнаты
[11:56:53] Kakadu вышел(а) из комнаты
[12:07:54] ygrek вошёл(а) в комнату
[12:20:06] Kakadu вошёл(а) в комнату
[12:43:53] Typhon вошёл(а) в комнату
[12:53:35] valexey вошёл(а) в комнату
[14:43:05] digital_curse вышел(а) из комнаты
[14:43:10] <ermine> ygrek: у sks bdb использует ключи и данные только типа string, хехе
[14:43:40] <ermine> надо посмотреть в dbm.ml, как можно делать полиморфные данные
[14:46:14] <ermine> опа, а там тоже string
[14:48:10] <ermine> встает вопрос - как получть string из любого типа
[14:48:24] <ermine> gds: ?
[14:48:52] <ygrek> ermine: Marshal
[14:49:32] <ermine> ygrek: а, точно
[14:59:05] Kakadu вышел(а) из комнаты
[15:01:54] <gds> и не только Marshal, но идея именно такая -- сделать строку.
[15:03:50] <ermine> а маршалинг в обе стороны сильно жрет проц?
[15:07:07] <ermine> кстати, биндинг к bdb плохо штампуется, надо большинство функций вручную биндить
[15:09:14] <ygrek> ermine: опять велосипедишь? чем sks не подошёл?
[15:11:07] digital_curse вошёл(а) в комнату
[15:11:16] Typhon вышел(а) из комнаты: Replaced by new connection
[15:11:19] Typhon вошёл(а) в комнату
[15:11:34] Typhon вышел(а) из комнаты
[15:11:45] Typhon вошёл(а) в комнату
[15:18:11] <ermine> ygrek: ага
[15:19:26] <ygrek> осуждаю
[15:20:23] <ermine> ну осуди автора sks сначала :)
[15:21:13] <ygrek> why?
[15:21:46] <ermine> не отделил bdb от sks
[15:22:10] <ermine> мож и мне тоже не отделять от своих поделок
[15:22:21] <ygrek> в debian был когда-то отдельный bdb пакет
[15:22:44] <ermine> когда-то
[15:23:06] <ermine> не нашла я ocamlbdb в гугле, это видимо он был, и версии он был 0.0.1
[15:23:07] <ygrek> там отделять делов-то - в отдельном каталоге всё
[15:23:26] iNode вошёл(а) в комнату
[15:23:35] <ermine> ну запусти там make
[15:23:46] <ermine> в отдельном каталоге
[15:25:20] <ermine> проще сделать свой, чтобы патчить и вносить недостающий функционал
[15:25:50] <ygrek> не проще, с сишными биндингами не проще
[15:28:24] <ermine> да что ты говоришь!
[15:29:39] <ygrek> факт
[15:49:15] <valexey> чо-то тут какие-то реальные проекты обсуждаются. странно. ГДЕ МАТАН?!
[15:49:16] <valexey> ;-)
[15:53:33] <ermine> какой матан?
[15:56:18] <valexey> ну, какой-нибудь. который на haskell@c.j.r
[15:59:42] <Typhon> матан переехал на vba@c.j.r
[15:59:51] <Typhon> тролли теперь там же
[16:00:18] Typhon вышел(а) из комнаты
[16:01:11] <valexey> сказал он и ушел туда сам :-)
[16:09:30] ermine споткнулась об очереднюю проблему программирования на камле: имена sum типов не должны пересекаться в одном модуле
[16:09:39] <ermine> когда ж будет новое камло?
[16:18:16] <valexey> в новом камле это обещают пофиксить таки?
[16:18:28] <valexey> новое камло это f# !
[16:19:49] <ermine> фишарп - не камло
[16:22:47] Kakadu вошёл(а) в комнату
[16:23:17] <valexey> чем это оно не камло?
[16:23:31] <valexey> крякает как камло, выглядит как камло, значит камло.
[16:23:52] <ermine> фишарп не везде работает же
[16:24:00] <ermine> не портабельно
[16:27:36] <valexey> ну, на macos x работает, linux работает, windows работает.
[16:27:42] <valexey> что-то ещё надо?
[16:32:12] <Kakadu> ну на Mono всё только официальн работает .NET
[16:32:22] <Kakadu> реально есть проблемы
[16:34:23] <valexey> конкретно f# там работает нормально.
[16:34:36] <valexey> библиотеки маздайные -- вопрос отдельный
[16:50:16] <ermine> valexey: на макоси и винде и камло работает, без всяких .net и mono
[16:50:40] <valexey> ermine: а чего тогда хочется?
[16:50:45] <valexey> где работает камло но не работает мона?
[16:52:31] <ermine> valexey: у olegfink на каком-то его девайсе
[16:55:29] ermine раздумывает - а не собрать ли просто все флаги bdb в одну кучу и не страдать проблемами разделения имен
[17:00:49] <ygrek> юзай полиморфные варианты - для флагов - самое то
[17:01:35] <ermine> ygrek: как это принято в lablgtk?
[17:02:10] <ygrek> и в lablgl и ocamlnet и много где
[17:02:32] <ermine> надо посмотреть как конвертить из с в камло в такие варианты
[17:02:46] <ygrek> а вот тут сложнее :)
[17:02:48] <ermine> там вроде надо caml_named
[17:03:16] <ygrek> причём кмк камло не экспортирует функцию для хэширования имён этих вариантов
[17:03:30] <ygrek> в type-conv есть
[17:03:47] Kakadu вышел(а) из комнаты
[17:03:52] <ygrek> хотя это не в тему - там не си
[17:06:36] <ermine> кажись, в родной бибоиотеке камля варианты вообще не используются
[17:13:37] <valexey> модуль graphics особо порадовал.
[17:13:55] <valexey> отсутствием алгебраических типов в status'e
[17:14:10] <valexey> и явной глобальной неявной переменной где-то в потрохах.
[17:14:41] <valexey> нонче так даже злобные императивщики не делают.
[17:15:32] <ermine> valexey: а вроде термин "алгебраический тип" применяют не в камле, а в хаскиле
[17:16:03] <valexey> а какая разница? от этого менее алгебраическим он не становится.
[17:16:08] <ermine> valexey: хотя бы потому, что в хаскиле нет records
[17:16:18] <ermine> они там алгебраический тип
[17:16:32] <ermine> поэтому непонятно, про что ты говоришь, говоря про камло
[17:32:40] <valexey> дас, с records что-то везде бяда.
[17:32:54] <valexey> такое ощущение что они везде как-то слева-сбоку прилеплены
[17:33:04] <valexey> что в erlang'e что в haskell'e что в камле.
[17:52:52] <ermine> ну в камле тоже
[17:53:06] <ermine> они в биндингах так же создаются, как массивы и тьюплы
[17:54:11] <valexey> дык я всех трех и перечислил :-)
[17:58:58] ermine почитала о том, какие телодвижения надо совершать с вариантами
[17:59:15] <ermine> хнык
[18:03:38] <ermine> идея - в с создать таблицу, которая ставит в соответствие флагу его хэш варианта, тогда втупую перебирать для конвертации в обе стороны
[18:04:32] <ermine> вот только интересно, что будет в камле, если он получит "неожиданный" вариант для данной функции
[18:05:12] <ermine> тогда не одна табличка
[18:27:35] <ermine> о! нашла в исходниках db файлик с точным указанием набора флагов для каждой функции
[18:28:15] <ermine> тогда генерить таблички можно автоматом и для С и для камла
[19:25:07] Kakadu вошёл(а) в комнату
[19:30:39] valexey добавил в свой блог голосовалку позволяющую оценить каждый из постов.
[19:32:49] <ermine> а кто-то голосует?
[19:32:59] <ermine> я вот никогда не голосую по постам
[19:35:31] <Kakadu> и вообще название блога откуда-то стырено)
[19:35:41] <Kakadu> я такое уже видел
[19:49:49] <valexey> название широковстречающееся вроде как. но придумывал сам.
[20:17:58] <valexey> кстати, а щупал кто thrift на предмет работы с камлом?
[20:18:03] <ermine> на ырланке?
[20:18:35] <valexey> на ocaml'e ;-)
[20:18:41] <valexey> написано что камло оно держит.
[20:19:04] <valexey> ну и вообще, у кого-нибудь хоть какой опыт возни с thrift'ом есть?
[20:20:30] <ermine> слово слегка знакомое
[20:21:13] <valexey> ну, это конкурент google protobuf'a
[20:21:24] <valexey> http://incubator.apache.org/thrift/
[20:23:32] sceptic вошёл(а) в комнату
[20:26:08] <ermine> а зачем оно тебе?
[20:26:50] <valexey> ну. нужен же какой-то язык для описаия протокола.
[20:26:57] <valexey> гуглопротобуфа нету для камла.
[20:27:04] <valexey> bert'а тоже нету.
[20:27:19] <valexey> про asn.1 и подумать смешно :-)
[20:29:33] <ermine> asn.1 рулит, а все остальное - велосипеды
[20:29:46] <valexey> безусловно. есть asn.1 для камла?
[20:30:38] <ermine> у zert
[20:31:22] <valexey> где скачать? ;-)
[20:32:02] <ermine> хз
[20:33:43] <valexey> ну вот. значит остается собственно только thrift
[20:37:26] <ermine> а твой блог где скачать?
[20:37:50] <ermine> чтобы что-то из кода стырить
[20:38:21] <valexey> в смысле?
[20:39:48] <ermine> ты сказал, что у тебя блог на камле
[20:40:28] <valexey> не говорил такого. вообще, про блог сюда прилетело по ошибке :-)
[20:41:08] ermine разочарована
[20:41:52] <valexey> да я камло начал щупать в пятницу только :-)
[20:42:14] <valexey> смотрится, по сравнению с хаскелем, каким то уж очень практичным языком :-)
[20:42:37] <valexey> кстати, а как у камла с высвобождением ресурсов? т.е. управлением ресурсами.
[20:42:55] <valexey> деструкторов вроде нет, следовательно rai не прокатит.
[20:44:54] <Kakadu> а что такое rai? на что гуглить?
[20:45:38] <ermine> у хаскелистов на каждом шагу сплошные термины
[20:45:48] <valexey> это не хаскиль
[20:45:54] <valexey> это термин из C++ :-)
[20:45:55] <ermine> вечно пытаются укоротить себе жизнь
[20:46:10] <valexey> raii
[20:46:19] <valexey> http://en.wikipedia.org/wiki/Resource_Acquisition_Is_Initialization
[20:46:27] <sceptic> RAII не нужно же
[20:46:40] <sceptic> и C++ не нужно
[20:46:43] <valexey> а что вместо него?
[20:47:06] <Kakadu> а, понял
[20:54:19] <valexey> и?
[20:54:23] <valexey> как и что? ;-)
[20:58:24] <ermine> почитай сам
[20:58:34] <ermine> почитай чота там по гуглу по поиску ZINC
[20:59:59] <valexey> "ZINC is a recursive acronym for \ZINC Is Not CAML" -- оно? ;-)
[21:00:56] <valexey> 1990 год :-\
[23:03:34] Typhon вошёл(а) в комнату
[23:20:38] sceptic вышел(а) из комнаты
[23:21:09] sceptic вошёл(а) в комнату
[23:34:02] gds вышел(а) из комнаты
[23:38:11] valexey вышел(а) из комнаты
[23:38:44] Kakadu вышел(а) из комнаты
[23:45:44] <olegfink> вот нафлудили