Objective Caml - Понедельник, 2 августа 2010

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 2 августа 2010< ^ >

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

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

GMT+4
[00:03:18] arhibot вошёл(а) в комнату
[00:15:36] arhibot вышел(а) из комнаты: Replaced by new connection
[00:15:37] arhibot вошёл(а) в комнату
[00:18:05] arhibot вышел(а) из комнаты: Replaced by new connection
[00:18:06] arhibot вошёл(а) в комнату
[00:19:08] zert вышел(а) из комнаты
[00:19:18] arhibot вышел(а) из комнаты
[00:21:34] arhibot вошёл(а) в комнату
[00:27:57] arhibot вышел(а) из комнаты: Replaced by new connection
[00:27:58] arhibot вошёл(а) в комнату
[00:39:29] digital_curse вышел(а) из комнаты
[00:48:49] ermine вышел(а) из комнаты
[00:56:27] vshender вышел(а) из комнаты
[01:05:04] arhibot вышел(а) из комнаты
[02:09:49] Typhon вышел(а) из комнаты
[02:34:15] ygrek вышел(а) из комнаты
[08:13:39] iNode вошёл(а) в комнату
[08:14:34] zert вошёл(а) в комнату
[08:58:57] gds вошёл(а) в комнату
[09:15:54] iNode вышел(а) из комнаты
[09:22:26] iNode вошёл(а) в комнату
[09:50:11] serp256 вошёл(а) в комнату
[09:50:40] ygrek вошёл(а) в комнату
[09:51:47] serp256 вышел(а) из комнаты
[09:53:05] serp256 вошёл(а) в комнату
[10:02:43] ygrek вышел(а) из комнаты: Replaced by new connection
[10:02:45] ygrek вошёл(а) в комнату
[10:09:15] arhibot вошёл(а) в комнату
[10:16:35] Typhon вошёл(а) в комнату
[10:20:02] <Typhon> http://flyingfrogblog.blogspot.com/2010/08/rise-and-fall-of-ocaml.html
[10:22:31] <zert> да, мёртво камло
[10:23:40] <zert> но аналогов нету
[10:23:55] <zert> будем заниматься некрофилией
[10:24:23] <arhibot> И тут на сцены выходят лисперы
[10:25:17] <arhibot> цлисперы
[10:26:50] <zert> с экскаваторами и трёхметровыми ломами
[10:27:34] <arhibot> с косами и тыквами на месте головы
[10:28:57] <arhibot> да простят они меня
[10:47:07] ʇsʎɯ вошёл(а) в комнату
[10:56:40] ygrek вышел(а) из комнаты
[11:23:28] ermine вошёл(а) в комнату
[11:27:03] virvdova вошёл(а) в комнату
[11:28:48] f[x] вошёл(а) в комнату
[12:04:15] <f[x]> хотел было overbld пропиарить, а opengl в коробке то и нет :) - http://stackoverflow.com/questions/3381741/haskell-or-ocaml-with-opengl-and-sdl-precompiled-distribution-for-windows
[12:05:24] <zert> а что за чоткие фишки в 12 появились? где посмотреть можно?
[12:07:28] <gds> мда, действительно, opengl нет, и добавлять уже поздняк.
[12:08:08] <f[x]> почему?
[12:09:21] <gds> поздняк -- конкретно для пеара, так как обычно нужно "здесь и сейчас".  А так-то -- да, надо добавить, есть кошерный http://sourceforge.net/projects/glcaml/
[12:09:56] <f[x]> zert: http://caml.inria.fr/pub/ml-archives/caml-list/2010/07/9780171b1e8e423711dfa3e928869133.en.html
[12:10:16] <f[x]> gds: lablgl на винде точно заводится с полпинка
[12:10:22] <gds> на msvc -- да.
[12:10:28] <f[x]> ы :)
[12:10:56] <gds> пинал гаррига на тему либы на mingw -- говорит, что msvc'шная должна завестись, но нет же, что-то не получалось.
[12:13:58] <zert> Date:NaN-NaN-NaN (NaN:NaN)
[12:14:04] <zert> што блин за люди....
[12:14:59] <f[x]> французы
[12:20:51] <zert> я это уже лет 7 вижу
[12:20:55] <zert> и так не поправят
[12:21:04] <gds> нафига, если всё работает.
[12:21:26] <zert> дык не работает же
[12:21:34] <gds> кому нужны эти даты.
[12:30:53] <Typhon> а, кстати, видели: Haskell, as you may or may not know, is a wildly popular functional language which, though rarely used in business, has attracted a fanatic following of hipsters.
[12:31:44] <zert> ггггг
[12:35:35] ermine вышел(а) из комнаты
[12:37:53] ygrek вошёл(а) в комнату
[12:41:23] ermine вошёл(а) в комнату
[13:09:54] <f[x]> ы, type x = int -> x option как-то обходится?
[13:10:12] <f[x]> в смысле "The type abbreviation x is cyclic"
[13:11:08] <f[x]> через дополнительный конструктор, эх
[13:24:17] <f[x]> а 3.12 тут никак не помогает?
[13:26:19] <gds> или через rectypes.
3.12 -- вроде никак.
[13:27:48] <f[x]> а как это можно заабузить? от чего меня перестаёт защищать rectypes?
[13:28:52] f[x] ленится сам искать :)
[13:36:24] <gds> от подобных (или чуть других) кривых типов, от ошибок типизации при каком-нибудь let rec f (x, y) = f x  (с rectypes выведется нормально, но будут проблемы при попытке использования)
[13:40:30] <f[x]> а, в принципе ясно, написать такой тип ведь недостаточно, компилятор должен его уметь выводить, а тогда он сможет навыводить ещё много чего на некорректном коде
[13:42:07] <gds> угу, rectypes -- такое же послабление типизации, как полиморфные варианты и объекты по сравнению с обычными вариантами и записями.  То есть, гибкости больше, но платишь бОльшим временем поиска ошибки.
[14:35:16] ygrek вышел(а) из комнаты
[15:49:23] ʇsʎɯ вышел(а) из комнаты
[15:50:27] ʇsʎɯ вошёл(а) в комнату
[17:00:54] iNode вышел(а) из комнаты
[17:33:13] gds вышел(а) из комнаты
[17:55:28] ermine вышел(а) из комнаты: Replaced by new connection
[17:55:29] ermine вошёл(а) в комнату
[18:26:12] <f[x]> http://caml.inria.fr/ocaml/release.en.html
[18:36:36] <ʇsʎɯ> доо
[18:43:00] iNode вошёл(а) в комнату
[18:46:33] virvdova вышел(а) из комнаты
[18:47:53] arhibot вышел(а) из комнаты
[18:48:30] <Typhon> и что, неужели собирается?
[18:48:46] Typhon уже предвкушает, как будет собирать ocsigen под 3.12
[18:52:44] <ʇsʎɯ> скоро будет 3.12.1, к гадалке не ходи
[18:57:58] <f[x]> чё, нашёл уже баги?
[18:58:42] <ʇsʎɯ> нет
[18:58:45] <ʇsʎɯ> но уверен, что будут
[19:00:32] gds вошёл(а) в комнату
[19:07:13] Typhon вышел(а) из комнаты
[19:43:17] iNode вышел(а) из комнаты
[19:43:26] iNode вошёл(а) в комнату
[19:47:31] serp256 вышел(а) из комнаты
[20:19:54] Typhon вошёл(а) в комнату
[20:23:34] <gds> Typhon: как считаешь, что будем делать с 3.12 в контексте оверблд?  батарейки не заводятся, ещё что-то не заводится (deriving вроде).  жопка с моим хаком сокетов (если он есть, то dllunix.dll падает при загрузке).  уже не "самая свежая", уже ложь в текстовке-пеаре оверблда.
[20:25:56] <Typhon> надо переносить по возможности, а то вона, х-ль платформ 2.0.0 разродился, надо и оверблд подтянуть. у меня пока ограниченное время (готовлюсь к отпуску), а после вполне можно портировать, глядишь и девелоперы какие-нибудь баги закроют, или патчи напишут. но ежели там малой кровью можно, то можно и в течении недели попробовать.
[20:31:50] <gds> идею понял.  Значит буду на днях пушить в mq всё, что смогу собрать в 3.12.  Ну и glcaml добавлю, а может и lablgl попробую ещё.
А вот юниксовский патч -- даже не знаю, надо опять вспоминать всё это.  Страшно.
Так что за неделю не успеем, да и camlp4 не пофиксят так быстро, а без батареек выпускать -- не знаю, много ли смысла.
[20:38:41] vshender вошёл(а) в комнату
[20:50:29] ʇsʎɯ вышел(а) из комнаты
[20:51:19] komar вошёл(а) в комнату
[20:53:55] vshender вышел(а) из комнаты
[21:04:21] arhibot вошёл(а) в комнату
[22:01:39] <ermine> релизнули?
[22:01:45] <ermine> можно качать и ставить?
[22:03:06] <zert> да
[22:03:15] <Typhon> качай @ компеляй
[22:08:53] <gds> ermine: можно, если не используешь боторейки и deriving.
[22:09:26] <ermine> gds: добавь в этот список ocamlduce
[22:09:45] <ermine> а вот деривинг - кажись только с sqlgg
[22:10:19] ermine запустила gmake world
[22:10:33] arhibot вышел(а) из комнаты
[22:10:46] <ermine> чота не заметно, чтобы оно юзало ocamlbuild
[22:11:33] <ermine> gds: а что с деривингом не так?
[22:12:09] serp256 вошёл(а) в комнату
[22:13:08] <gds> с deriving -- то же, что с боторейками, http://caml.inria.fr/mantis/view.php?id=5080
[22:13:32] <gds> ocamlduce пока не очень актуален, но идею понял.
[22:14:04] <ermine> опять camlp4 ломали?
[22:14:29] <ermine> я тут в связи с новым интересом к парсерам опять собираюсь юзать camlp4
[22:14:50] <ermine> чтобы генерить код
[22:15:32] <gds> camlp4 ломали, и, по результатам, в худшую сторону.  Но я не пользую его для своих проектов, поэтому моё видение односторонне.
[22:15:44] <ermine> камло новое и свежее собралось, вот теперь интересный вопрос - ставить и пересобирать все свое хозяйство или подождать, пока в портах не появится
[22:16:31] <gds> f[x]: http://caml.inria.fr/mantis/view.php?id=5116 -- правильно, дави их.  "any real problem" он не видит, видишь ли.
это я хочу накопить немного ненависти, для чего полез в мантис.
[22:17:35] serp256 вышел(а) из комнаты
[22:17:36] <gds> ermine: он долго не появится в портах.  Но фишки там хорошие, полезные.  Чисто для себя -- у меня обычно есть 3.12 по рукой.
[22:18:13] serp256 вошёл(а) в комнату
[22:18:47] <ermine> gds: а lablgtk им собирается?
[22:19:07] <ermine> узнать бы еще, соберется ли ocsigen :)
[22:20:29] <ermine> но уже стремно с ломатым camlp4 - ulex может не собраться
[22:20:54] <gds> на оба вопроса у меня ответа нет.  Вероятно, скоро будут ответы, так как lablgtk для меня актуален, а ocsigen надо бы сделать таковым.
[22:21:07] <gds> ulex -- проверяй сначала, нефиг стрематься.
[22:23:05] <ermine> gds: у меня тут нет среды, чтобы держать два камла в системе, поэтому не понятно как проверить
[22:23:43] <ermine> снести все, поставить двенадцатое, поставить все заново, обломаться, снести все, поставить старое взад
[22:28:48] serp256 вышел(а) из комнаты
[22:29:28] <gds> а я тебе подскажу, как проверить.q
[22:30:26] <gds> у тебя ведь шелловская сессия для компиляции запускается только твоими лапкамме?
[22:30:47] <ermine> поздняк
[22:31:01] <ermine> я старый libl/ocaml смувила в другое место
[22:31:08] <ermine> остальное уже не так важно
[22:31:55] serp256 вошёл(а) в комнату
[22:31:59] <gds> тоже ок.
[22:32:08] zert вышел(а) из комнаты
[22:32:29] <gds> только ещё старые /usr/[local/]bin/ocaml* надо бы ещё.
[22:33:06] <gds> и camlp4* всякие.  И вообще, всё, что к верблюдам относится.
[22:34:54] <ermine> собираю lablgtk
[22:35:23] <gds> так вот, идея такая.  Если сессию для компиляции запускаешь руками, можно нарисовать пару скриптов, которые будут ставить нужные PATH, OCAMLLIB, CAMLLIB, CAMLP4LIB.  PATH -- дописывать спереди $OCAMLLIB/../bin, CAMLP4LIB -- $OCAMLLIB/camlp4, остальное очевидно.  Нужные пути -- в зависимости от того, какая версия нужна.  Ясень-пень, системное сносишь.
[22:35:26] <ermine> про bin я помню
[22:36:53] <ermine> lablgtk поставился
[22:37:30] gds вышел(а) из комнаты
[22:39:21] <ermine> щас камлофинд соберу
[22:39:32] <ermine> ulex собирается, но без камлофинда не ставится
[22:42:40] arhibot вошёл(а) в комнату
[22:51:37] <ermine> собираю ocamlnet
[22:51:41] <ermine> пока что все собирается
[22:52:41] serp256 вышел(а) из комнаты
[22:52:54] <Typhon> ocsigen давай, народ хочет знать! :)
[22:53:44] <ermine> это в последнюю очередь - у него полно депендсов
[22:59:08] <ermine> собираем menhir
[23:00:53] <ermine> lwt
[23:20:20] <ermine> ocsigen не соберется
[23:20:37] <ermine> obrowser уже не собирается, там camlp4 ломатый
[23:21:05] <ermine> но эти хренцузы должны быстро подсуетиться
[23:21:35] <ermine> а я пока остаюсь на 3.12 :) все остальное дышит
[23:24:17] serp256 вошёл(а) в комнату
[23:26:48] arhibot вышел(а) из комнаты
[23:28:13] serp256 вышел(а) из комнаты
[23:30:19] serp256 вошёл(а) в комнату
[23:34:37] lelf вошёл(а) в комнату