Objective Caml - Вторник, 18 июня 2013

Objective Caml

ocaml@conference.jabber.ru

Вторник, 18 июня 2013< ^ >

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

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

GMT+4
[00:34:47] Kakadu вышел(а) из комнаты
[01:36:50] tilarids вышел(а) из комнаты: Machine going to sleep
[05:12:33] f[x] вошёл(а) в комнату
[05:21:14] f[x] вышел(а) из комнаты: Replaced by new connection
[05:21:16] f[x] вошёл(а) в комнату
[07:00:42] avkarpich вошёл(а) в комнату
[07:02:19] <avkarpich> вышла публичная бета real world ocaml -- http://anil.recoil.org/2013/06/17/real-world-ocaml-beta-available.html
[07:28:04] avkarpich вышел(а) из комнаты
[07:30:40] avkarpich вошёл(а) в комнату
[10:02:35] f[x] вышел(а) из комнаты
[10:42:19] ermine вошёл(а) в комнату
[10:46:14] f[x] вошёл(а) в комнату
[11:19:02] ermine вышел(а) из комнаты: Replaced by new connection
[11:19:03] ermine вошёл(а) в комнату
[11:19:11] tilarids вошёл(а) в комнату
[11:30:54] ermine вышел(а) из комнаты: Replaced by new connection
[11:30:54] ermine вошёл(а) в комнату
[12:04:05] ermine вышел(а) из комнаты
[12:42:07] tilarids вышел(а) из комнаты: Machine going to sleep
[13:23:21] bobry вошёл(а) в комнату
[13:29:49] <bobry> gds: а ты случаем не игрался в своем amall'e с element-wise операциями над массивами?
[13:30:36] <bobry> в идеале хочется писать что-то вроде run_ele (v1 +^ v2 /^ v3) где каждая бинарная операция выполняется поэлементно без промежуточных аллокаций
[13:31:03] <bobry> ну и совсем в идеале хотелось бы уметь получать "ast" такого выражения и уметь его перестраивать
[13:36:50] tilarids вошёл(а) в комнату
[14:22:53] <gds> bobry: нет, как-то не надо было.  Но проблем не вижу -- действительно, строй ast, перестраивай его как получше, и выполняй.
[14:27:58] <bobry> проблема в том как это сделать синтаксически, хочется делить и на вектор и на скаляр — наращивать закорючки что ле?
[14:32:28] <gds> можно типа-комбинаторы сделать, v, s: (v v1 + v v2 * s 1.23)
[14:32:53] <gds> или по умолчанию всё считать векторами, а для скаляров какое-нибудь "scalar x".
[14:41:22] <bobry> который делает [|x|]?
[14:41:47] <bobry> ну вообще комбинаторы ОК идея, я думал явно конструкторы писать, типа `S 42 +. `V [|…|]
[14:41:57] <bobry> вопрос только в том насколько это будет понижать читаемость
[14:45:15] tilarids вышел(а) из комнаты: Replaced by new connection
[14:45:16] tilarids вошёл(а) в комнату
[14:45:31] <gds> лишний ` не очень, тем более, что легко избегается.
а вот делать [| x |] -- не думаю.  Тебе же, небось, нужно, чтобы v [| 1; 2; 3 |] + s 10 = v [| 11; 12; 13 |]
[14:45:44] ermine вошёл(а) в комнату
[14:46:19] <bobry> ровно это нужно ага
[14:46:35] <bobry> просто я думал что можно обойтись одним комбинатором :)
[14:48:12] <gds> не, точно нельзя: допустим, есть бинарная операция, и с одной стороны либо массив, либо скаляр.  Что будет с другой стороны?
[14:48:55] <gds> но иметь явные комбинаторы -- неплохая штука.  Можно не только массивы использовать, но и другие структуры данных -- списки, деревья.
[14:50:09] <bobry> угу, ну прямо сейчас меня максимум ещё матрицы интересуют
[14:55:26] <gds> размерности сверять будешь в рантайме?
[14:59:45] avkarpich вышел(а) из комнаты
[15:24:13] f[x] вышел(а) из комнаты
[15:26:21] zinid вошёл(а) в комнату
[15:33:34] <bobry> думается мне что чтобы делать это в компайл тайме надо замутить какую-то жуткую содомию
[15:41:41] bobry вышел(а) из комнаты
[16:39:02] ftrvxmtrx вошёл(а) в комнату
[19:24:05] zinid вышел(а) из комнаты
[19:38:13] komar вышел(а) из комнаты
[20:28:01] tilarids вышел(а) из комнаты: Machine going to sleep
[20:28:35] tilarids вошёл(а) в комнату
[20:40:46] ftrvxmtrx вышел(а) из комнаты
[21:15:27] ftrvxmtrx вошёл(а) в комнату
[21:30:11] f[x] вошёл(а) в комнату
[21:31:03] komar вошёл(а) в комнату
[22:01:04] f[x] вышел(а) из комнаты
[22:22:57] komar вышел(а) из комнаты
[22:24:39] tilarids вышел(а) из комнаты: Machine going to sleep
[22:24:59] komar вошёл(а) в комнату
[23:11:54] Kakadu вошёл(а) в комнату
[23:18:15] ermine вышел(а) из комнаты
[23:20:13] tilarids вошёл(а) в комнату