Delimited continuations - странная штука, я не раз видел, как оно зверски помогает (скажем, секьюрити в твитерском коде, лет 10+ назад) - но сам никогда так и не освоил этот трюк.
Спасибо за линки; почитаю. Для меня, как для категорщика, монады очевидны, там математика и логика. А вот трюки я бы сначала перевел на категорный язык, а потом бы уже разбирал. Тем более, Карри-Хауард-Ламбек говорят нам, что больше ничего и нету, одни категории.
no subject
Date: 2022-12-02 04:04 pm (UTC)Delimited continuations - странная штука, я не раз видел, как оно зверски помогает (скажем, секьюрити в твитерском коде, лет 10+ назад) - но сам никогда так и не освоил этот трюк.
Спасибо за линки; почитаю. Для меня, как для категорщика, монады очевидны, там математика и логика. А вот трюки я бы сначала перевел на категорный язык, а потом бы уже разбирал. Тем более, Карри-Хауард-Ламбек говорят нам, что больше ничего и нету, одни категории.