Objective Caml - Понедельник, 18 июля 2011

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 18 июля 2011< ^ >

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

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

GMT+4
[00:03:09] Kakadu вышел(а) из комнаты
[00:04:48] <Typhon> есть целый курс по coq от крутых чуваков. есть видео даже к курсу. ну и на офсайте есть туториал, ага
[00:05:12] <Typhon> а если вы пропустили: http://dl.dropbox.com/u/10497693/Library/Computer%20Science/index.html -> подоборка книг по фп и прочему (источник: http://xeno-by.livejournal.com/46082.html )
[00:12:27] <ermine> а есть кто-то, кто сумел прочитать все книжки по фп?
[00:12:54] <ermine> или хотя бы пару книжек, /me добрая сегодня
[00:23:26] <gds> ermine: все -- никто, ясен херен, по определению.  Пару книжек -- есть такие.  В чятике есть их достаточно, кроме нас, вмешанных в данную реплику.
[00:24:54] ftrvxmtrx вышел(а) из комнаты
[00:26:21] ftrvxmtrx вошёл(а) в комнату
[00:29:10] shaggie вышел(а) из комнаты
[00:49:08] ftrvxmtrx вышел(а) из комнаты
[00:52:20] ftrvxmtrx вошёл(а) в комнату
[01:34:44] gds вышел(а) из комнаты
[01:41:53] ermine вышел(а) из комнаты
[01:55:13] ftrvxmtrx вышел(а) из комнаты
[01:56:27] ftrvxmtrx вошёл(а) в комнату
[02:08:26] Typhon вышел(а) из комнаты: Replaced by new connection
[02:08:33] Typhon вошёл(а) в комнату
[02:08:37] Typhon вышел(а) из комнаты: offline
[02:08:51] Typhon вошёл(а) в комнату
[02:19:43] ftrvxmtrx вышел(а) из комнаты
[02:21:09] ftrvxmtrx вошёл(а) в комнату
[02:37:06] Typhon вышел(а) из комнаты
[07:37:38] komar вышел(а) из комнаты
[07:38:18] komar вошёл(а) в комнату
[09:51:02] Kakadu вошёл(а) в комнату
[10:12:57] Typhon вошёл(а) в комнату
[10:13:19] Typhon вышел(а) из комнаты
[10:21:45] komar вышел(а) из комнаты: Replaced by new connection
[10:21:45] komar вошёл(а) в комнату
[10:38:16] ermine вошёл(а) в комнату
[10:41:18] komar вышел(а) из комнаты: Replaced by new connection
[10:41:18] komar вошёл(а) в комнату
[11:11:42] delete_ вошёл(а) в комнату
[11:12:04] Typhon вошёл(а) в комнату
[11:20:01] bobry- вошёл(а) в комнату
[11:23:01] ftrvxmtrx вышел(а) из комнаты
[11:25:08] delete_ вышел(а) из комнаты
[11:26:33] delete_ вошёл(а) в комнату
[11:31:44] ftrvxmtrx вошёл(а) в комнату
[11:34:17] ftrvxmtrx вышел(а) из комнаты
[12:35:43] ftrvxmtrx вошёл(а) в комнату
[13:26:46] shaggie вошёл(а) в комнату
[13:40:54] gds вошёл(а) в комнату
[14:10:01] delete_ вышел(а) из комнаты: Replaced by new connection
[14:10:02] delete_ вошёл(а) в комнату
[14:16:59] delete_ вышел(а) из комнаты
[15:29:39] komar вышел(а) из комнаты
[16:05:51] mrm вошёл(а) в комнату
[16:23:49] <mrm> Typhon: Спасибо. Зачётная коллекция
[16:24:01] <mrm> Если парень всё это прочитал, то я его боюсь :-)
[16:24:07] <Typhon> мопед не мой %)
[16:25:01] <Typhon> у парня есть ещё зачётное: http://xeno-by.livejournal.com/45699.html
[16:31:09] <mrm> Очень круто.
[16:31:49] <mrm> Я в подобном режиме всеобъятного микропланирования нахожусь уже пару лет.
[16:32:20] <mrm> Но сейчас прихожу к выводу, что стратегию нужно менять :-)
[16:39:34] <ermine> да там больше похоже на эгоизм
[16:40:22] <mrm> Зависит от того, в чём заключаются его цели
[16:42:32] <mrm> А может быть эгоизм является двигателем любого саморазвития?
[17:05:29] komar вошёл(а) в комнату
[17:08:30] digimmortal вошёл(а) в комнату
[18:21:23] Kakadu вышел(а) из комнаты
[18:29:06] <ermine> gds: камло уже умеет инлайнить функции, переданных как аргументы?
[18:29:25] <gds> ermine: когда последний раз смотрел -- не умело.
[18:30:00] <ermine> ну значит придется учитывать
[18:30:03] <gds> тут вопрос хитрый -- не всегда это хорошо, всё неоднозначно, вроде потому и не делают.
[18:31:46] <gds> кстати, может подкинуть лягушатникам идею?  они взяли ocamlweb-devel как название проекта для "камловебсайта", но может наш вариант с camlunity был бы лучше?  я не знаю, думайте.
[18:33:22] <gds> если чо, обсуждение в рассылке буквально недавно началось.
[18:34:03] <gds> а идейку с инлайнингом функций надо подкидывать лефессанту.
[18:36:32] <ermine> gds: а в случае бинда, где let (>>=) m f = ... ? :)
[18:37:59] <ermine> монады верблюду не прописаны
[18:38:45] <Typhon> camlunity сильно круче ocamlweb-devel, конечно %)
[18:39:10] <ermine> gds: я читаю один пост в одном бложике аж 2008 года
[18:39:59] <ermine> Typhon: аштойта?
[18:41:08] <gds> и в случае бинда не инлайнит, ясное дело.
[18:41:30] <Typhon> ermine: да вон выше gds рассказывает же
[18:42:43] <ermine> а
[18:42:53] <ermine> проглядела
[18:43:00] <gds> про бинд -- как известно, 80/20, и не всякие бинды надо инлайнить.  если профайлер покажет -- можно родить более низкоуровневые комбинаторы, не содержащие бинда в себе, но работающие аналогично.  есть куда оптимизировать.
[18:44:28] <ermine> ну есть еще другие случаи хай ордеров
[18:44:38] <ermine> неужели камло такое г-но...
[18:45:19] <gds> да.  То ли дело х-ь или л-п.
[18:45:26] ermine чота сильно расстроилась - как же, светлая вера в крутизну хай ордер функций так грубо порушена!
[18:46:14] <gds> они реально крутые, чо.
[18:46:18] <ermine> gds: не, надо переходить на SML, там инлайнят, и, говорят, монады есть там!
[18:47:24] <ermine> надо куда-то бежать и резко менять свою жизнь, камло - язык начального уровня, выходит
[18:49:47] <ermine> кстати, посмотрела я наконец на pa_monad: x <-- smth; - ну совсем не художественно
[18:50:54] <ermine> надо забыть про монады и клепать парсер сразу на camlp4
[18:53:19] <ermine> а еще for do done работают намного быстрее чем let rec loop in loop?
[18:54:47] <gds> не обязательно быстрее.
[18:56:05] <ermine> ну если просто loop ()
[18:57:21] <ermine> я тут обнаружила, что в гугле поиск ocaml monad выдает, что эта тема уже плодотворно развита и модная
[19:07:57] <gds> я очень плохо разбираюсь, что модно в новом сезоне.  в случае нужды использую конкретные нужные штуки.  я не модник.
[19:10:02] <ermine> gds: не волнуйся, мы все влияем на твое подсознание
[19:10:42] <gds> дайте там ему пинков, если не сложно.  А то вообще не прёт работать.
[19:12:11] ermine скоро пойдет погулять километров на 15
[19:16:52] <ermine> кстати, еще встречалось мнение, что return надо изобразить как let return x f = f x, и соответствующие монады в этом духе, и /me зависло на этом
[19:17:55] <ermine> надо подумать, как это бы избавило от проблем с типизацией операторов
[19:22:12] <gds> получается, return : 'a -> (('a -> 'b) -> 'b).  Если смотреть тупо, то значит, что носитель алгебры имеет тип "('a -> 'b) -> 'b".  И он никак не использует переданное значение с типом 'a.  Как-то не ок.
[19:30:08] <ermine> http://ocaml.janestreet.com/?q=node/23#comment-48
[19:42:13] digimmortal вышел(а) из комнаты
[20:24:33] ftrvxmtrx вышел(а) из комнаты
[20:55:45] shaggie вышел(а) из комнаты
[21:12:46] ftrvxmtrx вошёл(а) в комнату
[21:26:52] bobry- вышел(а) из комнаты
[21:52:01] mrm вышел(а) из комнаты
[21:54:10] komar вышел(а) из комнаты: Replaced by new connection
[21:54:11] komar вошёл(а) в комнату
[21:58:14] shaggie вошёл(а) в комнату
[22:38:11] komar вышел(а) из комнаты: Replaced by new connection
[22:38:12] komar вошёл(а) в комнату
[22:41:58] f[x] вошёл(а) в комнату
[22:42:52] f[x] вышел(а) из комнаты
[23:09:58] komar вышел(а) из комнаты: Replaced by new connection
[23:10:00] komar вошёл(а) в комнату
[23:34:19] Typhon_ вошёл(а) в комнату
[23:39:22] shaggie вышел(а) из комнаты