?

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 04:02 pm (UTC)
(Link)
Есть такая статья Коннора Макбрайда "Kleisli arrows of outrageous fortune" от марта сего года, которая показывает, как интегрировать в систему типов Хоаровы тройки, мне показалось, что это прекрасный чистый способ интегрировать в типы аннотации управления ресурсами (как в языке Vault, к созданию которого приложил руку Пейтон-Джоунс). Вообще использование стрелок вместе с зависимыми/экзистенциальными типами позволяет кодировать пурым образом самые разные подходы к эффектам и контролю управлением ресурсами от легковесных до филигранных.
(Reply) (Parent) (Thread)