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

ocaml@conference.jabber.ru

Суббота, 30 ноября 2013< ^ >

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

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

GMT+4
[00:40:54] Typhon вошёл(а) в комнату
[01:57:58] Typhon вышел(а) из комнаты
[02:14:04] Kakadu вышел(а) из комнаты
[02:39:58] strobegen вышел(а) из комнаты
[03:09:22] tilarids вышел(а) из комнаты: Machine going to sleep
[03:18:19] ForNeVeR вышел(а) из комнаты
[05:06:27] f[x] вошёл(а) в комнату
[06:07:18] tilarids вошёл(а) в комнату
[06:36:32] ForNeVeR вошёл(а) в комнату
[07:31:01] ForNeVeR вышел(а) из комнаты
[07:38:49] mrm вошёл(а) в комнату
[07:43:58] <f[x]> metaocaml + camlp4 = what could possibly go wrong?
[07:44:36] f[x] упарывается Олегом, fwiw
[09:18:00] ermine вошёл(а) в комнату
[09:27:37] f[x] вышел(а) из комнаты
[09:38:06] strobegen вошёл(а) в комнату
[10:38:37] tilarids вышел(а) из комнаты: Machine going to sleep
[10:45:10] f[x] вошёл(а) в комнату
[11:50:15] Kakadu вошёл(а) в комнату
[12:09:51] <gds> а вот кто хорошо знает как original, так и revised?  На какие вещи в original надо обращать внимание, чтобы не делать глупых ошибок?
Ну, [] вокруг паттерна и оператора :: это понятно, как и Constructor (arg1, arg2, ..), мелочи.  Любое выражение из ветки if/match, содержащее ";", надо оборачивать в () или begin/end.  Вложенные match тоже.
А ещё?
[12:29:44] <f[x]> try with тоже
[12:29:59] <f[x]> про [] вокруг :: не понял :)
[13:08:35] <gds> а что try with, пояснишь?
[13:08:52] <gds> revised: [h :: t], original: h :: t
[13:14:23] <f[x]> begin try .. with ... end
[13:14:35] <gds> а почему?
[13:15:07] <f[x]> with это как match
[13:15:13] irezvov вышел(а) из комнаты: Replaced by new connection
[13:15:15] irezvov вошёл(а) в комнату
[13:15:39] <gds> и какая ошибка может быть?
[13:15:44] <gds> туплю, да.
[13:25:16] <f[x]> match l with [] -> try assert false with Not_found -> 1 | _ -> 2
[13:28:06] <gds> во, теперь понял.  То есть, в begin-end надо оборачивать внутренние match и try-with.
А ещё какие правила хорошего тона есть, чтобы не кусать себя за йенг при использовании original syntax?
[13:42:37] <gds> кстати, интересный момент: при использовании original syntax код получается более компактным, без суровых выравниваний по началу-концу выражения (ну, многие видели мой код в revised syntax).  Но цена тому -- больше мозга надо включать при чтении кода.
[13:54:16] <f[x]> за компактность ценим
[13:55:30] <gds> так тогда вообще понт-фри пиши, там компактность просто абасрацца
[14:00:33] <f[x]> мы исопльзуем мозг и баланс
[14:02:59] <gds> "end else begin" как-то некрасиво.
[14:08:53] f[x] вышел(а) из комнаты
[14:42:43] mrm вышел(а) из комнаты
[16:33:56] ForNeVeR вошёл(а) в комнату
[16:46:16] ermine вышел(а) из комнаты
[16:47:49] ermine вошёл(а) в комнату
[19:28:57] f[x] вошёл(а) в комнату
[20:12:34] tilarids вошёл(а) в комнату
[20:17:02] Typhon вошёл(а) в комнату
[21:02:36] f[x] вышел(а) из комнаты
[21:21:53] Typhon вышел(а) из комнаты
[21:58:02] Typhon вошёл(а) в комнату
[22:02:04] Typhon вышел(а) из комнаты: Replaced by new connection
[22:02:21] Typhon вошёл(а) в комнату
[22:33:23] tilarids вышел(а) из комнаты: Machine going to sleep
[22:42:14] <gds> f[x]: http://paste.in.ua/9086/ -- вотзефак?  (после opam update && opam upgrade)
[22:43:16] ermine вышел(а) из комнаты
[22:46:31] <gds> f[x]: отмена тревоги.  Оно выдало stdout+stderr билда, проблема решилась очень просто.  Всё поставилось ок.
[22:56:17] komar вышел(а) из комнаты: Replaced by new connection
[22:56:17] komar вошёл(а) в комнату
[23:32:56] ftrvxmtrx вошёл(а) в комнату
[23:49:41] Typhon вышел(а) из комнаты