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

Objective Caml

ocaml@conference.jabber.ru

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

f[x] установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Верблюды грязи не боятся! | release crap

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

GMT+4
[00:18:18] Typhon вышел(а) из комнаты
[01:21:53] aloner2k вышел(а) из комнаты
[03:45:42] aloner2k вошёл(а) в комнату
[05:14:45] aloner2k вышел(а) из комнаты
[08:36:24] john вошёл(а) в комнату
[09:22:16] ygrek вошёл(а) в комнату
[09:37:42] <sceptic> хм.. А где можно почитать про разницу в = и == ? и есть ли она?
[09:51:26] sceptic вышел(а) из комнаты
[10:26:46] sceptic вошёл(а) в комнату
[10:28:36] <gds> sceptic: http://caml.inria.fr/pub/docs/manual-ocaml/libref/Pervasives.html
[10:39:51] <ermine> gds: faq! уже второй вопрос
[10:40:05] <ermine> первый был про точку входа
[10:57:21] <gds> http://gdsfh.dyndns.org/kamlo/OCamlFAQ
язык мой -- враг читательский. переформулируйте, если что.
[11:01:44] <ermine> gds: в качестве примера к сравнению "-" и "==" можно описать сравнение двух массивов: в первом случае будет сравнение поэлементно (у тебя написано непонятное слово "структурное" сравнение, во втором случае сранение не поэлементное
[11:03:59] <gds> структурное -- перевод от "structural equality".
но кое-что допишу тут.
[11:04:18] <ermine> gds: да я знаю, просто для фака это слишком сильно
[11:06:23] <ermine> вот второй вопрос лучше разжеван
[11:07:27] <ermine> а теперь загадка: как сделать два () значения физически неравными?
[11:08:22] ermine только что потупила над этой загадкой и нашла ответ
[11:14:24] <gds> http://gdsfh.dyndns.org/kamlo/OCamlFAQ дописал
[11:15:23] <gds> ответ -- никак, "()" всегда физически равны.
[11:15:52] <ermine> не всегда
[11:16:07] <ermine> хотя зависит как смотреть
[11:16:41] <gds> давай пример кода, чтобы "==" возвращал false, когда ему дают два значения с типом unit, не переопределённым.
[11:17:35] <ermine> let a = ref () and b = ref () in a == b
[11:17:40] ermine прячется
[11:18:21] <gds> дык unit ref же :)
[11:18:39] <ermine> ну я ж сказала - зависит как смотреть :)
[11:19:17] <ermine> вспомнилось - где-то unit ref использовался для создания уникальных значений
[11:21:22] <gds> ну а чо, весьма удобно. лучшее его применение, кстати :)
[11:39:59] <sceptic> во. ещё вопрос в фак: let () vs let _
[11:51:48] <ermine> let _ = let a = 1 in a vs let () = let a = 1 in ignore (a)
[11:54:27] <gds> ermine: не только.
[12:07:11] <gds> http://gdsfh.dyndns.org/kamlo/OCamlFAQ дописал
[12:12:47] <ermine> gds: и дописать ссылку "подробнее про паттерны ..." :)
[12:13:59] <gds> предлагаешь дать ссылку на http://caml.inria.fr/pub/docs/manual-ocaml/patterns.html ?
[12:14:41] <ermine> о да!
[12:15:16] <gds> но это ведь будет faq-up мозга!
[12:15:33] <ermine> там для новичка полезное что бросается в глаза - это as
[12:16:55] <gds> жесть жестянная. если хочешь -- сама. вики у нас или хрен собачий.
[12:17:35] <ermine> да ладно
[12:17:45] <ermine> не страдай от моих слов
[12:18:19] <ermine> я сама тут страдаю своей хреновиной под названием sulci
[12:20:17] <gds> не страдаю, но давать спеку на язык -- как-то сурово в таком мелком вопросе.
нащот sulci -- нужное дело. кстати, мне может понадобиться частный бот (хрен, сидящий на нужном жиде и определённым образом реагирующий на сообщения к нему). там у тебя такое вроде делается?
[12:22:23] <ermine> какие сообщения?
[12:22:34] <ermine> команды оно знает некоторые
[12:22:49] <ermine> типичные обывательские команды
[12:23:18] <gds> а если убрать все/большинство плагинов, чтобы бот знал только нужные мне команды (на всякий случай) -- получится в принципе?
[12:23:34] <ermine> а проблемы у меня вечно из-за того, чтобы доставать из плагинов некоторые штучки из других плагинов
[12:24:02] <ermine> ну без плагинов оно будет работать
[12:24:06] <ermine> и ничо не делать
[12:24:54] <gds> и можно будет нарисовать плагин, который будет логиниться под указанными логином-поролем, принимать только нужные сообщения и соответственно отвечать что нужно, так?
[12:26:00] <ermine> собсно пустой бот умеет логиниться и получать всё что придет от сервера
[12:26:26] <gds> а, ну это мне и надо. Значит буду иметь ввиду, что в случае, когда это реально понадобится, буду брать sulci.
[12:27:11] <ermine> и допилишь бота за меня? :))
[12:27:31] <gds> ненене, глобальный рефакторинг -- это сама :)
[12:28:46] <ermine> да мне б тут еще понять что порефакторить, чтобы уложиться в схему работы с сессионными данными
[12:29:51] <ermine> я щас попробовала схему хранения переменных в клозах
[12:30:13] <ermine> в некоторых файлах это дико удобно
[12:30:25] <ermine> в некоторых плагинах непонятно откуда их доставать
[13:03:25] <gds> "хватит извращений", подумал я и начал закапывать ocamllex+utf8hack.
попробую реализовать ту же функциональность на stream'ах, должно получиться очень тупо и в целом прикольно. если за пару дней уложусь, значит фтопку ocamllex окончательно.
[13:40:49] ygrek вышел(а) из комнаты
[13:49:23] sevenov вышел(а) из комнаты: Replaced by new connection
[13:52:42] ygrek вошёл(а) в комнату
[14:12:07] ygrek вышел(а) из комнаты
[14:12:10] ygrek вошёл(а) в комнату
[14:35:02] ygrek вышел(а) из комнаты
[14:35:04] ygrek вошёл(а) в комнату
[14:48:14] sevenov вошёл(а) в комнату
[15:05:43] <ygrek> http://paste.defun.ru/m7bda28dd
[15:06:26] <ygrek> хочется вывести тип как в первом случае, но с wildcard match'ем как во втором
[15:07:36] <ygrek> похоже никак, т.к. получается открытый тип, и выразить "открытый тип кроме `X" не получится
[15:10:21] <ygrek> вообщем выписал тип и сделал match ... | #token as x -> x
[16:21:05] <sceptic> Что-то я из фака не пойму, почему мужики решили что синтаксис SML хуже чем они придумали.
[16:29:22] <ermine> а еще был синтаксис caml-light
[18:09:13] sevenov вышел(а) из комнаты: Replaced by new connection
[18:09:16] sevenov вошёл(а) в комнату
[22:24:26] <gds> ygrek: как я понял, "открытый тип кроме ..." -- не получается никак. Как и "тип, являющийся объединением polytype1 и polytype2", что мне особо нужно было пару лет назад.
Всегда борю явным образом, составляя типы из частей. Если части зависят друг от друга, всё доходит до параметризации их итоговым типом.
[22:29:48] <gds> sceptic: касаемо синтаксиса SML.. Угадаешь автора цитаты?
"Что значит «слишком сложен»? Я привел характеристики языков по значимому для меня набору критериев. Я осознаю, что существуют безмозглые пидоры, у которых в список значимых кримериев может входить, к примеру, синтаксис языка. Hу так накласть мне на них. Меня интересуют объективные критерии, а не цацки всякие. "
[22:31:21] <gds> ой простите, "безмозглые" -- это слишком грубо.
[22:36:25] ermine цитату не осилила
[22:44:28] <gds> ermine: в цитате некий господин осуждал другого господина, называющего язык "слишком сложным", приводя в качестве сложностей, как я могу догадываться, совершенно незначительные вещи. По этой причине первый господин гиперболизировал ситуацию и заявил, что если такие незначительные вещи, как синтаксис, считать существенными для языка программирования, то здоровья нации тут не жди.
И, действительно, первый господин сейчас крошит гранит науки в Объединённом Королевстве, живя с прекрасной женой, а второй господин, надеюсь, уже давно умер и разложился.
[22:46:49] <gds> s/приводя в качестве сложностей/приводящего в качестве сложностей/
[22:54:29] <sceptic> gds: vsl?
[22:55:50] <gds> ну а какие варианты ещё.
[22:57:32] sceptic вышел(а) из комнаты