вычисления, но для динамических не позволяют (просто)?создавать тройки Хоара, грубо говоря.
tagless final
про стрелки я вспомнил больше из-за того, что можно создать более богатый язык эффектов меньшими силами
Обсуждают сегодня