OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc

ocaml@conference.jabber.ru

Вторник, 1 октября 2013< ^ >

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

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

GMT+4
[00:00:15] Typhon вошёл(а) в комнату
[00:13:42] Typhon вышел(а) из комнаты
[01:02:34] Kakadu вышел(а) из комнаты
[01:26:37] komar вышел(а) из комнаты: Replaced by new connection
[01:26:37] komar вошёл(а) в комнату
[01:27:10] ForNeVeR вышел(а) из комнаты
[01:29:23] tilarids вышел(а) из комнаты: Machine going to sleep
[02:04:03] Typhon вошёл(а) в комнату
[02:14:37] Typhon вышел(а) из комнаты
[03:19:57] <komar> http://thesz.livejournal.com/1399967.html кудахтахтах
[03:21:38] <komar> Ох епт, по ссылкам пост того веб-профессионала, который вордпресс оптимизировал.
[03:22:11] <komar> http://eax.me/wordpress-extra-optimization/
[03:48:23] komar вышел(а) из комнаты: Replaced by new connection
[03:48:23] komar вошёл(а) в комнату
[05:40:05] zinid вошёл(а) в комнату
[06:11:25] ForNeVeR вошёл(а) в комнату
[07:06:32] komar вышел(а) из комнаты: Replaced by new connection
[07:06:32] komar вошёл(а) в комнату
[07:07:21] f[x] вошёл(а) в комнату
[07:40:18] avkarpich вошёл(а) в комнату
[09:33:22] komar вышел(а) из комнаты: Replaced by new connection
[09:33:22] komar вошёл(а) в комнату
[09:45:21] f[x] вышел(а) из комнаты
[10:03:58] ermine вошёл(а) в комнату
[10:30:23] komar вышел(а) из комнаты: Replaced by new connection
[10:30:23] komar вошёл(а) в комнату
[11:08:44] f[x] вошёл(а) в комнату
[11:23:13] tilarids вошёл(а) в комнату
[12:25:03] Kakadu вошёл(а) в комнату
[12:51:21] f[x] вышел(а) из комнаты
[12:51:54] Kakadu вышел(а) из комнаты
[12:55:12] f[x] вошёл(а) в комнату
[12:56:37] Kakadu вошёл(а) в комнату
[13:02:15] komar вышел(а) из комнаты: Logged out
[13:02:19] komar вошёл(а) в комнату
[13:14:44] komar вышел(а) из комнаты: Replaced by new connection
[13:14:44] komar вошёл(а) в комнату
[13:43:55] <f[x]> а как добыть функцию за методом типа method get : int ?
[13:44:13] <f[x]> т.е. let set : int -> unit = instance #set
[13:44:24] <f[x]> а let get : unit -> int = ...?
[13:52:48] <gds> в простейшем случае -- let get : unit -> int = fun () -> instance#get, но это не то, что ты хочешь :)
[13:53:06] <gds> есть ещё идейки, минутку.
[13:54:41] <gds> собственно, CamlinternalOO.
val get_public_method : obj -> tag -> closure
но что с closure делать -- это вопрос.
а, и ещё посмотри тип CamlinternalOO.impl, там может быть не всё так просто.
[13:55:10] <gds> ещё всяко полезно http://ambassadortothecomputers.blogspot.com/2010/03/inside-ocaml-objects.html
[13:55:23] <f[x]> сгинь, нечистая
[13:55:32] <f[x]> свят свят свят
[13:55:34] <f[x]> obj obj obj
[13:55:47] <f[x]> но идею понял!
[13:55:49] <gds> ага, зассал!
[13:55:55] <f[x]> спасибо, не подумал что там есть такое
[13:56:28] <gds> я вот тоже почему-то думал, что объекты и классы вполне так компилятором реализуются, а тут такое развесистое CamlinternalOO.
[13:59:02] <f[x]> ыы, params stats
[13:59:33] <f[x]> можно отстреливать верблюду ноги
[14:09:43] komar вышел(а) из комнаты: Replaced by new connection
[14:09:43] komar вошёл(а) в комнату
[14:36:56] f[x] вышел(а) из комнаты
[15:10:14] avkarpich вышел(а) из комнаты
[15:32:17] ftrvxmtrx вышел(а) из комнаты
[15:33:27] Typhon вошёл(а) в комнату
[15:55:37] komar вышел(а) из комнаты: Replaced by new connection
[15:55:58] komar вошёл(а) в комнату
[17:16:30] komar вышел(а) из комнаты: Replaced by new connection
[17:16:31] komar вошёл(а) в комнату
[18:01:34] komar вышел(а) из комнаты: Replaced by new connection
[18:01:34] komar вошёл(а) в комнату
[18:09:22] gds вышел(а) из комнаты
[18:09:33] gds вошёл(а) в комнату
[18:12:39] <gds> два однотипных аргумента некоммутативной функции -- labelled arguments. это закон.
(исключение -- всякия "f str ofs len", где понятно, какой int за что отвечает. да и то, в String.blit как-то некомфортно.)
[19:36:00] zinid вышел(а) из комнаты
[20:00:13] komar вышел(а) из комнаты: Replaced by new connection
[20:00:13] komar вошёл(а) в комнату
[20:22:42] f[x] вошёл(а) в комнату
[21:05:19] Kakadu вышел(а) из комнаты
[21:12:27] f[x] вышел(а) из комнаты
[21:20:15] Typhon вышел(а) из комнаты
[22:42:54] Kakadu вошёл(а) в комнату
[23:16:30] ermine вышел(а) из комнаты