Objective Caml - Пятница, 2 сентября 2011

Objective Caml

ocaml@conference.jabber.ru

Пятница, 2 сентября 2011< ^ >

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

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

GMT+4
[00:09:52] gds вышел(а) из комнаты
[00:31:09] Kakadu вышел(а) из комнаты
[00:33:35] ygrek вышел(а) из комнаты
[01:30:30] Typhon вышел(а) из комнаты: Replaced by new connection
[01:30:33] Typhon вошёл(а) в комнату
[01:58:43] komar вышел(а) из комнаты
[02:53:52] Typhon вышел(а) из комнаты
[03:00:38] zinid вошёл(а) в комнату
[03:40:52] letrec вошёл(а) в комнату
[04:41:59] letrec вышел(а) из комнаты
[06:22:03] letrec вошёл(а) в комнату
[06:22:05] letrec вышел(а) из комнаты
[06:22:20] letrec вошёл(а) в комнату
[09:22:45] gds вошёл(а) в комнату
[10:56:17] ermine вошёл(а) в комнату
[11:07:36] Kakadu вошёл(а) в комнату
[11:12:22] bobry- вошёл(а) в комнату
[11:12:51] ftrvxmtrx вышел(а) из комнаты
[11:15:18] ftrvxmtrx вошёл(а) в комнату
[11:38:24] komar вошёл(а) в комнату
[11:43:33] <Kakadu> http://ocaml.janestreet.com/?q=node/13 2 новых либы
[11:44:03] <Kakadu> и новая Core вышла
[11:44:10] <Kakadu> со смененной нумерацией
[11:44:12] <komar> Опять хренота какая-нибудь небось.
[11:44:49] komar угадал.
[11:45:05] klapaucius вошёл(а) в комнату
[11:45:26] <bobry-> 107.1
[11:45:30] <bobry-> the fuck is that?
[11:47:33] <Kakadu> можно на мыло написать и спросить.
[11:58:37] <Kakadu> bobry: http://groups.google.com/group/fa.caml/browse_thread/thread/12dd1301f23edab1?hl=en
[12:08:23] <f[x]> годно
[12:36:53] bobry вышел(а) из комнаты
[12:48:58] bobry вошёл(а) в комнату
[12:59:12] Typhon вошёл(а) в комнату
[13:50:19] zert вошёл(а) в комнату
[14:25:19] ftrvxmtrx вышел(а) из комнаты
[14:27:25] ftrvxmtrx вошёл(а) в комнату
[15:37:10] iNode вышел(а) из комнаты
[15:43:38] iNode вошёл(а) в комнату
[16:57:34] klapaucius вышел(а) из комнаты
[18:23:38] zinid вышел(а) из комнаты
[19:09:24] bobry- вышел(а) из комнаты
[19:10:35] zert вышел(а) из комнаты
[19:25:25] Kakadu вышел(а) из комнаты
[19:40:52] letrec вышел(а) из комнаты
[20:12:25] Kakadu вошёл(а) в комнату
[20:15:58] Typhon вышел(а) из комнаты
[20:42:01] ftrvxmtrx вышел(а) из комнаты
[21:39:33] ftrvxmtrx вошёл(а) в комнату
[22:08:00] ftrvxmtrx вышел(а) из комнаты
[23:06:01] <Kakadu> а что правда нельзя полиморфный вариант вернуть из Си?
[23:06:36] <Kakadu> хотя наверное это логично...
[23:11:17] <gds> Kakadu: дело в том, что окамловские функции, возвращающие полиморфные варианты, делают это исключительно из ассемблера.  Там вот есть проблема, описанная в http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html#htoc233 ...  В общем, из C нельзя, только из ассемблера, тщательно подготовив блок.
[23:15:25] <Kakadu> по-видимому если варианты без параметров, то всё ОК
[23:15:26] ermine вышел(а) из комнаты
[23:15:47] <Kakadu> CAMLreturn(has_varian("Blabla"));
[23:15:54] <Kakadu> t*
[23:16:39] <gds> а в чём проблема с параметрами?
[23:17:08] <Kakadu> проблемы нет, так как парметры мне не нужны
[23:17:15] ftrvxmtrx вошёл(а) в комнату
[23:17:22] <Kakadu> да, там надо хитро блок подготавливать
[23:17:30] <Kakadu> но хорошо, что мне это не надо
[23:20:00] <gds> вообще, забавно быть одной из черепашек, когда, по условию задачи, "все три черепашки гонят".
[23:20:31] <Kakadu> не понял..
[23:21:15] <gds> это -- расширение загадки про трёх черепашек.  Оригинал интересен?
[23:29:04] <gds> в общем, это очень философская штука, поэтому расскажу по-любому.
загадка такова.
в одномерном пространстве ползут 3 черепашки, являясь для задачи тремя различными материальными точками.  Одна из черепашек говорит "впереди меня нет ни одной черепашки, а сзади меня две".  Другая говорит "впереди меня одна черепашка, и сзади меня одна".  Третья говорит "впереди меня две черепашки и сзади меня две черепашки".  Загадка: как такое может быть?
[23:29:10] <gds> вот такая вот пятница.