OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc

ocaml@conference.jabber.ru

Вторник, 9 июля 2013< ^ >

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

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

GMT+4
[00:15:20] Typhon вышел(а) из комнаты
[00:20:55] Typhon вошёл(а) в комнату
[00:32:39] Typhon вышел(а) из комнаты
[00:32:50] Typhon вошёл(а) в комнату
[00:52:08] Typhon вышел(а) из комнаты
[00:56:21] Typhon вошёл(а) в комнату
[01:26:50] komar вышел(а) из комнаты
[01:56:13] tilarids вышел(а) из комнаты: Computer went to sleep
[02:07:11] Typhon вышел(а) из комнаты
[03:12:14] komar вошёл(а) в комнату
[04:57:26] f[x] вошёл(а) в комнату
[05:14:26] f[x] вышел(а) из комнаты
[05:33:52] f[x] вошёл(а) в комнату
[07:16:48] komar вышел(а) из комнаты: Replaced by new connection
[07:16:48] komar вошёл(а) в комнату
[08:12:55] <f[x]> ребятушки, когда вы ловите исключения которые считаются ошибками в логике программы - либо не ловите их, либо давайте возможность легко включить backtrace, а не искать по всей программе где же оно ловится
[08:13:03] f[x] ковыряет ocamldoc
[08:35:53] <komar> Что еще за исключения ошибок в логике программы?
[08:37:25] <komar> try
  match x with
  ...
  _ -> raise Huita "what the fuck am I matching"
with
  Huita -> print_endline "SORRY ERROR HAS BEEN OCCURED"; exit 1 ← так, что ли?
[08:38:07] <komar> Я assert false ставлю и нормально.
[08:51:36] <f[x]> да, вот так как ты написал
[08:51:49] <f[x]> только вместо exit 1 - incr global_errors и шпарим дальше
[08:52:44] <f[x]> assert false норм для внутреннего кода, для юзверей конечно лучше ругнуться чуть более вменяемо
[08:59:09] <komar> Ты думаешь, «прастити паизашла нипаправимая ашибка», или «паттерн-матчинг байтового представления повалился в монаде функтора huipizda» порадуют рядового юзера гораздо больше, чем обычный ассерт?
[08:59:20] <f[x]> угу
[08:59:33] <f[x]> komar: и я тебя забаню скоро
[08:59:43] <f[x]> фильтруй лексику
[09:00:22] <f[x]> во-первых по тексту ошибке проще её искать в коде - строка может съехать
[09:00:49] <f[x]> во-вторых текст ошибки может содержать достаточный намёк как её обойти например
[09:01:08] <komar> Пример?
[09:01:21] <f[x]> http://caml.inria.fr/mantis/view.php?id=6069
[09:01:23] <komar> Когда подают некорректные данные — надо пожаловаться на некорректные данные.
[09:01:33] <komar> Стандартная ситуация и никак не ошибка в логике программы.
[09:01:48] <f[x]> не предусмотрел все случаи входных данных
[09:01:51] <f[x]> это логика
[09:02:56] <f[x]> если бы там было сообщение - ошибка в парсинге комментария - я бы и быстрее понял в чём ошибка и быстрее нашёл место где она в коде
[09:03:23] <f[x]> в реальном коде я потратил сколько-то времени просто чтобы локализовать в чём ошибка
[09:03:28] <komar> Ох.
[09:03:37] <komar> Ну это пример «как не надо писать компиляторы».
[09:34:53] tilarids вошёл(а) в комнату
[09:44:02] Zbroyar вышел(а) из комнаты
[09:44:17] Zbroyar вошёл(а) в комнату
[09:54:57] f[x] вышел(а) из комнаты
[10:08:14] ermine вошёл(а) в комнату
[11:15:06] f[x] вошёл(а) в комнату
[11:29:27] komar вышел(а) из комнаты: Logged out
[11:29:32] komar вошёл(а) в комнату
[11:42:59] Typhon вошёл(а) в комнату
[11:50:56] ftrvxmtrx вышел(а) из комнаты
[11:52:33] Zbroyar вышел(а) из комнаты
[12:16:35] tilarids вышел(а) из комнаты: Computer went to sleep
[12:41:13] ftrvxmtrx вошёл(а) в комнату
[12:51:31] Zbroyar вошёл(а) в комнату
[13:24:03] tilarids вошёл(а) в комнату
[13:52:14] <gds> кстати, про исключения.  Как я понимаю, есть тонкая разница между "try .. with A -> .. | e -> raise e" и "try .. with A -> .."?
[13:53:22] <f[x]> бэктрейс теряется и всё вроде, но это косяк реализации
[13:53:31] <f[x]> или что ты имеешь ввиду?
[13:54:41] <gds> про него было интересно, но не знаю, теряется ли точно.  А вот строчка re-raised таки появляется в первом случае.  Но может кто что ещё замечал.
[13:55:36] <ADEpt> теряется, imo
[15:18:45] zinid вошёл(а) в комнату
[15:26:14] Typhon вышел(а) из комнаты
[15:26:45] Typhon вошёл(а) в комнату
[15:45:24] Typhon вышел(а) из комнаты
[15:45:40] Typhon вошёл(а) в комнату
[16:28:29] f[x] вышел(а) из комнаты
[18:23:44] f[x] вошёл(а) в комнату
[19:07:57] tilarids вышел(а) из комнаты: Computer went to sleep
[19:35:15] tilarids вошёл(а) в комнату
[19:53:34] ftrvxmtrx вышел(а) из комнаты
[20:23:51] <f[x]> ещё один камлоредактор
[20:23:54] <f[x]> ура, товарищи
[20:25:37] <gds> так то для ступидентов.
[20:29:11] <zinid> хде?
[20:29:46] <f[x]> ocamlpro отличились
[20:30:02] <f[x]> они судя по всему хотят всю инфраструктуру переимплементить
[20:30:30] <gds> zinid: http://typerex.org/ocaml-top.html
[20:31:00] <zinid> for education
[20:32:32] f[x] вышел(а) из комнаты
[21:06:43] zinid вышел(а) из комнаты
[21:13:53] Typhon вышел(а) из комнаты: Replaced by new connection
[21:14:02] Typhon вошёл(а) в комнату
[21:14:37] Typhon вышел(а) из комнаты: Replaced by new connection
[21:14:46] Typhon вошёл(а) в комнату
[22:20:30] ftrvxmtrx вошёл(а) в комнату
[22:50:22] komar вышел(а) из комнаты: Replaced by new connection
[22:50:26] komar вошёл(а) в комнату
[23:07:53] Typhon вышел(а) из комнаты
[23:08:22] Typhon вошёл(а) в комнату
[23:09:37] Typhon вышел(а) из комнаты
[23:48:35] <Zbroyar> ocamlpro - молодці
[23:51:04] ermine вышел(а) из комнаты