Objective Caml - Четверг, 6 августа 2009

Objective Caml

ocaml@conference.jabber.ru

Четверг, 6 августа 2009< ^ >

f[x] установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Верблюды грязи не боятся!

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

GMT+4
[00:02:39] <gds> там вообще нет Thread.critical_section : bool ref. Локи там на уровне ОС-тредов идут. Конкретнее, интересные мне Condition.t падвендой -- честные виндовые семафоры. Там функции морозят тред до выполнения условий ожидания, через это невозбранно достигая результата.
А лочить там придётся честными мутексами. Я же не настолько долбанулся, чтобы рисовать виндовые critical sections для мелкой, по сути, задачки.
[00:07:29] DiGiTAL_CuRSe вышел(а) из комнаты
[03:51:00] daapp вошёл(а) в комнату
[08:24:53] gds вышел(а) из комнаты
[09:18:50] /O вошёл(а) в комнату
[09:19:41] gds вошёл(а) в комнату
[09:57:15] Typhon вошёл(а) в комнату
[10:06:11] <gds> http://ocaml.janestreet.com/?q=node/37
[10:06:23] <gds> (понятно, что многие читают это дело, но всё же)
[11:52:08] <ermine> я не читала
[12:12:07] <gds> ermine: ну вот повод почитать.
ещё нашлось про оптимизацию лямбда-абстракции и лямбда-аппликации, но это только на случай аццкого профайлинга, и ни в коем случае не для начального написания кода, ибо premature optimization. http://ocaml.janestreet.com/?q=node/30
[12:15:09] <ermine> хорошо, что оно в хтмле всё
[12:15:58] sceptic вышел(а) из комнаты
[12:21:24] <gds> там ещё забавный прикол -- когда полиморфное ( = ) начинает раздражать, люди делают
let ( = ) () () = ..
и заменяют на специфичные
let ( =%= ) = (Pervasives.compare : int -> int -> bool)
let ( =$= ) = (Pervasives.compare : string -> string -> bool)
и так далее, а для сложных типов явно прописывают compare/equal и подобное.
[12:25:13] sceptic вошёл(а) в комнату
[14:24:56] daapp вышел(а) из комнаты
[16:56:30] sevenov вышел(а) из комнаты
[17:06:55] gds вышел(а) из комнаты: Replaced by new connection
[17:06:56] gds вошёл(а) в комнату
[17:09:47] sevenov вошёл(а) в комнату
[17:32:26] gds вышел(а) из комнаты
[18:10:18] sceptic вышел(а) из комнаты
[18:11:49] sevenov вышел(а) из комнаты: Replaced by new connection
[18:11:50] sevenov вошёл(а) в комнату
[18:21:16] gds вошёл(а) в комнату
[18:37:01] Typhon вышел(а) из комнаты
[19:06:22] sceptic вошёл(а) в комнату
[19:57:39] abiogenesis вошёл(а) в комнату
[23:03:20] /O вышел(а) из комнаты
[23:14:02] /O вошёл(а) в комнату
[23:52:31] sevenov вышел(а) из комнаты