Objective Caml - Воскресенье, 25 сентября 2011

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 25 сентября 2011< ^ >

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

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

GMT+4
[00:09:08] Typhon вошёл(а) в комнату
[00:16:50] Typhon вышел(а) из комнаты: Replaced by new connection
[00:16:51] Typhon вошёл(а) в комнату
[00:45:18] ftrvxmtrx вышел(а) из комнаты
[00:45:26] ftrvxmtrx вошёл(а) в комнату
[00:59:56] zbroyar вошёл(а) в комнату
[01:18:53] arhibot вошёл(а) в комнату
[01:18:57] arhibot вышел(а) из комнаты
[01:27:47] Kakadu вышел(а) из комнаты
[02:17:53] zbroyar вышел(а) из комнаты: Replaced by new connection
[02:17:54] zbroyar вошёл(а) в комнату
[02:38:11] ответ вышел(а) из комнаты
[02:43:14] shaggie вышел(а) из комнаты
[02:47:34] zbroyar вышел(а) из комнаты
[03:52:57] Typhon вышел(а) из комнаты
[06:46:30] letrec вошёл(а) в комнату
[10:41:17] Kakadu вошёл(а) в комнату
[12:29:54] <gds> http://paste.in.ua/3097/ , запушил в https://bitbucket.org/gds/cadastr/ , но доку написать не успею, надо сваливать.  А без доки не будет понятно, занафига я там такого намутил.
[12:39:31] komar вышел(а) из комнаты: Replaced by new connection
[12:39:32] komar вошёл(а) в комнату
[12:48:07] Typhon вошёл(а) в комнату
[13:12:21] arhibot вошёл(а) в комнату
[13:28:40] arhibot вышел(а) из комнаты
[14:57:37] shaggie вошёл(а) в комнату
[15:52:51] bobry вошёл(а) в комнату
[15:52:52] bobry вышел(а) из комнаты
[18:51:40] ftrvxmtrx вышел(а) из комнаты
[19:03:19] <gds> написал доку про свой подход к строкам, их мутабельности, юникоду, utf8 и реализации этого дела в кадастре: https://bitbucket.org/gds/cadastr/changeset/e8b4f6c277cd
[19:13:22] zbroyar вошёл(а) в комнату
[19:17:50] arhibot вошёл(а) в комнату
[19:17:54] arhibot вышел(а) из комнаты
[19:20:31] zbroyar вышел(а) из комнаты
[19:28:00] <Kakadu> напомните мне, чтобы  я спросил zbroyar не zbr ли он
[19:50:03] Typhon вышел(а) из комнаты
[20:01:01] ftrvxmtrx вошёл(а) в комнату
[20:22:53] arhibot вошёл(а) в комнату
[21:06:00] Typhon вошёл(а) в комнату
[21:14:28] letrec вышел(а) из комнаты
[22:32:10] <bobry> torkve кстати так и не заходил?
[22:32:17] <bobry> я честно позвал его в наш уютный чатик
[22:34:23] <gds> заходил, вроде.
[22:35:20] <gds> http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/2011/09/24.html#22:58:32.603399
[22:43:26] <bobry> ohwell, ненадолго же он :)
[22:54:02] <gds> хорошо, что с проблемой разобрался.  А что он разобрался сам -- тоже хорошо, это кое-какой показатель.
[22:57:15] <Kakadu> а я воспринял его не как torkve, а как кого-то неизвестного
[23:06:49] gds изменил(а) имя на говно
[23:06:50] <говно> Kakadu: а как ты сейчас на меня смотришь? :]
[23:06:54] говно изменил(а) имя на gds
[23:09:20] <Kakadu> gds: Я сегодня думал залогиниться в ирку как Janestreet's core и написать чтонибудь типа
Hi adrien. I'm waiting for you... <3
[23:10:11] <gds> пригласить в добрый мир дописывания коры?  миленько.
[23:13:54] <Kakadu> просто он пакался что не может её собрать
[23:14:23] <Kakadu> короче lablqt собирается только на компах боброго и на моем. У adrien'a не собралось
[23:16:53] <gds> если хочешь правильно решить вопрос -- с помощью дописывания кода сделай хорошую диагностику той проблемы, которая на компе одреена.
[23:18:14] <bobry> Kakadu: а шо у него за ошибка?
[23:18:50] <Kakadu> у него статик метод генерится в как обычный и обшибка компиляции
[23:19:25] <Kakadu> я тут ваяю тулу для уменьшения XMLины
[23:19:55] <bobry> а какая у тебя кстати версия qt?
[23:20:42] <Kakadu> 4.7.3
[23:25:38] <bobry> и у меня 4.7 -- может оно с 4.6 например не собирается
[23:41:34] <Kakadu>         Objective Caml version 3.12.1
# let _ : int = 1+1;;
Error: Syntax error
[23:41:39] <Kakadu> вроде раньше такого не было
[23:42:55] <bobry> # let (_ : int) = 1 + 1;;
[23:43:57] <Kakadu> так то оно так но непонятно почему с вайлдкартой нужны скобки
[23:52:38] <gds> почти полностью понял http://alaska-kamtchatka.blogspot.com/2011/09/higher-order-fun.html .  раньше хотел как-то сделать подобную шнягу на более классических типах, но не знал, куда её приткнуть, да и было совершенно не так же просто, как на модулях (вероятно, потребовались бы извращения; хотя у жованнини таки сложно).  Но я не сделал, поэтому жованнини крутой, а я -- этотсамый простой.
Про текущий, клёвый подход: если вкратце, там на модулях строится общая структура вычисления, а конкретное описание bind/return/fail подаётся на вход вычислению соответствующей функцией "Манатка.run".
Однако главная ценность его поста -- в том, что он на хорошем примере показывает возможности первоклассных модулей.  Как бы дополняет то, что олежке было западло разжёвывать.  Тем не менее, лично я переваривать это буду ещё долго.