Objective Caml - Четверг, 29 апреля 2010

Objective Caml

ocaml@conference.jabber.ru

Четверг, 29 апреля 2010< ^ >

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

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

GMT+4
[00:38:45] ygrek вышел(а) из комнаты
[01:19:30] sceptic вошёл(а) в комнату
[01:44:46] gds вышел(а) из комнаты
[02:13:45] komar вышел(а) из комнаты
[02:22:50] digital_curse вышел(а) из комнаты
[03:15:25] Typhon вышел(а) из комнаты
[08:45:41] iNode вошёл(а) в комнату
[08:59:46] gds вошёл(а) в комнату
[09:54:36] ygrek вошёл(а) в комнату
[10:00:54] serp256 вошёл(а) в комнату
[10:07:20] Typhon вошёл(а) в комнату
[10:15:40] ermine вошёл(а) в комнату
[10:34:29] ʇsʎɯ вошёл(а) в комнату
[11:37:12] ermine вышел(а) из комнаты
[12:19:58] komar вошёл(а) в комнату
[12:30:13] f[x] вышел(а) из комнаты
[12:30:15] ygrek вышел(а) из комнаты
[12:37:11] f[x] вошёл(а) в комнату
[12:38:52] valexey_ вошёл(а) в комнату
[12:39:08] <f[x]> открытие дня
match 2,x with
| (1|2|3), _ -> 0
| _ -> 1
[12:40:59] <ʇsʎɯ> лолшто?
[12:41:09] <komar> Круто.
[12:41:20] <ʇsʎɯ> индийский код на OCaml?
[12:41:27] <ʇsʎɯ> пичаль...
[12:41:40] <gds> f[x]: варнинга на unused case не даёт?  Потому что не протаскивает "2", думаю.
[12:41:59] <ʇsʎɯ> всё протаскивает же
[12:42:21] <gds> я про компиляцию и статический анализ unused case'ов.
[12:43:11] <gds> компилятор мог бы и сообразить, что последняя строка никогда не будет использована.
[12:43:13] <f[x]> я вообще про sub-pattern'ы
[12:43:20] <gds> хехе :)
[12:48:22] ygrek вошёл(а) в комнату
[12:50:36] <olegfink> круто, оно даже, кажется, везде работает
[12:51:52] <gds> у меня в говнопроектике даже такое есть:
  | [ ( `Literal _ | (`Var_ref {vfunckind=`One}
      | `Lambda _ | `List _
      ) as func) :: args ] ->
штука мощная.
[12:53:08] <olegfink> интересно, правда, во что вся эта мощь компилируется и сколько стоит
[12:59:54] <gds> разбор паттерна списка -- проверка одного регистра (предполагаю, что то, что матчат, уже в регистре), и вроде делается один раз на случай разных match case'ов, матчащих список в пределах одного матча.  Проверка на `Literal _ | `Var_ref ... -- взять бошку списка (одно обращение к памяти), взять тег полиморфного варианта (ещё одно обращение) и прогнать это через двоичный поиск по 4 вариантам (около 2 сравнений регистра с константами).  Если найден `Var_ref, то берёт "аргумент" полиморфного варианта (обращение к памяти), получая в регистре указатель на запись, далее берёт поле vfunckind этой записи (одно обращение к памяти) и сравнивает его с константой.  Конкретно это всё -- очень дёшево.
[13:01:58] <olegfink> надо такое для си сделать
[13:26:59] ermine вошёл(а) в комнату
[13:28:15] sceptic вышел(а) из комнаты
[14:07:30] Kakadu вошёл(а) в комнату
[14:20:16] f[x] вышел(а) из комнаты
[14:20:17] ygrek вышел(а) из комнаты
[14:22:31] f[x] вошёл(а) в комнату
[14:23:54] ygrek вошёл(а) в комнату
[15:42:32] <f[x]> ocsigen девы молодцы - поменяли имя findlib пакета c ocsigen.xhtml на ocsigen_xhtml
[15:44:36] <f[x]> или это дебиановцы
[15:45:51] <gds> а в чём цимес?
[15:48:37] <f[x]> в backward compatibility
[15:52:45] Kakadu вышел(а) из комнаты
[15:55:18] <komar> Дебианщики не обалдели название либ менять?
[16:01:23] <komar> Они бы лучше ocsigen с новым lwt пересобрали.
[16:03:23] <Typhon> они бы лучше сделали скрипт для установки, чтобы запустил и весь ocsigen собрался, с зависимостями :)
[16:03:33] <Typhon> а то страшно собирать его :(
[16:03:41] <komar> Да ну, ерунда.
[16:04:18] <komar> А вот собрать в кучу веб-сервер и мой модуль я не как-то не осилил, но уже не помню, почему.
[17:01:16] komar вышел(а) из комнаты
[17:18:08] komar вошёл(а) в комнату
[17:19:16] iNode вышел(а) из комнаты
[17:41:46] f[x] потроллил дебиановцев в irc
[17:56:57] ʇsʎɯ вышел(а) из комнаты
[18:06:22] gds вышел(а) из комнаты
[18:42:57] gds вошёл(а) в комнату
[19:25:10] Typhon вышел(а) из комнаты
[19:40:36] iNode вошёл(а) в комнату
[20:07:10] serp256 вышел(а) из комнаты
[20:29:47] f[x] вышел(а) из комнаты
[20:30:08] Kakadu вошёл(а) в комнату
[20:30:51] Typhon вошёл(а) в комнату
[21:01:48] Kakadu вышел(а) из комнаты
[21:03:57] vlan вошёл(а) в комнату
[21:26:21] digital_curse вошёл(а) в комнату
[21:53:36] sceptic вошёл(а) в комнату
[22:17:34] valexey_ вышел(а) из комнаты
[22:57:36] lelf вошёл(а) в комнату
[23:10:46] Kakadu вошёл(а) в комнату
[23:21:09] lelf вышел(а) из комнаты
[23:27:56] vlan вышел(а) из комнаты
[23:36:48] Kakadu вышел(а) из комнаты