?

Log in

No account? Create an account

Давайте познакомимся - Excelsior

Jan. 1st, 2020

12:00 am - Давайте познакомимся

Previous Entry Share

Comments:

[User Picture]
From:akuklev
Date:October 15th, 2011 03:23 pm (UTC)
(Link)
Да. Так как написано неоптимально, надо доработать. Подумаем и напишем.
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:October 15th, 2011 03:27 pm (UTC)
(Link)
Большое спасибо! Как раз sorhed к нам во вторник приедет на скала-митинг и толкнет идею =)
(Reply) (Parent) (Thread)
[User Picture]
From:akuklev
Date:October 15th, 2011 03:44 pm (UTC)
(Link)
Я бы как-нибудь разок тоже с огромным удовльствием заехал. Думаю, нашлось бы что обсудить. Про те же стрелки, экзотические системы типов для учитывания эффектов, экзотические системы типов, статически проверяющие корректность доступа к ресурсам и корректность multi-actor-systems, о которых я некоторое время назад пытался общаться с Пейтон-Джоунсом и МакБрайдом.
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:October 15th, 2011 03:50 pm (UTC)
(Link)
Дык, конечно! Всегда рады =)
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:October 15th, 2011 03:51 pm (UTC)
(Link)
>>экзотические системы типов для учитывания эффектов
Крайне интересно будет узнать.
(Reply) (Parent) (Thread)
[User Picture]
From:akuklev
Date:October 15th, 2011 04:02 pm (UTC)
(Link)
Есть такая статья Коннора Макбрайда "Kleisli arrows of outrageous fortune" от марта сего года, которая показывает, как интегрировать в систему типов Хоаровы тройки, мне показалось, что это прекрасный чистый способ интегрировать в типы аннотации управления ресурсами (как в языке Vault, к созданию которого приложил руку Пейтон-Джоунс). Вообще использование стрелок вместе с зависимыми/экзистенциальными типами позволяет кодировать пурым образом самые разные подходы к эффектам и контролю управлением ресурсами от легковесных до филигранных.
(Reply) (Parent) (Thread)