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

ocaml@conference.jabber.ru

Среда, 20 ноября 2013< ^ >

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

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

GMT+4
[02:16:50] Zbroyar вошёл(а) в комнату
[02:39:58] strobegen вышел(а) из комнаты
[02:41:01] Zbroyar вышел(а) из комнаты
[06:00:53] f[x] вошёл(а) в комнату
[06:11:51] dlebedev вошёл(а) в комнату
[06:28:16] tilarids вышел(а) из комнаты: Machine going to sleep
[06:29:53] dlebedev вышел(а) из комнаты: Replaced by new connection
[06:29:54] dlebedev вошёл(а) в комнату
[06:52:02] strobegen вошёл(а) в комнату
[09:55:30] f[x] вышел(а) из комнаты
[10:13:24] ermine вошёл(а) в комнату
[11:00:43] f[x] вошёл(а) в комнату
[11:06:03] Typhon вошёл(а) в комнату
[11:51:58] klapaucius вошёл(а) в комнату
[11:53:27] Kakadu вошёл(а) в комнату
[12:10:10] Kakadu вышел(а) из комнаты
[12:11:24] Kakadu вошёл(а) в комнату
[13:45:10] bobry вошёл(а) в комнату
[14:30:54] bobry вышел(а) из комнаты
[14:57:10] dlebedev вышел(а) из комнаты
[15:00:33] bobry вошёл(а) в комнату
[15:16:14] bobry вышел(а) из комнаты
[16:25:02] f[x] вышел(а) из комнаты
[16:42:02] bobry вошёл(а) в комнату
[16:46:47] Zbroyar вошёл(а) в комнату
[16:56:12] bobry вышел(а) из комнаты
[17:19:38] Zbroyar вышел(а) из комнаты
[17:19:53] Zbroyar вошёл(а) в комнату
[17:33:02] bobry вошёл(а) в комнату
[17:34:20] <bobry> Господа, а правда что ли камло выпиливает “доказуемо истинные” ассерты?
[17:34:42] <bobry> Есть у кого-нибудь пример менее тривиальный чем ‘assert false’?
[17:34:45] Typhon вышел(а) из комнаты
[17:34:46] <ADEpt> что такое "доказуемо истинные"?
[17:34:59] <ADEpt> let a =1 in assert (a=1)? или что-то сложнее
[17:35:00] <ADEpt> ?
[17:35:17] <bobry> Вопрос не ко мне :)
[17:35:21] <bobry> “Sometimes OCaml tends to optimize away provably correct asserts - this is something to watch out for.”
[17:35:28] <bobry> http://janestreet.github.io/ocaml-perf-notes.html
[17:39:25] <bobry> Я думал это где-то задокументировано, но ничего кроме записок из JS не гуглится
[17:58:29] komar вышел(а) из комнаты: Replaced by new connection
[17:58:34] komar вошёл(а) в комнату
[18:10:32] Typhon вошёл(а) в комнату
[18:16:11] bobry вышел(а) из комнаты
[18:43:53] Kakadu вышел(а) из комнаты
[18:45:15] Kakadu вошёл(а) в комнату
[18:48:48] f[x] вошёл(а) в комнату
[18:50:22] <f[x]> bobry: это implementation detail, вот оно и будет задокументировано только у тех кто будет копаться в ассемблерном коде
[18:51:29] <f[x]> и подобные detail на самом деле время от времени меняются
[18:51:45] <f[x]> так что смотри не сотвори себе карго-кумира
[19:28:48] tilarids вошёл(а) в комнату
[19:34:40] Zbroyar вышел(а) из комнаты
[19:45:10] komar вышел(а) из комнаты
[19:45:21] komar вошёл(а) в комнату
[20:04:04] komar вышел(а) из комнаты: Logged out
[20:08:49] komar вошёл(а) в комнату
[20:30:00] f[x] вышел(а) из комнаты
[21:13:04] Typhon вышел(а) из комнаты
[21:33:59] Kakadu вышел(а) из комнаты
[22:02:41] ermine вышел(а) из комнаты
[22:13:16] Kakadu вошёл(а) в комнату
[22:40:38] komar вышел(а) из комнаты
[22:42:31] komar вошёл(а) в комнату
[22:45:26] komar вышел(а) из комнаты: Replaced by new connection
[22:45:26] komar вошёл(а) в комнату
[22:54:38] bobry вошёл(а) в комнату
[23:15:27] Kakadu вышел(а) из комнаты
[23:32:56] bobry вышел(а) из комнаты
[23:33:21] bobry вошёл(а) в комнату
[23:49:14] tilarids вышел(а) из комнаты: Machine going to sleep
[23:51:51] komar вышел(а) из комнаты: Logged out
[23:52:09] komar вошёл(а) в комнату