Objective Caml - Вторник, 20 сентября 2011

Objective Caml

ocaml@conference.jabber.ru

Вторник, 20 сентября 2011< ^ >

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

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

GMT+4
[00:00:25] ftrvxmtrx вошёл(а) в комнату
[00:01:53] komar вышел(а) из комнаты: Logged out
[00:01:57] komar вошёл(а) в комнату
[00:13:36] Kakadu вышел(а) из комнаты
[00:25:56] vladimir.chujkov вошёл(а) в комнату
[00:26:39] vladimir.chujkov вышел(а) из комнаты
[00:29:09] Typhon вошёл(а) в комнату
[00:35:47] komar вышел(а) из комнаты
[00:36:01] komar вошёл(а) в комнату
[00:37:28] Typhon вышел(а) из комнаты: Replaced by new connection
[00:37:31] Typhon вошёл(а) в комнату
[00:49:29] <bobry> Typhon: расскажи как ты в макоси камло пользуешь. порты?
[00:50:45] <Typhon> рукособранное. ну и мак у меня рабочий, там не особо сильно использую. но вроде всё что нужно стоит, собрано руками :-( но когда я ставил всё это, учаснег ftrvxmtrx ещё не выложил коллекцию портов свою камловских.
[00:51:03] <Typhon> в макось портах, не исключено, окамель какой-нибудь дурацке собранные, с тк например %)
[00:51:56] <bobry> hrm, что то я и забыл что в камлюнити есть макопорты
[01:01:09] <Typhon> хомбрю совсем не пробовал, так что хз, но его все советуют вместо портов использовать вообще
[01:01:17] <Typhon> может там и с окамлом получше
[01:07:56] shaggie вышел(а) из комнаты
[01:34:21] bobry вышел(а) из комнаты
[01:40:40] komar вышел(а) из комнаты: Replaced by new connection
[01:40:42] komar вошёл(а) в комнату
[01:58:02] komar вышел(а) из комнаты
[02:31:24] Typhon вышел(а) из комнаты
[03:32:09] komar вошёл(а) в комнату
[03:43:22] letrec вошёл(а) в комнату
[03:55:54] ftrvxmtrx вышел(а) из комнаты
[03:59:54] ftrvxmtrx вошёл(а) в комнату
[05:05:45] ftrvxmtrx вышел(а) из комнаты
[05:45:21] letrec вышел(а) из комнаты
[06:47:34] zert вошёл(а) в комнату
[07:39:15] letrec вошёл(а) в комнату
[09:02:12] iNode вошёл(а) в комнату
[10:20:56] bobry вошёл(а) в комнату
[10:46:35] klapaucius вошёл(а) в комнату
[10:47:32] ermine вошёл(а) в комнату
[11:35:08] ftrvxmtrx вошёл(а) в комнату
[11:54:31] komar вышел(а) из комнаты
[11:59:13] Typhon вошёл(а) в комнату
[12:11:02] <bobry> Typhon: в brew вообще ничего кроме камла нет
[12:26:22] Kakadu вошёл(а) в комнату
[12:28:10] <Kakadu> bobry: >собрал core и core_extended -- с камло 3.12.1 все собралось без ошибок -- даже не знаю что у Kakadu было не так
лакер!
[12:28:50] <bobry> да ну, какой тут лак
[12:29:08] <bobry> кстати, какой емакс щас самый модный под макось, кто нить в курсе?
[12:29:09] ftrvxmtrx вышел(а) из комнаты
[12:30:10] <zert> аквамакс
[12:30:59] <Typhon> emacs-nox
[12:31:26] <zert> пох
[12:31:30] <zert> кстати, да
[12:31:37] <zert> я иксовый емакс уже несколько лет не запускал
[12:31:43] <f[x]> в зависимостях дело было, в новых версиях пофиксили значит уже
[12:36:01] <bobry> у меня еще какая то фигня с PATH —el-get не может собрать magit, говорит шо не осилил какой то модуль
[12:36:18] <bobry> кто нибудь наступал на такие грабли. да — пока поставил аквамакс
[12:36:32] <Typhon> УМВР в -nox
[13:00:30] ftrvxmtrx вошёл(а) в комнату
[13:14:57] <gds> кому-то интересно literate programming, но не в стиле кнута (макрос макрос макрос макрос), но и не такой примитив, как окамлвеб?  проект/документацию на это дело написал, мариную в голове несколько дней.  но публиковать ещё очень рано, не хочется.  (известнокакой стыд ибо.)
одно из применений, сразу видимых, это тот самый туториал по итератам, где описание кода будет перемешано с кодом.  ну и вообще, в достаточно общем виде оно спроектировалось.
[13:17:42] komar вошёл(а) в комнату
[13:21:50] Kakadu вышел(а) из комнаты
[13:32:04] Kakadu вошёл(а) в комнату
[13:33:04] bobry вышел(а) из комнаты
[13:35:03] komar вышел(а) из комнаты: Replaced by new connection
[13:35:04] komar вошёл(а) в комнату
[13:36:48] <komar> Напиши доку по итератам и иди спать.
[13:42:34] <gds> уже написал ( https://bitbucket.org/gds/ocaml-iteratees/src/tip/iteratees.ml ), но этого мало.
[13:43:51] <komar> А вообще окамл не нужен просто.
[13:44:22] <komar> В хаскиле можно понаписать значений в удобном для чтения порядке и прилепить к ним няшные каментики.
[13:44:29] <zert> да
[13:44:47] <komar> А в окамле let rec.
[13:45:01] <komar> </trool>
[13:45:36] <gds> бывает, логика раскидана по файлам естественным образом -- например, ддл таблицы лучше хранить рядом с модулем, использущим эту таблицу.
[13:46:04] <Kakadu> komar: <troll> trool<-troll </troll>
[13:52:05] ftrvxmtrx вышел(а) из комнаты
[13:53:10] <zert> комар, иди лучше Әғніча раозблачай
[13:53:47] ftrvxmtrx вошёл(а) в комнату
[13:54:58] <komar> zert: разоблачил, но до вечера среды надо молчать.
[13:55:34] <zert> ок
[14:12:33] <komar> zert: ты фотку-то видел?
[15:17:11] <zert> видел
[15:17:17] <zert> угнич как угнич
[15:17:19] <zert> чо такого?
[15:28:47] bobry вошёл(а) в комнату
[15:38:51] <komar> Крут.
[15:39:05] <komar> А у меня тут вся комната в кирпичах.
[15:46:08] komar вышел(а) из комнаты
[15:56:14] <Kakadu> bobry: ну коли у тебя есть коре, то ты можешь попробовать собрать lablqt
[15:56:55] <Kakadu> слово "пробовать" вычеркнуть
[16:14:48] arhibot вошёл(а) в комнату
[16:17:41] <bobry> ок, только ближе к ночи уже :)
[16:51:06] komar вошёл(а) в комнату
[16:58:38] shaggie вошёл(а) в комнату
[17:01:26] arhibot вышел(а) из комнаты
[17:21:51] bobry вышел(а) из комнаты
[17:31:10] komar вышел(а) из комнаты
[17:36:58] klapaucius вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[18:52:15] Kakadu вышел(а) из комнаты
[19:53:57] shaggie вышел(а) из комнаты
[19:54:03] Kakadu вошёл(а) в комнату
[20:13:36] komar вошёл(а) в комнату
[20:20:32] letrec вышел(а) из комнаты: Replaced by new connection
[20:22:01] letrec вошёл(а) в комнату
[20:26:51] Typhon вышел(а) из комнаты
[20:42:32] letrec вышел(а) из комнаты
[20:45:02] ftrvxmtrx вышел(а) из комнаты
[21:17:14] ygrek вошёл(а) в комнату
[21:21:05] komar вышел(а) из комнаты
[21:27:42] <gds> попал в cwn в контрвариантной позиции...
[21:28:33] <Kakadu> население, только я не знаю что такое cwn?
[21:28:51] <gds> сейчас я тебе расскажу.
[21:29:08] <gds> http://alan.petitepomme.net/cwn/2011.09.20.html
[21:29:25] <Kakadu> а, вспомнил
[21:30:15] <Kakadu> gds: ты написал чушь, а они посчитали это одним из лучших постов?
[21:32:11] <Kakadu> надо подписаться на эту штуку
[21:32:35] <gds> не, я доказал им, что lwt это не манатка, да и вообще, показал, какой неудобняк с ней, а они сказали, что 1. "это манатка, только тредовая, а не io" (кое-чем им по летсу, монадные законы не соблюдены), 2. сказали, что этот неудобняк -- это самое замечательное преимущество lwt на самом деле, а я на самом деле не понимаю сути.  Ну ок, чо.
[21:33:40] <Kakadu> я думал что ты там не так поставил скобочки и поэтому пример, приведенный тобой, всё-таки проблему на осветляет
[21:35:16] Typhon вошёл(а) в комнату
[21:37:42] <gds> проблему демонстрирует: Lwt.t 'a, Lwt.return и Lwt.( >>= ) не образуют манатку.  Скобочки везде там, вроде.  Для оригинала -- см. "monad laws" или как-то так.  В общем, первые два закона про взаимодействие bind+return, третий -- про ассоциативность бинда.  И вообще, лучше показывать эти законы на "стрелках клейсли", гораздо проще получается.
[21:39:01] Typhon вышел(а) из комнаты: Replaced by new connection
[21:39:03] Typhon вошёл(а) в комнату
[21:40:02] <gds> ну, фактически, про "является ли манаткой" -- это я докопался до них.  На деле же то, что Lwt.t представляет треды и их результаты, а не действия, это не очень радостно, фактически.  Ну, для моих применений.  Ну, оборачиваю в fun () ->, ну и не жужжу особо.
[21:52:30] ftrvxmtrx вошёл(а) в комнату
[22:23:08] ermine вышел(а) из комнаты
[22:31:13] Typhon вышел(а) из комнаты
[22:39:28] Typhon вошёл(а) в комнату
[22:41:59] zert вышел(а) из комнаты
[23:02:31] Typhon вышел(а) из комнаты: Replaced by new connection
[23:02:32] Typhon вошёл(а) в комнату
[23:04:58] <Kakadu> как лучше обозвать функцию, что по имени класса создаёт значение, представляющиее тип указателя на данный класс?
[23:08:58] <gds> ptrtype_of_classname
[23:09:11] <Kakadu> во, спасибо
[23:15:24] Kakadu забавно смотрит как в ирке оксигена общаются по-французски
[23:34:54] Typhon вышел(а) из комнаты
[23:42:08] Typhon вошёл(а) в комнату
[23:44:20] <Kakadu> bobry: тута?
[23:48:11] gds вышел(а) из комнаты