Comments | ru_lambda: MskHUG

thesz in ru_lambda

MskHUG

Jan 22, 2009 18:41

http://maps.yandex.ru/moscow?upoint=899655a078c5

24-го, в пять (17:00).

Как добираться.

Метро Кропоткинская, выход не к храму Христа Спасителя. Около выхода начинается Гоголевский бульвар - бульварчик с деревьями между двух оград. Вот по нему и надо идти, до первого ( Read more... )

mskhug, Хаскель

Comments 17

deni_ok January 22 2009, 16:09:37 UTC

Если бы ты ещё адрес указал, цены бы рекомендациям не было :)

ext_72902 January 22 2009, 17:22:41 UTC

Дык ленивые вычисления. Адрес выдаётся только по запросу.

nealar January 22 2009, 17:23:51 UTC

На Тындексе написано: Филипповский пер., д. 8, с. 1. Вход сбоку (там ещё с морды 2-3 входа есть). Если zelych откопает объяву о прошлогоднем MskHUG и поставит на ней правильный тег, то вообще здорово будет.

mibori January 22 2009, 17:28:57 UTC

эту?

Thread 8

potan January 22 2009, 16:19:15 UTC

Предварительная запись нужна?

thesz January 22 2009, 22:20:23 UTC

Вроде, нет.

Упоминания об этом не было. ;)

а про что доклад будет? dmarsentev January 22 2009, 20:15:13 UTC

А про что доклад будет, можно ли узнать?

Re: а про что доклад будет? thesz January 22 2009, 22:20:01 UTC

Про системы типов.

Линейные типы, уникальные типы - умеренно подробно.

Зависимые типы. Как они связаны с линейными. ;)

Будут упомянуты Хиндли-Милнер с ограничениями, система типизации стековых эффектов. Про последнее смогу рассказать чуток подробнее.

Как в современном Хаскеле пригождаются знания о зависимых типах.

ext_91206 January 22 2009, 20:52:11 UTC

Скорее всего приеду.

thesz January 22 2009, 22:20:32 UTC

Ура!

alexey_rom January 23 2009, 06:54:21 UTC

Постараюсь тоже прийти.

alexey_rom January 23 2009, 10:55:15 UTC

Ура!

(thesz с работы)