Objective Caml - Среда, 19 июня 2013

Objective Caml

ocaml@conference.jabber.ru

Среда, 19 июня 2013< ^ >

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

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

GMT+4
[00:53:03] Kakadu вышел(а) из комнаты
[01:56:56] tilarids вышел(а) из комнаты: Machine going to sleep
[05:37:34] f[x] вошёл(а) в комнату
[08:03:58] avkarpich вошёл(а) в комнату
[08:22:01] tilarids вошёл(а) в комнату
[09:05:12] zinid вошёл(а) в комнату
[10:02:59] f[x] вышел(а) из комнаты
[10:23:24] ftrvxmtrx вышел(а) из комнаты
[10:29:07] ermine вошёл(а) в комнату
[10:49:23] f[x] вошёл(а) в комнату
[11:11:18] ftrvxmtrx вошёл(а) в комнату
[12:11:37] shoroh-net вошёл(а) в комнату
[12:29:13] shoroh-net вышел(а) из комнаты
[13:05:46] tilarids вышел(а) из комнаты: Machine going to sleep
[13:08:02] Typhon вошёл(а) в комнату
[13:55:51] tilarids вошёл(а) в комнату
[14:57:13] avkarpich вышел(а) из комнаты
[15:22:03] f[x] вышел(а) из комнаты
[19:22:04] Typhon вышел(а) из комнаты
[19:30:51] ftrvxmtrx вышел(а) из комнаты
[19:53:21] f[x] вошёл(а) в комнату
[20:04:43] zinid вышел(а) из комнаты
[20:37:40] ftrvxmtrx вошёл(а) в комнату
[20:38:37] UncleVasya вошёл(а) в комнату
[21:28:53] tilarids вышел(а) из комнаты: Machine going to sleep
[21:29:11] komar вышел(а) из комнаты: Replaced by new connection
[21:29:12] komar вошёл(а) в комнату
[21:52:15] f[x] вышел(а) из комнаты
[22:33:08] Kakadu вошёл(а) в комнату
[23:15:30] Typhon вошёл(а) в комнату
[23:20:15] bobry вошёл(а) в комнату
[23:25:38] <bobry> gds: мне нужен совет камло-сенсея. Опишу проблему: у меня есть пачка сигнатур [1] для описания распределений (непрерывные, дискретные, со средним или _иногда_ со средним итп). Чтобы определить конкретное распределение надо заинклюдить туда DiscreteDistribution или ContinuousDistribution и пачку микро-сигнатур в зависимости от наличия или отсутствия соотв. параметров [2]. Сейчас возникла потребность описывать ещё и многомерные распределения, для этого нужно абстрагиваровать DiscreteDistribution и ContinuousDistribution по типу элемента. Внимание вопрос: можно ли как нибудь сделать это не плодя копи-паст в виде DiscreteMultivariateDistribution, DiscreteUnivariateDistribution etc?
[1] https://github.com/superbobry/pareto/blob/master/lib/distributions.mli#L6
[2] https://github.com/superbobry/pareto/blob/master/lib/distributions.mli#L61
[23:27:26] <bobry> Основная проблема в том, что дискретное и непрерывное распределения отличаются набором и сигнатурами функций. И просто сделать тип элемента (int, float, int array, float array) абстрактным не прокатит.
[23:46:36] tilarids вошёл(а) в комнату
[23:47:09] <gds> bobry: а как ты собираешься использовать многомерные распределения? Например, какой будет тип у Normal.create?
[23:48:35] <bobry> Normal.t
[23:49:16] <bobry> потом я захочу для них CDF считать, например Normal.(cumulative_probability ~x:[|1;2;3|] standard3) — для трехмерного нормального
[23:49:48] <bobry> отдельный философский вопрос — как закодировать размерность, чтобы код, неправильно с ней работающий не собирался
[23:51:06] <gds> я про тип функции Normal.create, а не про возвращаемый ею тип интересуюсь.
[23:51:36] <bobry> Normal.create : mean:float array -> sd:float array -> t