Objective Caml - Четверг, 5 ноября 2009

Objective Caml

ocaml@conference.jabber.ru

Четверг, 5 ноября 2009< ^ >

ygrek установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Верблюды грязи не боятся! | release crap | voice по запросу

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

GMT+3
[00:29:11] ygrek вышел(а) из комнаты
[00:53:39] sceptic вышел(а) из комнаты
[01:34:28] sceptic вошёл(а) в комнату
[03:46:06] aloner2k вышел(а) из комнаты
[07:08:58] iNode вышел(а) из комнаты
[08:16:11] iNode вошёл(а) в комнату
[08:26:22] gds вышел(а) из комнаты
[08:55:36] gds вошёл(а) в комнату
[09:34:14] animist вошёл(а) в комнату
[09:35:06] Typhon вошёл(а) в комнату
[09:35:38] animist вышел(а) из комнаты: Replaced by new connection
[10:04:23] iNode вышел(а) из комнаты
[10:15:18] Mon вышел(а) из комнаты
[10:15:25] Mon вошёл(а) в комнату
[10:17:59] sevenov вышел(а) из комнаты: Replaced by new connection
[10:18:08] sevenov вошёл(а) в комнату
[10:20:01] sevenov вышел(а) из комнаты
[10:20:15] sevenov вошёл(а) в комнату
[10:29:14] iNode вошёл(а) в комнату
[10:47:30] f[x] вошёл(а) в комнату
[10:49:38] animist вошёл(а) в комнату
[11:32:13] sceptic вышел(а) из комнаты
[11:35:49] sceptic вошёл(а) в комнату
[13:11:23] aloner2k вошёл(а) в комнату
[14:13:38] f[x] знает почему inria'вцы не фиксят тривиальные баги - чтобы все недовольные несли деньги в консорциум.. пойду потрясу копилку, авось наберётся
[14:14:01] <gds> там много надо, вроде.
[14:21:50] <iNode> f[x]: это надо трястки копилку заинтересованного работодателя... :)
[14:22:25] <gds> обынчо работодатель заинтересован совершенно в другом.
[14:46:06] <ermine> f[x]: потому что конкуренции нет
[14:47:02] <sceptic> дык, с хаскелем уже всё не будут пытаться конкурировать?
[14:47:47] <ermine> через годика два все забудут про эту конкуренцию
[14:48:12] <sceptic> потому что камло загнётся?
[14:48:24] Typhon вышел(а) из комнаты
[14:48:44] <ermine> ага
[14:49:16] <gds> сколько уже лет камло загибается. надо ему активнее помогать в этом деле! а то чего сидите, сложа руки.
[14:49:22] Typhon вошёл(а) в комнату
[14:50:01] <gds> ещё не ясно, зачем инриа должна пытаться с кем-то / с чем-то конкурировать.
[14:50:48] <ermine> долгоиграющая агония
[14:51:20] <gds> добейте уже кто-нибудь.
[14:51:27] <gds> чтобы не мучился.
[15:10:00] <f[x]> 3к евро в год, буду экономить на кино и в маршрутке зайцем ездить
[15:11:13] <ermine> пешком!
[15:11:16] <iNode> f[x]: да это тебе не haskell, там $10K, IIRC.
[15:11:58] <ermine> можно организовать общак
[15:12:03] <ermine> и со всех сдирать
[15:12:05] <gds> а ещё можно не покупать полиэтиленовые пакетики в магазинах, а носить старые с собой.
[15:12:42] <iNode> gds: а в тех магазинах где они выдаются бесплатно - требовать выдавать наличными... ;)
[15:12:45] <ermine> gds: а у нас они бесплатные
[15:13:10] <gds> чорт. вам значит не получится на этом навариться.
[15:13:28] <f[x]> ermine: можно бейлизом спекулировать
[15:13:30] <sceptic> за 3k они сделают из камла хаскел?
[15:14:06] <f[x]> sceptic: толсто
[15:14:17] <ermine> f[x]: да чота давно на бейлиз на вебмани/яндекс.деньги не перечисляли :(
[15:14:18] <gds> sceptic: ну пиши ты на х-е, в чём проблема.
[15:15:22] <sceptic> блин, мне камло нравится
[15:15:25] <ermine> х-л уже типа You-Know-Who?
[15:15:51] <gds> You-Will-Know-Ху. !
[15:22:30] <Typhon> f[x]: palm_mute @ lj это не ты?
[15:24:34] <ermine> какие страшные раскрытия
[15:25:12] gds точно знает, он или не он.
[15:25:55] Typhon не знает, и если приватность и конспирация, то сворачивает вопросы :)
[15:27:22] <ermine> а пчу бы не поискать ygrek@lj?
[15:31:11] <gds> скандалы, интриги, расследования!
[15:34:46] <ermine> и сплетни
[15:40:24] <f[x]> Typhon: не
[15:41:26] f[x] вышел(а) из комнаты
[15:41:38] f[x] вошёл(а) в комнату
[17:24:42] Kakadu вошёл(а) в комнату
[17:36:03] gds вышел(а) из комнаты
[17:40:06] animist вышел(а) из комнаты
[17:40:21] animist вошёл(а) в комнату
[18:14:22] iNode вышел(а) из комнаты
[18:20:32] gds вошёл(а) в комнату
[18:36:23] <f[x]> ermine: ты не планируешь описать в вики скрещивание камля с ерлангои?
[18:37:51] <ermine> ну это можно
[18:37:54] <ermine> а кому оно надо?
[18:38:13] <ermine> вроде тут никто ырланк не знает :)
[18:38:28] <gds> я бы почитал. мне ырланк весьма интересен. (чтобы перетащить оттуда всё в jocaml!)
[18:39:43] <ermine> gds: для этого в jocaml надо разбивать скомпилированный код на юниты, каждый юнит выполняемый за микровремя в неком подобии селекта
[18:41:22] <gds> я читал слайдэ по диагонали, но вроде joint calculus на нижнем уровне -- как раз что-то типа селекта с битовыми масками для событий. могу сурово гнать.
[18:42:53] f[x] назначил себе векторы щупаний - erlang и mozart
[18:43:18] <Typhon> mozart кто-то использует?
[18:43:21] <ermine> как ты поделишь на юниты, скажем, функцию, которая вызывает парочку сисколов?
[18:43:42] <Typhon> точнее, oz если не ошибаюсь, а mozart вроде среда для него?
[18:43:53] <ermine> в ерланге все же только байткод
[18:44:03] <f[x]> кстати эта среда нафига-то тащит emacs
[18:44:14] <Typhon> расово-верная )
[18:44:34] <ermine> а моцарт уже умеет 64 разрядные архитектуры?
[18:44:37] <f[x]> я vim до сих пор до конца не освоил, а тут ещё одна ось
[18:44:44] <gds> Typhon: а в емаксе уже появился нормальный текстовый редактор?
[18:44:50] <f[x]> гг
[18:44:56] <Typhon> :)
[18:45:59] ermine пытается в смертных муках родить новый код сульци
[18:46:14] <f[x]> у jocaml'я ещё трабла что им занимается даже не полчеловека
[18:46:48] <ermine> jocaml уже умеет работать на нескольких машинах?
[18:46:57] <f[x]> всегда умел
[18:46:57] <ermine> в собственном кластере
[18:47:13] <f[x]> сейчас правда не так круто как раньше (нет mobile agents)
[18:47:36] <ermine> чо, на одной машине можно запустить модуль на другой машине к выполнению?
[18:47:38] <gds> а они принимают патчи к jocaml, если вдруг что?
[18:47:51] <f[x]> рантайм в jocaml'е сейчас с включенным дебагом - пересобираешь и получаешь профит на два порядка
[18:48:34] <f[x]> gds: вот я это как раз сейчас проверяю эмпирически :)
[18:49:17] <f[x]> ermine: не понял. но join-channels работают между процессами
[18:49:38] <ermine> да тут похоже некоторым делать нечего, кроме как патчить и слать патчи в гламурный мантис
[18:50:50] <f[x]> ой ой ой, ты мне лучше скажи как этих французов можно заставить изменить две малюсенькие строчки?
[18:51:00] <ermine> f[x]: ну если ноды адресуются, то и код на них тоже адресуется, в том числе и тот, который в памяти сидит :)
[18:51:37] <f[x]> если ты имеешь ввиду ерлангоподобную прозрачность на уровне рантайма - то нет такого
[18:52:15] <ermine> а вот жжжжаль
[18:52:56] f[x] установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Верблюды грязи не боятся! | release crap | voice по запросу | ocaml мёртв, move on
[18:53:05] <ermine> была бы крутая сульца на jocaml
[18:53:39] <ermine> move on jocaml
[18:54:11] <ermine> есть еще metacaml, он тоже того?
[18:54:26] <gds> metaocaml -- тоже.
[18:54:37] <ermine> а, с o
[18:55:08] <f[x]> надо их всех объединить : erlmetajodynagcaml4mc
[18:55:18] <f[x]> а, ещё duce в конце
[18:55:42] <ermine> f[x]: уже была попытка объединить ырланк и камло
[18:55:55] <ermine> попытка провалилась на стадии вывода типов из типов ырланка
[18:55:59] <f[x]> зачем тебе сульца на 9000 нодах?
[18:56:10] <ermine> кстати, про типы недавно в lj ж был бурный тред
[18:56:27] <f[x]> ermine: это тот самый erlocaml?
[18:56:45] <ermine> f[x]: нет
[18:56:52] <ermine> йетц он звался
[18:57:24] <ermine> в публичном доступе не был
[18:57:25] <f[x]> а jocaml можно легко исопльзовать просто как замену Threads, со всеми теми же ограничениями, но гораздо более понятную кодом и иногда выигрышную по скорости
[18:57:38] <f[x]> а кто делал?
[18:57:41] <ermine> там смесь кода на с и ocaml с попыткой реализации виртуальной машины erlang
[18:58:01] <ermine> виртуальная машина легко удалась и победила в icfpc про umix
[18:58:53] <ermine> она была действительно написана за пару месяцев до icfpc, поэтому jabber.ru команда закоммитила первый результат через 15 минут после старта
[18:59:12] <ermine> правда после этого aleksey улетел в штаты, так что не довел контест до конца
[18:59:43] <f[x]> ы, а откуда он знал что будет именно такая вм?
[19:00:17] <ermine> ну повезло
[19:01:15] <ermine> а вот после этого типизировать динамические типы ерланка не получилось
[19:02:45] <f[x]> интересно
[19:02:50] <ermine> кстати при этом тоже нещадно заглядывали в код хаскиля, например работу со списками своровать чтобы
[19:11:07] <f[x]> вообщем ты напиши пожалуйста в вики?
[19:13:50] <ermine> да
[19:13:57] <ermine> но не сегодня видимо
[19:14:44] <ermine> для этой вики нужны аттачи
[19:15:05] <ermine> репозитория нет, а прикладывать надо три файла
[19:15:45] <ermine> ну ладно будет ссылка на каталог в камлюнити.ру
[19:15:57] <f[x]> можно git repo общий юзать для этого
[19:16:02] <gds> вроде прикладываются файлы.
камлюнити.ру is fine too.
[20:15:26] iNode вошёл(а) в комнату
[20:16:06] Kakadu вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[20:24:41] Typhon вышел(а) из комнаты
[20:27:10] f[x] вышел(а) из комнаты
[21:31:24] Typhon вошёл(а) в комнату
[21:59:54] animist вышел(а) из комнаты: Replaced by new connection
[22:38:26] ygrek вошёл(а) в комнату
[22:38:38] ygrek вышел(а) из комнаты
[22:39:02] ygrek вошёл(а) в комнату