Objective Caml - Воскресенье, 27 мая 2012

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 27 мая 2012< ^ >

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

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

GMT+4
[00:36:48] Typhon вошёл(а) в комнату
[00:49:53] tilarids вышел(а) из комнаты: Machine going to sleep
[01:29:29] dki001 вышел(а) из комнаты
[01:39:51] Kakadu вышел(а) из комнаты
[01:54:11] komar вышел(а) из комнаты
[01:55:40] komar вошёл(а) в комнату
[02:54:54] <bobry> https://twitter.com/ronald_duncan/status/203595939229872129
[03:01:09] bobry вышел(а) из комнаты
[04:41:23] komar вышел(а) из комнаты: Replaced by new connection
[04:41:24] komar вошёл(а) в комнату
[05:12:30] komar вышел(а) из комнаты
[05:16:08] komar вошёл(а) в комнату
[06:12:56] komar вышел(а) из комнаты: Replaced by new connection
[06:12:56] komar вошёл(а) в комнату
[06:36:48] komar вышел(а) из комнаты
[06:37:49] komar вошёл(а) в комнату
[07:05:01] komar вышел(а) из комнаты
[07:05:16] komar вошёл(а) в комнату
[07:17:52] letrec вошёл(а) в комнату
[08:48:47] komar вышел(а) из комнаты: Replaced by new connection
[08:48:47] komar вошёл(а) в комнату
[09:02:22] letrec вышел(а) из комнаты
[09:40:57] komar вышел(а) из комнаты: Replaced by new connection
[09:40:57] komar вошёл(а) в комнату
[10:13:44] komar вышел(а) из комнаты: Replaced by new connection
[10:13:44] komar вошёл(а) в комнату
[10:43:38] tilarids вошёл(а) в комнату
[10:48:39] komar вышел(а) из комнаты: Replaced by new connection
[10:48:39] komar вошёл(а) в комнату
[11:06:46] bobry вошёл(а) в комнату
[11:06:53] komar вышел(а) из комнаты: Replaced by new connection
[11:06:54] komar вошёл(а) в комнату
[11:10:04] letrec вошёл(а) в комнату
[11:16:25] Kakadu вошёл(а) в комнату
[11:26:20] Kakadu вышел(а) из комнаты
[11:26:21] Kakadu вошёл(а) в комнату
[11:35:48] ermine вошёл(а) в комнату
[12:29:35] komar вышел(а) из комнаты
[12:30:04] Kakadu вышел(а) из комнаты
[12:30:08] Kakadu вошёл(а) в комнату
[12:31:03] komar вошёл(а) в комнату
[12:57:36] Typhon вышел(а) из комнаты
[13:00:52] bobry вышел(а) из комнаты
[13:28:30] f[x] вошёл(а) в комнату
[13:28:33] f[x] вышел(а) из комнаты: Logged out
[14:00:21] tilarids вышел(а) из комнаты: Machine going to sleep
[14:03:51] komar вышел(а) из комнаты
[14:04:43] komar вошёл(а) в комнату
[15:28:12] komar вышел(а) из комнаты
[15:45:44] komar вошёл(а) в комнату
[15:55:07] komar вышел(а) из комнаты
[16:08:27] komar вошёл(а) в комнату
[16:43:57] komar вышел(а) из комнаты: Replaced by new connection
[16:43:58] komar вошёл(а) в комнату
[17:20:18] letrec вышел(а) из комнаты
[17:51:09] Typhon вошёл(а) в комнату
[18:50:40] komar вышел(а) из комнаты
[18:51:13] komar вошёл(а) в комнату
[19:09:52] Typhon вышел(а) из комнаты
[19:15:30] letrec вошёл(а) в комнату
[19:35:33] bobry вошёл(а) в комнату
[20:34:50] komar вышел(а) из комнаты: Replaced by new connection
[20:34:51] komar вошёл(а) в комнату
[20:42:51] tilarids вошёл(а) в комнату
[20:46:08] tilarids вышел(а) из комнаты
[20:46:22] tilarids вошёл(а) в комнату
[20:49:29] tilarids вышел(а) из комнаты
[20:49:46] tilarids вошёл(а) в комнату
[21:15:56] <bobry> Kakadu: как твой диплом?
[21:16:15] <Kakadu> bobry: защита завтра
[21:16:38] <bobry> о да нефига ж себе
[21:16:55] <bobry> как оцениваешь готовность?
[21:18:18] <Kakadu> надо подкорректировать слайды
[21:19:12] <bobry> покажешь?
[21:19:33] <Kakadu> после
[21:25:25] <Kakadu> кто может без заглядывания куда либо четко написать что такое карринг?
[21:31:46] <bobry> Kakadu: я только на пальцах могу, ты наверное так и сам могешь :)
[21:35:26] <Kakadu> я так и смог, но научник сказал что
[20:45:29] <Я.А. Кириленко> Ты специально замыкание обозвал каррированием????
[21:24:27] <Я.А. Кириленко> Но, мля, Дима, обозвать каррингом ....
[21:24:35] <Я.А. Кириленко> Ёпрст.
[21:35:39] letrec вышел(а) из комнаты
[21:39:13] <bobry> Kakadu: а чо ты написал?
[21:40:43] komar вышел(а) из комнаты: Replaced by new connection
[21:40:44] komar вошёл(а) в комнату
[21:40:52] <Kakadu> bobry: ушло на мыло
[22:14:29] komar вышел(а) из комнаты: Replaced by new connection
[22:14:30] komar вошёл(а) в комнату
[22:19:42] Kakadu вышел(а) из комнаты
[22:36:51] komar вышел(а) из комнаты
[22:37:20] komar вошёл(а) в комнату
[22:38:06] <gds> мда, путать замыкание и карр* -- это феерично.
[23:10:08] dki001 вошёл(а) в комнату
[23:14:49] dki001 вышел(а) из комнаты
[23:20:07] Typhon вошёл(а) в комнату
[23:21:25] dki001 вошёл(а) в комнату
[23:30:48] <bobry> gds: я вот почитал чо написал Kakadu, "замыканием" там и не пахнет
[23:30:53] <bobry> сформулируй ка кстати оба?
[23:36:44] <gds> bobry: замыкание -- функциональное значение, несущее какое-либо окружение -- те значения, которые не создаются самой функцией при применении к ней аргументов, но требуются для применения аргумента к функции, но которые не являются литералами либо значениями, имеющими доступное для других функций имя.  Противоположность -- комбинаторы, они не имеют окружения, и все значения, с которыми они работают, они получают в качестве аргументов.
[23:38:50] <gds> bobry: карринг -- способ сделать из функции, берущей несколько параметров, функцию, берущую один из параметров и возвращающую функцию, более не требующую этот параметр.  Простой пример -- представление let f (a, b, c) в виде let f = fun a -> (fun b -> (fun c -> ...)).
[23:40:48] <gds> каррированная функция при частичном применении возвращает функциональное значение, оно может быть замыканием, а может и нет, как в этом примере: value f x y = y.  Для любого x значение f x не содержит в окружении ничего и равно identity function.