Objective Caml - Пятница, 1 октября 2010

Objective Caml

ocaml@conference.jabber.ru

Пятница, 1 октября 2010< ^ >

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

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

GMT+4
[00:00:23] serp256 вышел(а) из комнаты
[00:01:18] serp256 вошёл(а) в комнату
[00:05:39] komar вошёл(а) в комнату
[00:10:37] serp256 вышел(а) из комнаты
[00:10:42] serp256 вошёл(а) в комнату
[00:15:40] serp256 вышел(а) из комнаты
[00:16:31] serp256 вошёл(а) в комнату
[00:25:07] serp256 вышел(а) из комнаты
[00:25:08] serp256 вошёл(а) в комнату
[00:30:56] serp256 вышел(а) из комнаты
[00:31:59] serp256 вошёл(а) в комнату
[00:39:44] serp256 вышел(а) из комнаты
[00:40:41] serp256 вошёл(а) в комнату
[00:43:26] serp256 вышел(а) из комнаты
[00:43:28] serp256 вошёл(а) в комнату
[00:51:59] vshender вышел(а) из комнаты
[00:52:36] serp256 вышел(а) из комнаты
[01:15:30] ygrek вышел(а) из комнаты
[01:30:02] Kakadu вышел(а) из комнаты
[01:33:46] arhibot вышел(а) из комнаты
[03:37:51] komar вышел(а) из комнаты
[08:05:47] zert вошёл(а) в комнату
[08:18:10] iNode вышел(а) из комнаты
[08:59:38] iNode вошёл(а) в комнату
[09:06:20] gds вошёл(а) в комнату
[09:16:46] <gds> почитайте http://sorhed.livejournal.com/538077.html , интересна ваша реакция в проекции на окамл.  Я уже начал строчить птсо, но чисто лотерея -- сойдутся ли наши мнения.
[09:19:06] ygrek вошёл(а) в комнату
[09:21:12] <zert> в интернете кто-то неправ?
[09:23:05] <gds> в интернете кто-то зажрался.
[09:49:09] <gds> из будущего птсо:
"Напомню, изначально проблема в том, что с параметрическим типом, имеющим разные типовые параметры, надо уметь работать различными функциями, зависящими от параметров (как минимум по критерию "можно/нельзя"), и уметь это статически типизировать."
ну? :)
[10:05:43] <gds> http://gds.livejournal.com/54011.html
[10:09:22] serp256 вошёл(а) в комнату
[10:46:19] komar вошёл(а) в комнату
[11:08:55] <f[x]> > Паттерн "Фантомные Типы"
[11:09:44] <gds> там тэг irony :)
[11:10:59] <gds> да и вообще, что за дела -- надо делать всё как у людей.  Паттерном Command мы назовём создание лямбда-абстракции, например.  Паттерном Factory -- возврат лямбда-абстракции.  Будет солидно, а не cs-этосамое.
[11:11:30] <f[x]> > оформить как private type
упс :)
[11:11:46] <gds> а чо упс?
[11:12:07] <gds> а, надо было "Паттерн Инкапсуляция Через Private Type".
[11:12:14] <gds> (хотя не совсем она это)
[11:13:27] <f[x]> нужна табличка "сарказм" иначе штангисты (ввиду убогости доступного инструмента) даже не поймут что ты на них наехал
[11:20:18] <gds> вариант.  Или: слева -- перечёркнутый красным крестом Эталонный Штангист, справа -- картинка про секс с верблюдом (чото в гуглокартинках не ищется ничего, хотя пробовал).
[11:22:24] <f[x]> \o/
[11:24:26] <komar> Ну нельзя же быть таким х-лефобом.
[11:25:51] <gds> а за что их любить вообще?  За их отвислые монады?
[11:26:31] <komar> Монады рулят!
[11:26:33] <komar> Местами.
[11:29:19] <komar> И смотри, эталонный штангист не только штангу, но и луну тягает: http://lleo.aha.ru/dnevnik/2005/11/02.html
[11:29:54] <gds> а я зато знаю язык, в котором компилятор сам знает, какого типа функция, и делает одну и ту же функцию как без монадного типа, так и для любой монады, фактически, автоматически реализовывая liftM.  В отличие от глупого х-я.
[11:30:29] <gds> луна -- зачот.
[11:30:52] <komar> gds: шо-шо за язык?
[11:31:08] <gds> окамл, конечно.
[11:31:14] <komar> Шо?
[11:31:29] <komar> Это в каком он месте для любой монады фактически чего делает?
[11:31:46] <zert> м-н-ды
[11:32:52] <gds> в нём одну и ту же функцию можно использовать как в монаде, так и без монад.  Фактически, к функции автоматически применяется
liftM :: Monad m => (a1 -> r) -> m a1 -> m r
[11:33:14] <gds> почему до этого не додумались в х-е -- не пойму.
[11:33:21] ermine вошёл(а) в комнату
[11:33:50] <komar> Эх, времени нету.
[11:34:05] <komar> В ближайшие пару суток не уходи далеко, я тебя еще затроллю.
[11:34:49] <gds> чорт, а я хотел на дачу пойти в один из выходных.  А во второй из них -- пиво сварить.
[11:35:15] <komar> А ты далеко?
[11:35:34] <gds> от маасквы -- да, 1000км примерно.
[11:35:38] <komar> А то все сговорились и не пьют, задолбали уже.
[11:35:50] <komar> Во-о, и я там раньше жил.
[11:36:18] <gds> в А-не?
[11:36:32] <komar> Не.
[11:36:40] <komar> В А-ске.
[11:38:37] komar вышел(а) из комнаты
[11:52:30] arhibot вошёл(а) в комнату
[11:52:42] ygrek вышел(а) из комнаты
[11:57:28] arhibot вышел(а) из комнаты
[12:08:19] arhibot вошёл(а) в комнату
[12:10:11] Kakadu вошёл(а) в комнату
[12:21:35] arhibot вышел(а) из комнаты
[12:21:38] arhibot вошёл(а) в комнату
[12:27:13] <f[x]> докладываю, вылазка в соседнее логово прошла успешно, лулзы собраны -> http://chatlogs.jabber.ru/haskell@conference.jabber.ru/2010/10/01.html#11:40:06.642386
[12:47:14] arhibot вышел(а) из комнаты
[12:53:19] <Kakadu> f[x]: я прочитал и до чего вы договорились я не понял
[12:54:30] <f[x]> к великому удивлению чуда не случилось и ооп-полиморфизм всё ещё реализуется рантайм диспатчем
[13:00:07] <Kakadu> боян, но всё же http://citforum.ru/gazeta/165/
[13:40:53] ʇsʎɯ вошёл(а) в комнату
[14:39:01] <Kakadu> Булычев пытается объяснить что он скрывает за принтер-комбинаторами. Дал некотрые статьи где говорится, ка взять дерево (по-видимому AST) и его красиво напечатать.
[14:40:07] Kakadu slaps Kakadu around a bit with a large trout
[14:40:39] Kakadu куда-то не туда нажал )
[14:43:00] <Kakadu> A prettier printer от Philip Wadler, Pretty-printing: An Exercise in Functional Programming от John Hughes, и ещё что-то в формате ps который у меня на работе не открыватеся
[14:49:19] <ʇsʎɯ> "как мы все знаем, Роберт Моррис (Robert Morris), близкий друг и коллега Пола, на этом достижении не остановился, и написал, пожалуй, самый знаменитый червь в истории интернета, но это уже совсем другая история"
[14:49:22] <ʇsʎɯ> он черь написал в 1988 году
[14:49:26] <ʇsʎɯ> я дальше не читал
[14:49:40] <ʇsʎɯ> Kakadu, это про твой линк
[15:32:36] arhibot вошёл(а) в комнату
[15:47:06] gds вышел(а) из комнаты
[16:11:14] iNode вышел(а) из комнаты
[16:11:28] iNode вошёл(а) в комнату
[16:49:35] arhibot вышел(а) из комнаты
[16:50:35] arhibot вошёл(а) в комнату
[18:07:25] arhibot вышел(а) из комнаты
[18:15:55] gds вошёл(а) в комнату
[18:39:58] olegfink вышел(а) из комнаты
[18:40:36] olegfink вошёл(а) в комнату
[18:40:48] gds вышел(а) из комнаты
[18:56:08] <Kakadu> Ктонибудь, намекните как писать List.reverse с помощью только fold_right и лямбд
[18:56:26] Kakadu не может разобраться в continuationах. лопается мозг
[18:56:57] <Kakadu> по-видимуму аккумулятор континуацией и будет
[18:58:26] <Kakadu> но тогда после fold_right надо будет ещё применить посчитаннцюб функцию от какого-то аргумента подходящего типа
[19:03:26] serp256 вышел(а) из комнаты
[19:16:54] iNode вышел(а) из комнаты
[19:23:25] f[x] вышел(а) из комнаты
[19:27:13] Kakadu вышел(а) из комнаты
[20:12:04] Kakadu вошёл(а) в комнату
[20:40:43] Kakadu вышел(а) из комнаты
[20:57:21] Typhon вошёл(а) в комнату
[20:57:27] Kakadu вошёл(а) в комнату
[20:59:51] iNode вошёл(а) в комнату
[21:28:35] gds вошёл(а) в комнату
[22:21:27] Kakadu вышел(а) из комнаты: Replaced by new connection
[22:21:28] Kakadu вошёл(а) в комнату
[22:30:11] zert вышел(а) из комнаты
[23:19:10] arhibot вошёл(а) в комнату
[23:31:04] ʇsʎɯ вышел(а) из комнаты
[23:32:51] <arhibot> Kakadu: ээ а в чем проблема то?
[23:33:12] <Kakadu> уже ни в чем
[23:33:15] <Kakadu> написалось