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

ocaml@conference.jabber.ru

Суббота, 7 сентября 2013< ^ >

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

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

GMT+4
[00:14:31] Typhon вошёл(а) в комнату
[00:32:52] Typhon вышел(а) из комнаты
[04:00:54] Zbroyar вышел(а) из комнаты
[05:14:45] n06r1n вошёл(а) в комнату
[05:56:22] <n06r1n> я не понимаю как работает здесь pattern matching
[05:56:34] <n06r1n> http://ideone.com/cwuqRZ
[05:56:48] <n06r1n> как окамль так правильно разделяет список?
[05:58:37] ftrvxmtrx вышел(а) из комнаты
[06:04:01] n06r1n вышел(а) из комнаты
[06:12:49] n06r1n вошёл(а) в комнату
[06:47:19] n06r1n вышел(а) из комнаты
[07:02:07] n06r1n вошёл(а) в комнату
[07:03:27] f[x] вошёл(а) в комнату
[07:07:50] <f[x]> n06r1n: что именно непонятно? pattern-matching работает как описано.
[07:07:57] <f[x]> на каком шаге проблема?
[07:08:22] <f[x]> можно понимать это так - [] и :: - конструторы списка
[07:08:30] <f[x]> паттерн матчинг - это деконструкция
[07:13:02] n06r1n вышел(а) из комнаты
[07:13:46] n06r1n вошёл(а) в комнату
[07:25:24] n06r1n вышел(а) из комнаты
[07:26:00] n06r1n вошёл(а) в комнату
[07:29:40] n06r1n вышел(а) из комнаты
[07:47:53] ForNeVeR вышел(а) из комнаты
[07:55:39] n06r1n@jabber.ru вошёл(а) в комнату
[07:56:40] <n06r1n@jabber.ru> я взял пример из книги по ocaml
[07:57:26] <n06r1n@jabber.ru> я не понимаю как интерпретатор читает строку
| i :: l -> i + sum l;;
если быть точным i :: l
[07:57:38] <n06r1n@jabber.ru> как он делит список на i и на l
[08:12:50] <f[x]> определение списка
[08:13:02] <f[x]> это либо [], либо (голова :: хвост)
[08:13:11] <f[x]> "голова" - это один элемент
[08:13:51] <n06r1n@jabber.ru> а хвост все остальные?
[08:14:13] <n06r1n@jabber.ru> то есть элемент какого-либо типа и список без одного элемента?
[08:20:36] <f[x]> да
[08:20:47] ForNeVeR вошёл(а) в комнату
[08:24:41] ForNeVeR вышел(а) из комнаты
[08:24:59] ForNeVeR вошёл(а) в комнату
[08:40:32] <n06r1n@jabber.ru> под винду кстати интерпретатора окамля нет? Только с сигвином работает?
[09:26:09] <f[x]> для интерпретатора сигвин не нцжен
[09:27:57] <f[x]> стандартный инсталлятор его ставит из-за шелл-утилит нужных для ocamlbuild итп
[09:28:26] <f[x]> n06r1n@jabber.ru: можешь как-то перестать всё время переключаться между DND и online - спамишь комнату
[09:39:57] <n06r1n@jabber.ru> это квип походу. В первый раз с него зашел в конфу
[09:40:02] <n06r1n@jabber.ru> меняет статус?
[11:23:26] n06r1n@jabber.ru вышел(а) из комнаты
[11:23:38] ermine вошёл(а) в комнату
[11:35:09] ftrvxmtrx вошёл(а) в комнату
[11:44:31] zinid вошёл(а) в комнату
[12:01:41] Typhon вошёл(а) в комнату
[12:18:21] Typhon вышел(а) из комнаты
[13:22:54] olibjerd вошёл(а) в комнату
[13:41:05] f[x] вышел(а) из комнаты
[15:23:15] Typhon вошёл(а) в комнату
[17:19:59] zinid вышел(а) из комнаты
[18:01:41] ftrvxmtrx вышел(а) из комнаты
[18:17:57] ftrvxmtrx вошёл(а) в комнату
[19:43:09] ForNeVeR вошёл(а) в комнату
[19:43:59] ForNeVeR вышел(а) из комнаты
[19:44:19] ForNeVeR вошёл(а) в комнату
[19:45:03] ForNeVeR вышел(а) из комнаты
[20:09:24] Kakadu вошёл(а) в комнату
[20:09:52] Kakadu вышел(а) из комнаты
[20:35:38] Typhon вышел(а) из комнаты
[20:36:44] Typhon вошёл(а) в комнату
[20:43:43] n06r1n вошёл(а) в комнату
[23:59:43] Kakadu вошёл(а) в комнату
[23:59:57] Kakadu вышел(а) из комнаты