Objective Caml - Понедельник, 10 сентября 2012

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 10 сентября 2012< ^ >

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

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

GMT+4
[00:15:17] tilarids вошёл(а) в комнату
[00:21:51] <tilarids> gds: http://ideone.com/J7Rfl минимальный пример вот
[00:27:58] <tilarids> хорошего обзора подобрать не могу
[00:30:50] <gds> tilarids: посмотрел, понял, вполне так прилично.  Не опозоримся (все вместе, включая того, кто передал вопрос тому, кто будет задавать вопрос; если и задаст).
Там, как я понял, в compile time делается вычисление (в том числе рекурсивное), но поверх классических плюсовых конструкций.
Что ж, если бы мне нравились плюсы, я бы аж канчял от этих возможностей.  Хороши для плюсов.
[00:34:46] <tilarids> именно так. На последнем icfpc одни товарищи писали на чистых плюсах решение, которое все вычисляло в compile time
[00:34:53] <tilarids> конечно, все было очень медленно, но очень клево
[00:37:10] <tilarids> кроме вариадиков и прочего такого в функциональном стиле есть еще и императивные constexpr в компайл-тайм, но они не такие веселые
[01:10:45] Typhon вошёл(а) в комнату
[01:39:49] komar вышел(а) из комнаты: Logged out
[02:36:56] dzhon вышел(а) из комнаты
[03:02:20] gds вышел(а) из комнаты
[03:52:46] letrec вошёл(а) в комнату
[03:52:55] letrec вышел(а) из комнаты
[03:53:10] letrec вошёл(а) в комнату
[04:52:24] letrec вышел(а) из комнаты
[06:57:22] ermine вошёл(а) в комнату
[07:00:56] komar вошёл(а) в комнату
[07:29:19] komar вышел(а) из комнаты: Logged out
[07:30:11] komar вошёл(а) в комнату
[07:47:55] komar вышел(а) из комнаты: Logged out
[08:03:01] dzhon вошёл(а) в комнату
[08:13:23] komar вошёл(а) в комнату
[08:49:43] dzhon вышел(а) из комнаты
[09:45:13] dzhon вошёл(а) в комнату
[10:31:00] klapaucius вошёл(а) в комнату
[10:33:21] Sun][ вошёл(а) в комнату
[10:47:38] ftrvxmtrx вышел(а) из комнаты
[11:25:25] ftrvxmtrx вошёл(а) в комнату
[12:04:49] Typhon вышел(а) из комнаты: Replaced by new connection
[12:05:11] Typhon вошёл(а) в комнату
[12:29:10] Kakadu вошёл(а) в комнату
[12:34:24] Kakadu вошёл(а) в комнату
[12:57:54] dzhon вышел(а) из комнаты: Replaced by new connection
[12:57:55] dzhon вошёл(а) в комнату
[12:59:05] gds вошёл(а) в комнату
[13:03:53] tilarids вышел(а) из комнаты: Computer went to sleep
[13:11:11] <ermine> можно ли внутри функции изготовить модуль заданной сигнатуры и вернуть ее?
[13:11:23] gds вышел(а) из комнаты
[13:11:41] <ermine> let f () = let module M = Make(struct ... end) in M
[13:12:04] <ermine> и стряпать тело модуля смотря по обстоятельствам
[13:12:09] <f[x]> why not?
[13:12:50] <ermine> да? надо попробовать
[13:15:24] <f[x]> # module type S =  sig val f : int -> int end;;
module type S = sig val f : int -> int end
# let f x = let module M = struct let f y = x + y end in (module M : S);;
val f : int -> (module S) = <fun>
[13:36:56] Typhon вышел(а) из комнаты
[13:39:57] tilarids вошёл(а) в комнату
[13:53:44] ftrvxmtrx вышел(а) из комнаты
[13:53:48] tilarids вышел(а) из комнаты: Computer went to sleep
[14:32:10] Typhon вошёл(а) в комнату
[14:39:45] ftrvxmtrx вошёл(а) в комнату
[14:46:56] f[x] вышел(а) из комнаты
[14:56:31] komar вышел(а) из комнаты: Logged out
[15:01:13] Typhon вышел(а) из комнаты
[15:01:52] komar вошёл(а) в комнату
[15:02:51] Typhon вошёл(а) в комнату
[15:04:04] tilarids вошёл(а) в комнату
[15:09:03] f[x] вошёл(а) в комнату
[15:10:09] <f[x]> Typhon: а эта картинка kamlo на camlunity.ru - твоя? а векторного исходника случайно нет?
[15:13:57] <Typhon> f[x]: моя, как была в пнг, так и ща в пнг. на футболку хочешь поди? %)
[15:15:07] <f[x]> ага
[15:15:17] <f[x]> ща попробую её potrace'ом
[15:15:23] <f[x]> копирайт не запрещает хоть!?
[15:27:58] <f[x]> вроде ок, осталось шрифт подобрать
[15:30:27] <f[x]> такое впечатление что буква a из другого щрифта чем всё остальное..
[15:31:49] dzhon вышел(а) из комнаты: Replaced by new connection
[15:31:50] dzhon вошёл(а) в комнату
[15:47:20] <Typhon> не, там только K из другого шрифта, а всё остальное какой-нибудь consolas поди
[15:49:04] <f[x]> ок, нечто похожее получилось
[15:50:27] Typhon вышел(а) из комнаты: Replaced by new connection
[15:50:47] Typhon вошёл(а) в комнату
[15:57:38] letrec вошёл(а) в комнату
[16:24:11] <f[x]> вообщем если кому-то нужен svg - их есть у меня
[16:29:30] <Typhon> выкладывай!
[16:47:36] <f[x]> done!
[17:05:42] dzhon вышел(а) из комнаты
[17:05:44] dzhon вошёл(а) в комнату
[17:05:47] tilarids вышел(а) из комнаты
[17:11:24] Sun][ вышел(а) из комнаты
[17:18:54] tilarids вошёл(а) в комнату
[17:59:03] dzhon вышел(а) из комнаты: Replaced by new connection
[17:59:04] dzhon вошёл(а) в комнату
[18:13:50] Kakadu вышел(а) из комнаты
[18:53:09] ftrvxmtrx вышел(а) из комнаты
[19:04:55] ftrvxmtrx вошёл(а) в комнату
[19:14:59] Typhon вышел(а) из комнаты
[19:24:19] tilarids вышел(а) из комнаты: Computer went to sleep
[19:34:27] dzhon вышел(а) из комнаты
[19:34:30] dzhon вошёл(а) в комнату
[19:38:21] dzhon вышел(а) из комнаты
[20:14:04] tilarids вошёл(а) в комнату
[20:16:52] dzhon вошёл(а) в комнату
[20:25:04] tilarids вышел(а) из комнаты: Computer went to sleep
[20:28:22] tilarids вошёл(а) в комнату
[20:43:38] gds вошёл(а) в комнату
[20:49:57] letrec вышел(а) из комнаты
[21:29:14] dzhon вышел(а) из комнаты
[21:59:00] tilarids вышел(а) из комнаты: Computer went to sleep
[22:40:02] Kakadu вошёл(а) в комнату
[22:51:19] komar вышел(а) из комнаты: Replaced by new connection
[22:51:19] komar вошёл(а) в комнату
[23:14:44] ermine вышел(а) из комнаты
[23:22:56] tilarids вошёл(а) в комнату
[23:25:34] Typhon вошёл(а) в комнату
[23:28:18] Typhon вышел(а) из комнаты
[23:40:31] gds вышел(а) из комнаты
[23:40:53] tilarids вышел(а) из комнаты
[23:45:22] Typhon вошёл(а) в комнату
[23:47:17] tilarids вошёл(а) в комнату