Objective Caml - Пятница, 25 февраля 2011

Objective Caml

ocaml@conference.jabber.ru

Пятница, 25 февраля 2011< ^ >

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

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

GMT+3
[00:09:33] Kakadu вышел(а) из комнаты
[00:15:13] gds вышел(а) из комнаты
[00:29:20] ermine вышел(а) из комнаты
[00:44:42] ygrek вышел(а) из комнаты
[00:44:48] ygrek вошёл(а) в комнату
[01:05:06] ygrek вышел(а) из комнаты
[01:05:42] ftrvxmtrx вышел(а) из комнаты
[02:41:09] zert вышел(а) из комнаты
[06:51:52] komar вышел(а) из комнаты: Replaced by new connection
[06:51:53] komar вошёл(а) в комнату
[07:22:37] iNode вышел(а) из комнаты
[07:48:05] iNode вошёл(а) в комнату
[08:59:48] gds вошёл(а) в комнату
[09:16:11] Typhon вышел(а) из комнаты
[09:54:48] ygrek вошёл(а) в комнату
[10:05:43] ermine вошёл(а) в комнату
[10:06:06] ygrek вышел(а) из комнаты: Replaced by new connection
[10:06:07] ygrek вошёл(а) в комнату
[10:16:16] Typhon вошёл(а) в комнату
[10:41:38] ftrvxmtrx вошёл(а) в комнату
[11:07:58] superbobry@jabber.ru вышел(а) из комнаты
[11:18:14] Typhon вышел(а) из комнаты
[11:18:45] Typhon вошёл(а) в комнату
[11:41:31] ftrvxmtrx вышел(а) из комнаты
[12:14:07] komar вышел(а) из комнаты
[12:15:33] komar вошёл(а) в комнату
[12:19:43] Kakadu вошёл(а) в комнату
[12:26:40] f[x] вышел(а) из комнаты
[12:26:43] ygrek вышел(а) из комнаты
[12:26:58] ftrvxmtrx вошёл(а) в комнату
[12:33:10] f[x] вошёл(а) в комнату
[12:59:09] Kakadu вышел(а) из комнаты: Replaced by new connection
[12:59:10] Kakadu вошёл(а) в комнату
[13:00:40] Kakadu вышел(а) из комнаты: Replaced by new connection
[13:00:41] Kakadu вошёл(а) в комнату
[13:03:02] Kakadu вышел(а) из комнаты: Replaced by new connection
[13:03:03] Kakadu вошёл(а) в комнату
[13:07:14] Typhon вышел(а) из комнаты
[13:28:34] fffetish вошёл(а) в комнату
[13:30:57] zert вошёл(а) в комнату
[13:39:58] Typhon вошёл(а) в комнату
[13:42:57] Typhon вышел(а) из комнаты
[13:54:22] zert вышел(а) из комнаты
[13:55:27] zert вошёл(а) в комнату
[13:57:55] Typhon вошёл(а) в комнату
[14:16:36] gds вышел(а) из комнаты: Replaced by new connection
[14:16:37] gds вошёл(а) в комнату
[15:15:52] abiogenesis вошёл(а) в комнату
[15:16:03] abiogenesis вышел(а) из комнаты
[15:27:14] fffetish вышел(а) из комнаты
[16:00:14] zert вышел(а) из комнаты
[16:01:46] zert вошёл(а) в комнату
[17:32:19] gds вышел(а) из комнаты
[17:38:10] iNode вышел(а) из комнаты
[18:00:25] iNode вошёл(а) в комнату
[18:38:27] iNode вышел(а) из комнаты
[18:47:38] Typhon вышел(а) из комнаты: Replaced by new connection
[18:47:39] Typhon вошёл(а) в комнату
[18:47:56] Kakadu вышел(а) из комнаты
[18:53:29] iNode вошёл(а) в комнату
[18:54:23] ftrvxmtrx вышел(а) из комнаты
[18:55:28] ftrvxmtrx вошёл(а) в комнату
[19:05:59] gds вошёл(а) в комнату
[19:29:24] zert вышел(а) из комнаты
[19:29:38] zert вошёл(а) в комнату
[19:35:41] Kakadu вошёл(а) в комнату
[19:39:10] Kakadu вышел(а) из комнаты
[19:55:15] <Typhon> нашлось что: https://github.com/g2p/git-fs
[19:57:22] <komar> Костыли вы мои костыли.
[19:58:13] Kakadu вошёл(а) в комнату
[20:05:26] Typhon вышел(а) из комнаты
[20:23:10] ftrvxmtrx вышел(а) из комнаты
[20:29:38] <Kakadu> ermine: Я нкиак не пойму, что тут престоит делать..
https://forge.ocamlcore.org/plugins/mediawiki/wiki/gsoc-team/index.php/GSoC2011/Ocsigen/OAR
[20:34:24] <ermine> забавная задачка
[20:35:45] <ermine> Kakadu: а что непонятного?
[20:36:59] <ermine> тольо для gsoc слишком кисло, ибо быстро решается, ну, я для себя уже решила эту задачку
[20:37:00] <Kakadu> почему тупо нельзя имея исходнки запускать make?
[20:37:28] <Kakadu> ну я же не лихой.
[20:38:06] <Kakadu> я тут в комментах к записи душкина нашел отсылку на некий супер-блог. там вообще какая-то дичь творится. надо будет покурить.
[20:39:10] <ermine> Kakadu: я отправила кому-то там пример сборки с помощью оазиса и камлобилда приложения graffiti, чтобы аффтар заценил какая там бодяга из-за расширения синтаксиса, после этого коммиты в даркс туториала по граффити почему-то прекратились
[20:40:55] <Kakadu> тебя надо на демотиваторы)
[20:41:44] <Kakadu> кстати, что значит точечка?
let rec cons : 'a . 'a -> 'a seq -> 'a seq
[20:41:53] <Kakadu> никогда не видел, серьёзно
[20:42:19] <Kakadu> как-то х-ем попахивает
[20:42:42] <ermine> такой 'a, что ...
[20:43:26] <Kakadu> что ... ?
[20:43:47] <ermine> дальше по тексту, что стояло после точки
[20:44:29] <Kakadu> а почему `'a .` нельзя выкинуть?
[21:02:58] <gds> смотря где это "let rec cons" встретилось.
[21:03:42] <Kakadu> gds: http://alaska-kamtchatka.blogspot.com/2010/08/polymorphic-recursion-with-rank-2.html
[21:09:13] <gds> дело в том, что аргументы лямбды (которые "fun x l"), если типизируются классическим хиндли-милнером, имеют одинаковый тип во всём теле лямбды.
[21:12:15] Kakadu пока не дошло
[21:13:05] <Kakadu> ну я попробовал в топлевеле - и с и без тип выводится оинаковый
[21:13:21] <Kakadu> наверное надо поприменять фанки к чему-нибудь
[21:14:07] <gds> если одинаковый и точно универсальный, значит проблема в дальнейших функциях, а в cons добавили просто так.
[21:15:43] Typhon вошёл(а) в комнату
[21:22:33] Kakadu наконец уловил разницу между 'a и '_a
[21:24:44] ftrvxmtrx вошёл(а) в комнату
[21:28:28] <Kakadu> А как по-английски этот синтаксис с точкой называется?
[21:32:07] <gds> конкретно синтаксис -- не знаю, но такая типизация -- "2-rank polymorphism" или, в общем, "n-rank polymorphism"
[21:33:28] <gds> кстати, раньше полиморфизм второго ранга тоже был, но только в записях, объектах и рекурсивных модулях.  Конечно, менее удобно было, но вполне писался код.
[21:57:35] <Kakadu> что-то я смотрю на эти темы и никак не могу понять за чтобы ухватиться. Надо бы как-то научиться понимать по описанию чем я буду заниматься....
[23:22:43] <gds> Kakadu: советую начать делать какие-нибудь реальные штуки.  Если интересен ocsigen -- что-нибудь веб-ориентированное.  Заодно можно и бобла срубить, и обучение в гору пойдёт.  Но, главное, не брать лишних обязательств в начале пути.
[23:26:12] <Kakadu> что значит реальные?
[23:28:35] <gds> выразился не совсем чётко.  Имел ввиду штуки, которые работают в реальном мире, принося пользу людям -- софт хотя бы для нескольких людей, относительно-посещаемый сайт (хотя бы несколькими людьми).
[23:30:14] <gds> ну или софт, который используется лично, но относительно постоянно.
[23:30:29] <Typhon> хороший способ познакомиться с языком/инструментом/фреймворком -- блог -- тут и бд можно поюзать, и темплейты какие-нибудь, и сторонние апи подёргать (твиттеры-уиттеры), и мыло, и авторизации всякие. но насколько полезно -- хз + оксигеновый бложек, кажется, есть (ещё круто оксигеновый бложек на основе гита/хг %) )
[23:33:22] <gds> кстати да, поддерживаю идею :)  Наламывает то, что на ocsigen уже оформили бложыцэ (не видел, насколько юзабельное).  Ну, ситуация как с девственностью партнёрш в обществе быдлоты -- если уже есть блоговый движок, то "я после него не буду!".
[23:34:13] <Kakadu> я не понял сравнение вообще
[23:34:47] <Typhon> на оксигене, вроде, один, но я не помню, что он в кач-ве хранилища, если бд -- то можно на основе cvs, если он гит пользует, то можно в бд хранить произвольный и предоставить интерфейс редактирования
[23:35:00] <Typhon> Kakadu, круто быть первым, версия 1точкаНоль и т.д. %)
[23:35:10] <zert> gds: как твой ерланг поживає?
[23:36:26] <ermine> лучше 0.0001
[23:37:01] ermine мучается - как бы перегнать мускуль в постгрес
[23:37:32] <zert> скачай на цпане mysql2pg
[23:38:03] <Typhon> http://en.wikibooks.org/wiki/Converting_MySQL_to_PostgreSQL
[23:38:06] <ermine> готовый есть?
[23:38:14] <Typhon> mysqldump --compatible=postgresql
[23:38:36] <Typhon> (а, там грят, что это не всё, придётся что-то делать)
[23:39:47] <gds> zert: подкинули говна на лопату, колбашу другое, про ерланг только думаю (во сне и в транспорте).  папеарился в жыжыцэ слегка, но без эффекта.  а так -- синхронное-асинхронное работает, передача синхронных вызовов другим "отвечальщикам" тоже есть, в будущем точно оформлю аналог gen_server.  Не продумал про связи процессов типа link/monitor (пока не ясно, что должно быть и где, а бездумно всё реализовывать не хочется).
[23:41:58] <gds> ermine: 0.0001 не модно.  Лучше примерно 23.  Как у Е. Макса.
[23:43:06] <zert> где ты в жыжыце пропеарился?
[23:45:13] <Kakadu> я тоже не нашел
[23:45:42] <zert> дык слегка
[23:45:45] <gds> не у себя, это да.  http://maxim.livejournal.com/357890.html?thread=1710594 .  Дело в том, что человек не прочь был попользовать jocaml/win32, и мне по определённым причинам следовало ему помочь, но с jocaml не срослось.
[23:46:08] <gds> гы, да, не у себя в жыжыцэ -- значит слегка.
[23:46:15] <zert> этот максим неадекватен вроде
[23:46:27] <gds> в плане венды -- да.
[23:47:29] <gds> в реаллайфе -- помог.  в теории категорий -- помог (литературой).  ещё какие-то вещи, помню, асилил.
[23:47:53] <zert> хз, в жежешечьке постоянно вентилятор крутит и самосвалы говна раздувает
[23:49:12] <gds> это факт.
[23:50:12] <ermine> ну жежечка - оно и есть хранилище вентиляторов и говна
[23:50:56] <gds> хранилище -- мягко сказано.  Платформа для вентиляторов и непрерывная подача говна -- вот это как минимум так.
[23:51:54] <ermine> ну любой ширпотреб такой ширпотреб
[23:52:52] <gds> а лучше унылый бложыг с 1 каментом в 3 месяца?  вообще, на любителя.
[23:53:56] <ermine> да блоги, говорят, уже вышли из моды
[23:55:39] <ermine> просто exUSSR отстает от всего передового мира как всегда
[23:56:18] Typhon вышел(а) из комнаты
[23:57:37] <gds> "и теребиш ей твитор"
ну не знаю насчёт моды.  в мордокниге тусоваться противно (я не пробовал подобное, если чо).
[23:58:38] <ermine> сегодня на вебпланете писали, что фейсбук не завоевал голландию, россию и еще кого-то
[23:59:43] <Kakadu> из моих знакомых только 2 человек на фейсбуке зарегены