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

ocaml@conference.jabber.ru

Понедельник, 19 августа 2013< ^ >

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

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

GMT+4
[01:56:27] ermine вышел(а) из комнаты
[06:14:57] f[x] вошёл(а) в комнату
[08:09:45] sceptic вошёл(а) в комнату
[08:09:46] sceptic вышел(а) из комнаты
[08:18:14] ermine вошёл(а) в комнату
[09:58:42] f[x] вышел(а) из комнаты
[10:26:08] ADEpt вошёл(а) в комнату
[10:37:17] avkarpich вошёл(а) в комнату
[11:05:06] f[x] вошёл(а) в комнату
[11:16:39] Typhon вошёл(а) в комнату
[12:29:16] Kakadu вошёл(а) в комнату
[13:31:12] zinid вошёл(а) в комнату
[14:00:34] <Kakadu> Я тут сейчас обдумываю как перегнать описание парсера в BNF нотации в влгебраический тип
[14:01:18] <Kakadu> И меня несколько смущает то, что там есть Action-код, который зависит от типа самого EBNF дерева
[14:01:47] <Kakadu> наверное нужны гадты
[14:21:03] zinid вышел(а) из комнаты
[14:58:40] avkarpich вышел(а) из комнаты
[15:11:51] ForNeVeR вышел(а) из комнаты: Unhandled exception at 0x00000000.
[15:48:59] <gds> а хотите задачку?  Сам её ещё не решал, если что.
Помните классический "return"?  http://paste.in.ua/8607/
Задачка: сделать так, чтобы из блока было вернуть значение только через return.
Уточнение: текущий block работает так, что из него можно вернуть значение как через return (преждевременный выход), так и обычным для окамла образом, через полное вычисление значения выражения.  (например, block (fun return -> 1) вернёт 1)
[16:07:05] <gds> заодно объясню, зачем мне интересно решение этой задачки.  Сейчас леплю камлокод, который потом буду вручную переписывать в сишечьку.  Так вот, чтобы упростить себе дело, я каждую функцию, которая будет напрямую отображаться в сишечьку, буду реализовывать через block+return, и, чтобы ничего не пропустить, пусть в конце каждой функции будет явный return.
[16:09:41] <f[x]> очевидно надо ей дать какой-то хитрый тип
[16:09:51] <f[x]> :(
[16:16:26] <gds> вот-вот.  Что-нибудь эдакое, чего нельзя сконструировать ничем, кроме return.
[16:17:39] <gds> да и то, сделать так, чтобы и return не конструировал, а вёл себя как и прежде, бросая исключение.
[16:21:11] f[x] вышел(а) из комнаты
[16:22:46] klapaucius вышел(а) из комнаты
[16:40:20] zinid вошёл(а) в комнату
[19:17:02] f[x] вошёл(а) в комнату
[19:23:01] Typhon вышел(а) из комнаты
[19:31:51] f[x] вышел(а) из комнаты
[19:50:05] zinid вышел(а) из комнаты
[20:08:53] Kakadu вышел(а) из комнаты
[21:49:07] f[x] вошёл(а) в комнату
[22:26:32] f[x] вышел(а) из комнаты
[23:39:20] ermine вышел(а) из комнаты