Objective Caml - Понедельник, 25 октября 2010

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 25 октября 2010< ^ >

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

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

GMT+4
[00:30:59] <gds> я слоупок-боянист, знаю.  Но кто-то тут хотел про монадки почитать, вроде.  В рассылке на днях был урл http://enfranchisedmind.com/blog/posts/a-monad-tutorial-for-ocaml/ -- в качестве начального чтива покатит.
[00:39:24] <komar> Кто-нибудь может рассказать суть jocaml в трех словах?
[00:40:09] <gds> ocaml join calculus
[00:40:21] <komar> А суть последних двух слов?
[00:40:58] <gds> если очень кратко, http://en.wikipedia.org/wiki/Join-calculus
[00:41:15] <ygrek> лучше почитать мануал jocaml'я, там всё доступно
[00:41:25] <ygrek> и немного
[00:41:47] Kakadu вошёл(а) в комнату
[00:41:59] <ygrek> это как pattern-matching поверх message passing
[00:42:26] <gds> пытался найти нормальный мануал по join calculus, но ниасилил.  Но знаю, где-то точно есть.
[00:43:58] <ygrek> http://moscova.inria.fr/~maranget/papers/jocamlrus/index.html
[00:44:18] <ygrek> http://jocaml.inria.fr/manual/concurrent.html
[01:08:53] myxomop87 вышел(а) из комнаты
[01:15:32] zert вышел(а) из комнаты
[01:24:40] ygrek вышел(а) из комнаты
[01:34:28] Kakadu вышел(а) из комнаты
[02:38:20] gds вышел(а) из комнаты
[02:44:54] arhibot вышел(а) из комнаты
[02:57:28] komar вышел(а) из комнаты
[08:37:44] iNode вошёл(а) в комнату
[08:47:43] myxomop87 вошёл(а) в комнату
[10:11:53] serp256 вошёл(а) в комнату
[10:16:08] ermine вошёл(а) в комнату
[11:01:36] ygrek вошёл(а) в комнату
[11:34:02] zert вошёл(а) в комнату
[11:49:18] <ermine> а когда будет камло 4.0?
[11:51:58] <f[x]> будет?
[11:52:38] komar вошёл(а) в комнату
[11:52:39] <ermine> ну было же 2.x
[11:53:31] <ermine> f[x]: у тебя на jocaml что-то существенное работает?
[11:54:38] <f[x]> сейчас нет
[11:55:24] <ermine> а было?
[11:56:29] <f[x]> угу
[11:57:26] <ermine> какая-нить временная наколенка?
[11:57:40] <ermine> а то вот чота захотелось поиграть с jocaml
[11:58:50] Typhon вошёл(а) в комнату
[11:58:57] komar вышел(а) из комнаты
[12:00:27] <f[x]> ну, парсер интернетов, jocaml там был необязателен, просто захотелось пощупать
[12:00:46] <f[x]> если бы в камле не было gil то jocaml был бы просто конфеткой
[12:00:53] <f[x]> надо скрестить jocaml+oc4mc
[12:23:57] gds вошёл(а) в комнату
[12:35:32] f[x] adds TODO: перевести ocaml-tutorial.org
[12:35:59] <zert> f[x]: окстись
[12:36:25] <zert> за переводы документации с англицкаго языка на том свете положен котёл со смолой
[12:37:53] <f[x]> ну, люди разные, и это не документация, а туториал
[12:38:08] <f[x]> тем более мануал то переведён уже
[12:39:40] <zert> тут года полтора назад какие-то поцанчики мутили перевод книги армстронга по ерлангу, было страшно за читателей
[12:40:00] <zert> да и вообще не видел нормальных переводов
[12:40:14] <zert> ещё видел гольдштейновские переводы рфц
[12:40:26] <zert> хотел развидеть, но не получилось
[12:44:08] <gds> нормальные переводы -- например tapl.
[12:45:17] <f[x]> техническую документацию переводить не стоит обычно, туториалы, статьи - может быть
[12:45:40] <zert> нормальных переводов заметно меньше, чем всякого хлама
[12:46:37] <f[x]> Логика где? Программеров на камле тоже меньше чем всякого хлама, и?
[12:46:52] <f[x]> хлама вообще всегда больше
[12:46:57] <f[x]> это закономерно
[12:47:25] f[x] troll mode on
[12:48:03] <gds> нифига не on, всё правильно, хлама больше, туториалы и статьи переводить есть смысл.
[12:48:38] f[x] troll mode default
[13:16:04] ygrek вышел(а) из комнаты
[13:16:07] ygrek вошёл(а) в комнату
[13:17:42] arhibot вошёл(а) в комнату
[13:19:57] komar вошёл(а) в комнату
[13:21:36] <komar> f[x]: omg, с каких это пор в окамле gil?
[13:22:19] <f[x]> изначально
[13:22:37] <komar> В окамле однопоточный сборщик мусора, но никак не gil.
[13:22:48] <komar> gil бы не дал выполняться двум тредам одновременно.
[13:23:03] <f[x]> он и не даёт :))
[13:23:35] <komar> лолшто
[13:24:10] <komar> А как это так получается, что фигулина на окамле утилизирует все мои 4 ядра?
[13:24:20] <f[x]> ну так там сишный код выполняется, ага
[13:25:46] <komar> Это как?
[13:26:14] <f[x]> caml_enter_blocking_section и не смей трогать рантайм
[13:27:04] arhibot вышел(а) из комнаты: Replaced by new connection
[13:27:05] arhibot вошёл(а) в комнату
[13:33:41] <komar> Мде, костыли-костыли.
[13:34:05] komar adds TODO: поковырять oc4mc
[13:36:10] <f[x]> угу, +1
[13:39:07] <f[x]> Typhon спалился на stackoverflow
[13:43:54] <ermine> ygrek: sqlgg уже компатибелен с 3.12?
[13:45:15] <f[x]> не пробовал
[13:45:16] <f[x]> надо?
[13:48:21] <ermine> вот опять же думаю слинять на 3.12
[13:48:34] <ermine> есть же клон деривинга для 3.12
[13:49:10] <Typhon> f[x]: мне даже беджик "учитель" дали за это %)
[13:49:16] <ermine> пора бы уже попробовать играться с фирст ордер модулями...
[13:50:22] ygrek вышел(а) из комнаты
[13:50:54] ygrek вошёл(а) в комнату
[13:50:55] ygrek вышел(а) из комнаты
[13:54:18] <zert> я там тоже тычер немного
[13:56:43] <ermine> но тебя похоже не заметили
[13:59:18] <Typhon> а мне еще и команда SO ответила. спрашивал по поводу сложных кастомных фидов по тэгам. (пока не читал ответ)
[14:05:25] <f[x]> интересно почему в ocamlfind нельзя простым способом указать какую инсталляцию камля исопльзовать
[14:05:41] <f[x]> приходится пути ко всем бинарникам прописывать в findlib.conf
[14:09:15] <gds> видимо думали, что findlib намертво прирастает к конкретной инсталляции окамла.  Но это и не проблема: скомпилировать его под нужную инсталляцию несложно, а остальное решается просто выбором нужного ocamlfind'а.
[14:17:47] <f[x]> я хотел не трогая path
[14:18:04] <f[x]> только OCAMLFIND_CONF - т.е. держать один ocamlfind, и несколько findlib.conf
[14:18:09] <f[x]> но придётся через PATH
[14:18:25] <f[x]> плюс не всегда через ocamlfind вызывается..
[14:51:19] ʇsʎɯ вошёл(а) в комнату
[15:17:33] <f[x]> https://sites.google.com/site/ocamlgadt/
[15:20:43] aloner2k вошёл(а) в комнату
[15:26:22] aloner2k вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[15:26:56] aloner2k вошёл(а) в комнату
[15:32:58] <f[x]> бгг, http://paste.in.ua/1285/
[15:38:58] <ʇsʎɯ> штоэтааа?!
[15:43:56] <f[x]> бага
[15:45:59] myxomop87 вышел(а) из комнаты
[15:49:26] gds вышел(а) из комнаты
[16:35:20] ugoday вошёл(а) в комнату
[17:15:20] <Typhon> у xah lee оказывается есть твиттор и фотография! http://twitter.com/#!/xah_lee вот он какой, троллие!
[17:17:29] <ʇsʎɯ> а кто это?
[17:19:15] <komar> Всем пофиг.
[17:20:10] <Typhon> m, http://groups.google.com/groups/search?q=xah+lee&qt_s=Search+Groups
[17:21:43] ugoday вышел(а) из комнаты
[17:22:20] <komar> изыди
[17:24:31] arhibot вышел(а) из комнаты
[17:36:31] Kakadu вошёл(а) в комнату
[17:49:46] Kakadu вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[18:01:49] gds вошёл(а) в комнату
[18:10:34] being вошёл(а) в комнату
[18:20:32] Kakadu вошёл(а) в комнату
[18:48:10] <gds> дамы и господа, подскажите такую штуку.  Близок релиз ocaml-iteratees, и надо как-то в модули оформлять.  Если дать всем "главным" модулям префикс "It_" (от "iteratees"), будет по идее ок?  Собственно, модули там такие: 1. общие для всего добра типы и функции, 2. фронд-енды (хз как правильно) -- можно пускать поверх окамловских in/out-channels, примитивно сделать (сделаю) запуск поверх lwt и вообще всего, что можно в монаду оформить, 3. собственно библиотека (типы, комментарии aka руководство пользователя, плюс базовые функции/комбинаторы), 4. штука для парсинга http-строк, 5. тесты (в том числе около-http-шные) (однако, есть штуки из п.4, которые полезны сами по себе).  пп.1,2,3 будут в библиотеке, предполагаю.
Ну и вообще, давайте идеи.
[19:05:12] Typhon вышел(а) из комнаты
[19:30:33] iNode вышел(а) из комнаты
[19:45:28] being вышел(а) из комнаты
[19:47:25] serp256 вышел(а) из комнаты
[20:07:09] Kakadu вышел(а) из комнаты
[20:30:15] Typhon вошёл(а) в комнату
[20:30:39] <gds> вот что очень нужно!11 http://syndicated.livejournal.com/planet_haskell/933664.html
[20:30:49] <gds> (мне дали ссылку, это не я сам)
[20:32:56] <Typhon> на русском и на хабр!
[20:35:11] <Typhon> про либу: я бы предпочёл что-нибудь в духе Iteratees.Core, Iteratees.lwt, etc. т.к. предпочитаю "fully qualified" имена, но в окамеле не особо часто такое встретишь, так что It_ -- ок, наверное
[20:38:59] <komar> gds: ы, клево!
[20:51:17] <gds> fully qualified -- идею понял, буду думать.  "It_*" идёт на второй план, как запасной вариант, "Iteratees.*" идёт на первый, буду думать.  Обращусь, как только.  (а именно, весьма скоро.)
Но нужны ещё мнения.  Лично мне не сложно ни "open Чтонадо" сделать, ни "module I = It_core", но интересно, кому что по нраву больше, и где лучше.
Вроде были какие-то проблемы с -pack (да и со сторонними библиотеками типа camomile на...лся по самое, пока понял, что надо "open CamomileLib"), поэтому вот насчёт -pack пока долго думаю.
[21:03:59] arhibot вошёл(а) в комнату
[22:26:36] Kakadu вошёл(а) в комнату
[22:28:37] <Kakadu> кажется у нас новые ники)
[22:28:44] <Kakadu> aloner2k: привет!
[22:29:02] gds вышел(а) из комнаты
[22:30:07] <komar> какой кошмар што же нам делать
[22:32:33] <Kakadu> у когонибуть валяется ссылка на хороший мануал по всяким штучкам camlp4
[22:32:35] <Kakadu> ?
[22:32:46] <Kakadu> а то я посмотрел на эти квотэйшены
[22:33:07] <Typhon> Kakadu, http://camlunity.ru/camlp4-3.12/ --- пойдет?
[22:33:11] <Kakadu> и я стал полностью охренейшен и нипонимэйшн
[22:33:18] <Typhon> 3.12 можно заменить на 3.11
[22:33:51] <Typhon> no_quot ^_^
[22:35:10] <Kakadu> Typhon: мне чтонибудь рукописное кратким объяснением как это вообще работает
[22:36:41] <komar> По 3.12 вроде у джакеда было.
[22:36:46] <Typhon> ща, тут были блогопосты на тему
[22:37:37] <komar> Который http://ambassadortothecomputers.blogspot.com/
[22:38:04] <Kakadu> во. буду курит
[22:38:08] <Kakadu> курить*
[22:38:15] <Typhon> http://ambassadortothecomputers.blogspot.com/2010/05/reading-camlp4-part-6-parsing.html
[22:38:23] <Typhon> komar, опередил :'(
[22:38:38] <Typhon> Kakadu, reading camlp4 серия.
[22:38:51] <komar> Ваще пацан риальне чоток.
[22:39:20] <Kakadu> всё, теперь мне будет совсем весело
[22:39:43] <Kakadu> И всё изза того что долбаный deriving матерится на типы-функции
[22:39:47] <Typhon> олсо, http://www.elehack.net/michael/blog/2010/06/ocaml-syntax-extension
[22:44:40] myxomop87 вошёл(а) в комнату
[23:00:43] komar вышел(а) из комнаты
[23:21:58] ygrek вошёл(а) в комнату