Objective Caml - Четверг, 6 декабря 2012

Objective Caml

ocaml@conference.jabber.ru

Четверг, 6 декабря 2012< ^ >

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

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

GMT+4
[00:26:56] tilarids вышел(а) из комнаты
[00:27:46] tilarids вошёл(а) в комнату
[00:41:00] UncleVasya вышел(а) из комнаты
[00:57:01] Kakadu вышел(а) из комнаты
[01:29:16] tilarids вошёл(а) в комнату
[01:39:20] tilarids вышел(а) из комнаты
[01:40:29] tilarids вышел(а) из комнаты
[01:40:54] tilarids вошёл(а) в комнату
[01:46:06] tilarids вошёл(а) в комнату
[01:56:23] tilarids вошёл(а) в комнату
[01:57:24] tilarids вышел(а) из комнаты
[01:57:45] tilarids вышел(а) из комнаты
[02:03:27] tilarids вышел(а) из комнаты: Machine going to sleep
[03:40:26] f[x] вышел(а) из комнаты
[05:24:50] Typhon вышел(а) из комнаты: Replaced by new connection
[05:25:10] Typhon вошёл(а) в комнату
[05:55:20] strobegen вошёл(а) в комнату
[06:25:04] avkarpich вошёл(а) в комнату
[06:27:39] strobegen вышел(а) из комнаты
[06:39:23] strobegen вошёл(а) в комнату
[07:00:00] zinid вошёл(а) в комнату
[07:11:03] avkarpich вышел(а) из комнаты
[08:13:47] strobegen вышел(а) из комнаты
[08:15:53] ermine вошёл(а) в комнату
[08:19:31] strobegen вошёл(а) в комнату
[08:32:13] avkarpich вошёл(а) в комнату
[08:45:46] tilarids вошёл(а) в комнату
[08:55:24] tilarids вышел(а) из комнаты: Machine going to sleep
[09:13:53] dzhon вошёл(а) в комнату
[09:26:56] komar вышел(а) из комнаты: Logged out
[09:55:15] vladimir.chujkov вошёл(а) в комнату
[09:57:11] vladimir.chujkov вошёл(а) в комнату
[10:04:19] vladimir.chujkov вышел(а) из комнаты
[10:10:19] vladimir.chujkov вышел(а) из комнаты
[10:14:24] vladimir.chujkov вошёл(а) в комнату
[10:25:14] tilarids вошёл(а) в комнату
[10:30:53] tilarids вышел(а) из комнаты
[10:31:14] tilarids вошёл(а) в комнату
[10:31:57] vladimir.chujkov вышел(а) из комнаты
[10:36:27] Sun][ вошёл(а) в комнату
[10:45:36] tilarids вошёл(а) в комнату
[10:48:11] tilarids вышел(а) из комнаты
[11:00:49] tilarids вышел(а) из комнаты: Machine going to sleep
[11:23:28] vladimir.chujkov вышел(а) из комнаты
[11:24:31] vladimir.chujkov вошёл(а) в комнату
[11:30:44] vladimir.chujkov вошёл(а) в комнату
[11:32:13] komar вошёл(а) в комнату
[11:39:58] vladimir.chujkov вышел(а) из комнаты
[11:48:13] vladimir.chujkov вышел(а) из комнаты
[11:54:44] avkarpich вышел(а) из комнаты
[11:58:41] vladimir.chujkov вошёл(а) в комнату
[12:02:56] ermine вышел(а) из комнаты
[12:19:14] avkarpich вошёл(а) в комнату
[13:01:00] Typhon вышел(а) из комнаты
[13:03:12] dzhon вышел(а) из комнаты: Replaced by new connection
[13:03:12] dzhon вошёл(а) в комнату
[13:26:24] komar установил с помощью node.js package manager’а browser package manager и желает всем фанатам велосипедных пакетных менеджеров гореть в аду.
[13:40:13] tilarids вошёл(а) в комнату
[13:42:29] Kakadu вошёл(а) в комнату
[13:42:30] Kakadu вошёл(а) в комнату
[13:44:25] ermine вошёл(а) в комнату
[14:05:08] Typhon вошёл(а) в комнату
[14:20:19] tilarids вышел(а) из комнаты
[15:07:45] vladimir.chujkov вышел(а) из комнаты
[15:09:13] avkarpich вышел(а) из комнаты
[15:19:44] vladimir.chujkov вошёл(а) в комнату
[15:21:54] tilarids вошёл(а) в комнату
[15:39:27] tilarids вышел(а) из комнаты: Machine going to sleep
[16:04:35] Andrey Popp вошёл(а) в комнату
[16:11:41] vladimir.chujkov вошёл(а) в комнату
[16:14:13] vladimir.chujkov вышел(а) из комнаты
[16:14:14] vladimir.chujkov вошёл(а) в комнату
[16:19:02] Andrey Popp вышел(а) из комнаты
[16:19:39] tilarids вошёл(а) в комнату
[16:21:13] vladimir.chujkov вышел(а) из комнаты
[16:25:06] Andrey Popp вошёл(а) в комнату
[16:30:17] vladimir.chujkov вышел(а) из комнаты
[16:30:48] vladimir.chujkov вошёл(а) в комнату
[16:36:00] tilarids вышел(а) из комнаты: Machine going to sleep
[16:45:37] tilarids вошёл(а) в комнату
[16:55:52] komar вышел(а) из комнаты
[16:55:53] komar вошёл(а) в комнату
[17:29:00] <Kakadu> gds: ты читал http://math.andrej.com/2012/11/08/how-to-implement-dependent-type-theory-i/ ?
[17:30:35] <Kakadu> > Our calculus is such that an expression has at most one type, and when it does the type can be inferred from the expression. Therefore, we are going to implement type inference. During inference we need to carry around a context which maps variables to their types. And since we will allow global definitions on the toplevel, the context should also store (optional) definitions. So we define contexts to be association lists.
> type context = (Syntax.variable * (Syntax.expr * Syntax.expr option)) list
[17:30:43] <gds> Kakadu: ага, чувак жжот классическим для себя образом.  Но это -- чисто исследовательская штука.
[17:30:53] <Kakadu> Я как-то не понял откуда появилось option
[17:31:40] <gds> "the context should also store (optional) definitions"
[17:32:20] <Kakadu> да, но как это следует из существования глобальных определений топлевела?
[17:35:01] <Kakadu> а, кажется я понял.
[17:35:40] <Kakadu> Syntax.variable это имя, Syntax.expr это тип, a Syntax.expr option -- это воможное связанное значение в топлевеле?
[17:36:13] <gds> разгадка --
let rec normalize ctx = function
  | Var x ->
    (match
        (try lookup_value x ctx
         with Not_found -> Error.runtime "unkown identifier %t" (Print.variable x))
     with
       | None -> Var x
       | Some e -> normalize ctx e)
то есть, он считает, что или идентификатор неопределён, или что это какая-то известная привязка (на случай None), или какое-то выражение с известным телом (Some тело).  Но это догадка.
[17:36:45] <gds> по-моему, правильно понял.  Но я глубоко не вникал, чисто принцип был интересен.
[18:11:02] Sun][ вышел(а) из комнаты
[18:22:16] zinid вышел(а) из комнаты
[18:31:38] dzhon вышел(а) из комнаты
[18:38:50] Andrey Popp вышел(а) из комнаты
[18:56:41] vladimir.chujkov вошёл(а) в комнату
[19:08:35] <ermine> ой, оказывается awsm строгает своего бота на основе моих поделок
[19:09:05] vladimir.chujkov вышел(а) из комнаты
[19:09:30] <ermine> а это значит что он есть где-то в джаббере
[19:10:56] komar вышел(а) из комнаты
[19:14:53] Andrey Popp вошёл(а) в комнату
[19:26:42] vladimir.chujkov вошёл(а) в комнату
[19:29:44] vladimir.chujkov вышел(а) из комнаты
[19:36:43] vladimir.chujkov вышел(а) из комнаты
[19:54:51] Kakadu вышел(а) из комнаты
[19:55:35] UncleVasya вошёл(а) в комнату
[19:57:38] Kakadu вышел(а) из комнаты
[20:15:12] Typhon вышел(а) из комнаты
[20:37:08] <ermine> в каком формате надо помечать нумберами тэги в гитхубе, чтобы было удобно для импорта в другие проекты?
[20:49:21] komar вошёл(а) в комнату
[20:55:29] Andrey Popp вышел(а) из комнаты
[21:11:05] Kakadu вошёл(а) в комнату
[22:24:36] tilarids вышел(а) из комнаты: Machine going to sleep
[22:32:23] tilarids вошёл(а) в комнату
[22:34:12] Sun][ вошёл(а) в комнату
[22:40:16] Sun][ вышел(а) из комнаты: Replaced by new connection
[22:40:17] Sun][ вошёл(а) в комнату
[22:43:04] f[x] вошёл(а) в комнату
[22:52:46] Sun][ вышел(а) из комнаты: Replaced by new connection
[22:52:46] Sun][ вошёл(а) в комнату
[23:02:57] tilarids вышел(а) из комнаты
[23:03:52] tilarids вошёл(а) в комнату
[23:17:22] Andrey Popp вошёл(а) в комнату
[23:21:44] Sun][ вышел(а) из комнаты: Replaced by new connection
[23:21:45] Sun][ вошёл(а) в комнату
[23:31:08] komar вышел(а) из комнаты: Logged out
[23:34:47] tilarids вышел(а) из комнаты
[23:39:26] Sun][ вышел(а) из комнаты: Replaced by new connection
[23:39:28] Sun][ вошёл(а) в комнату
[23:39:36] tilarids вошёл(а) в комнату
[23:51:59] tilarids вышел(а) из комнаты: Machine going to sleep