Objective Caml - Пятница, 4 мая 2012

Objective Caml

ocaml@conference.jabber.ru

Пятница, 4 мая 2012< ^ >

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

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

GMT+4
[00:37:10] klapaucius вышел(а) из комнаты
[00:55:09] <bobry> type Prepared input :: ★
[00:55:20] <bobry> только дай фанатикам unicode identifiers
[00:55:30] <bobry> строчка из реального кода
[00:57:57] <gds> хорошо хоть не ☭ какое-нибудь.  вот агда этим бесит просто ужасно.  если чо, коллега будет мне сам писать ascii7-алиасы к их разным ≤ и прочей поэтойсамой.
[00:58:33] <bobry> а чо в агде по другому никак?
[00:59:18] <gds> вроде "как", но не уточнял.
с другой стороны, агда (если прохавать coq, чем я занялся) кажется слегка слабее.
[01:00:09] <gds> там, видишь ли, coding style guides таковы, что чем больше юникода используешь, тем надёжнее будет работать программа.  :[
[01:00:54] <bobry> мда, пора и в х-ль такой style guide записать
[01:01:08] <bobry> гарантии компелятора прямо пропорциональны кол-ву синтаксических извращений
[01:01:44] <gds> а про "слабее" -- в агде либо "гуй" (потому что пруф-термы руками затрахаешься выписывать; действия в гуе эквивалентны тактикам в coq), либо автоматическая доказывалка, эквивалентная тактике "auto" (необычно!) в coq.
[01:02:03] bobry вышел(а) из комнаты
[01:29:01] Kakadu вышел(а) из комнаты
[02:10:52] f[x] вышел(а) из комнаты
[02:59:18] Typhon вошёл(а) в комнату
[03:00:17] Typhon вышел(а) из комнаты: Replaced by new connection
[03:00:37] Typhon вошёл(а) в комнату
[03:37:48] letrec вошёл(а) в комнату
[03:54:28] Typhon вышел(а) из комнаты
[04:46:52] letrec вышел(а) из комнаты
[06:50:59] ermine вошёл(а) в комнату
[08:11:36] tilarids вошёл(а) в комнату
[09:11:08] dzhon вошёл(а) в комнату
[09:24:16] bobry вошёл(а) в комнату
[10:08:42] Sun][ вошёл(а) в комнату
[10:11:31] Kakadu вошёл(а) в комнату
[10:17:44] bobry вышел(а) из комнаты
[10:33:07] ftrvxmtrx вышел(а) из комнаты
[11:12:38] bobry вошёл(а) в комнату
[11:12:42] <bobry> gds: https://twitter.com/#!/yminsky/status/198208195980832769
[11:15:58] <gds> bobry: ответить ничего не могу, у меня твитора нет.  А так -- почитал.  Ну классика же, "что-то изменяемое в том числе в рантайме -- в fcm".
[11:17:23] <bobry> почему не объекты?
[11:18:21] ftrvxmtrx вошёл(а) в комнату
[11:18:45] <gds> потому что в модулях есть фишка, которой в объектах нет: приличные экзистенциальные типы.  (точнее, есть и в объектах, но по-другому.)
[11:20:17] <bobry> поясни плиз? вроде как в объекты в камле как раз отлично соотв. экзистенциальным типам — < foo : bar -> baz >
[11:20:43] ftrvxmtrx вышел(а) из комнаты
[11:20:56] ftrvxmtrx вошёл(а) в комнату
[11:21:34] <gds> свой, новый тип сложно объявить внутри объекта.  А внутри модуля -- легко.
[11:22:49] <bobry> ах вот ты про что
[11:25:48] <gds> а, и ещё одна мелочь есть.  Помнится, долго трахался в попытках объявить "интерфейс функтора (из т.к.)" в виде объекта.  Попытки вида
class funktor ['a] = object method fmap : ('a -> 'b) -> сам 'a -> сам 'b end
ни к чему не привели, и это принципиальный момент типизации объектов в окамле (подобное, только как бы дуальное, есть и в типизации полиморфных вариантов).
а вот module type Funktor = sig type t 'a; value fmap : ('a -> 'b) -> t 'a -> t 'b; end -- вполне так ок.
[11:27:39] dzhon вышел(а) из комнаты: Replaced by new connection
[11:27:39] dzhon вошёл(а) в комнату
[11:28:36] ftrvxmtrx вышел(а) из комнаты
[11:28:45] ftrvxmtrx вошёл(а) в комнату
[11:31:11] <bobry> сам == funktor?
[11:32:59] <gds> сам -- либо да, либо class .. = object (_ : сам), либо ещё какие-то там методы были, как можно ссылаться на свой тип класса (там есть кое-какие разницы, это "в подсознании" лежит, при использовании всплывает в сознание).
[11:36:13] <bobry> тогда я не понимаю в чем тут может быть проблема, видимо надо попробовать самому :)
[11:37:53] <gds> проблема с объектами будет в ошибке тайпчекера "вместо funktor 'b ожидалось functor 'a блеать!111"
[11:38:29] <bobry> <_<
[11:51:21] ftrvxmtrx вышел(а) из комнаты
[11:52:58] tilarids вышел(а) из комнаты: Machine going to sleep
[12:05:44] shaggie вошёл(а) в комнату
[12:18:05] tilarids вошёл(а) в комнату
[12:20:39] klapaucius вошёл(а) в комнату
[12:20:42] tilarids вышел(а) из комнаты
[12:33:42] tilarids вошёл(а) в комнату
[12:44:11] Typhon вошёл(а) в комнату
[12:50:36] komar вышел(а) из комнаты
[12:51:44] komar вошёл(а) в комнату
[13:02:32] dzhon вышел(а) из комнаты: Replaced by new connection
[13:02:32] dzhon вошёл(а) в комнату
[13:35:47] komar вышел(а) из комнаты
[13:38:24] komar вошёл(а) в комнату
[14:01:10] ftrvxmtrx вошёл(а) в комнату
[14:37:30] dzhon вышел(а) из комнаты: Replaced by new connection
[14:37:31] dzhon вошёл(а) в комнату
[15:19:08] letrec вошёл(а) в комнату
[15:19:17] letrec вышел(а) из комнаты
[15:19:33] letrec вошёл(а) в комнату
[16:04:29] Kakadu вышел(а) из комнаты
[16:12:35] dzhon вышел(а) из комнаты: Replaced by new connection
[16:12:35] dzhon вошёл(а) в комнату
[17:31:55] knsd вошёл(а) в комнату
[17:47:34] dzhon вышел(а) из комнаты: Replaced by new connection
[17:47:34] dzhon вошёл(а) в комнату
[18:30:37] dzhon вышел(а) из комнаты
[18:35:01] komar вышел(а) из комнаты: Replaced by new connection
[18:35:01] komar вошёл(а) в комнату
[18:43:59] Sun][ вышел(а) из комнаты
[19:26:35] knsd вышел(а) из комнаты
[19:41:52] ftrvxmtrx вышел(а) из комнаты
[19:58:49] bobry вышел(а) из комнаты
[20:14:38] tilarids вышел(а) из комнаты: Machine going to sleep
[20:15:16] ftrvxmtrx вошёл(а) в комнату
[20:19:13] ftrvxmtrx вышел(а) из комнаты
[20:22:33] letrec вышел(а) из комнаты
[20:30:20] f[x] вошёл(а) в комнату
[20:37:36] tilarids вошёл(а) в комнату
[20:56:30] Typhon вышел(а) из комнаты
[20:57:18] shaggie вышел(а) из комнаты
[20:58:21] komar вышел(а) из комнаты
[20:58:36] komar вошёл(а) в комнату
[21:20:03] tilarids вышел(а) из комнаты
[21:20:31] ftrvxmtrx вошёл(а) в комнату
[21:41:15] komar вышел(а) из комнаты: Replaced by new connection
[21:41:15] komar вошёл(а) в комнату
[21:47:20] bobry вошёл(а) в комнату
[21:49:07] f[x] вышел(а) из комнаты
[21:49:31] f[x] вошёл(а) в комнату
[22:30:40] Typhon вошёл(а) в комнату
[22:39:04] komar вышел(а) из комнаты: Replaced by new connection
[22:39:04] komar вошёл(а) в комнату
[22:50:55] Typhon вышел(а) из комнаты
[23:17:52] komar вышел(а) из комнаты: Replaced by new connection
[23:17:52] komar вошёл(а) в комнату
[23:23:03] ermine вышел(а) из комнаты
[23:31:54] Kakadu вошёл(а) в комнату
[23:32:10] Kakadu вышел(а) из комнаты
[23:33:47] Kakadu вошёл(а) в комнату
[23:34:45] bobry похоже в ближайшем будущем будет на clojure script писать
[23:34:48] <bobry> +1 еще один ф. я. :)
[23:39:43] Typhon вошёл(а) в комнату
[23:48:39] <gds> а чому не js_of_ocaml?
[23:49:54] <bobry> gds: как то я не осилил js_of_ocaml, ты его в деле пробовал?
[23:50:50] <gds> мне хватает того, что есть куча демок на их сайте, ну и вполне простой, как я понял при беглом осмотре, транслятор из оттуда в туда.
[23:52:48] <bobry> большой минус js_of_ocaml -- практически полное отсутствие документации, отличной от API docs
[23:52:55] <bobry> для неосиляторов типа меня это важно
[23:54:53] <bobry> хотя у cljs тоже минусв валом, например дебаг
[23:55:12] <bobry> интересно как дебажат приложения на js_of_ocaml
[23:55:17] <bobry> например вылезает у меня exception
[23:55:28] <bobry> в бравезере, как понять какой строчке кода он соответствует