Sergey Ivanov

странное для себя встретил: -- | Hylomorphism is anamorphism followed by catamorphism. hylo :: Functor f => (f b -> b) -> (a -> f a) -> (a -> b) hylo phi psi = cata phi . ana ...

Есть adt с несколькими конструкторами с различными параметрами. Как сделать Map с ключами - по одному на каждый вид конструктора (без параметров) ? Можно написать соответствую...

join . filter ((==1) . length) $ row ? а comprehension с pattern-matching эффективнее получается, не нужно вычислять всю длину

Хотел выразить это линзами, но никак не получается: tuplift :: (a -> c -> x) -> (b -> d -> y) -> (a, b) -> (c, d) -> (x, y) tuplift f g (a, b) (c, d) = (f a c, g b d) Есть ли ...

Подскажите пожалуйста, как сделать Traversal из двух полей одинакового типа ? так, чтобы data X = X { y :: C, z :: C } x = X c1 c2 x & <magic y z> %~ c3 -- X c3 c3

вопрос практического характера. С помощью этих новых смартконтрактов на пи-исчислении и графовом блокчейне можно мотивировать ноды к участию в сети i2p ?

> Ежедневноеt голодание в течении, примерно, 16 часов ... Это значит принимать пищу только один раз в сутки?

Если задание - про преобразование RoseTree = Fix RoseTreeF в список, то скорее это сворачивание cats, а не ana. Не?

зачем тут (b -> a) ?

Первый научный метод исследования - это эксперимент. И как его прменяет "наука" история?

Кто общался с админами хакаджа, они как, обычно, долго отвечают?

где почитать чтобы получить техническое представление об этом?

чем это лучше сотни полноценных серверов на весь мир?

Науке - это как например, в университете диссертации писать?

scalabilicy, security, privacy.. а что нового?

_X - это призма на конструктор ?

на самом ли деле нужно майнить на телефоне?

а зачем тебе HTTP стандарт для jsonrpc ?

эм, тогда нет способа содать и (a -> Void) ?

Чему ещё мог бы служить человек?