единца измерения расстояний

как я мог забыть

и либа для декларативного построения парсеров в хаскеле

расстояние до объекта, годичный тригонометрический параллакс которого равен одной угловой секунде

пиздец формулировки

Нормальные

как в этом чатике

Нормальные

вот-вот и я о чем

Это означает тупо то, что точка смещается на небе на одну угловую секунду между первым января и первым июля

это как мем, где качество понижается, а текст все мудренее и мудренее

Это означает тупо то, что точка смещается на небе на одну угловую секунду между первым января и первым июля

@kelin2025 если для тебя и такое непонятно то я прямо даже не знаю

да не я понял в принципе

и либа для декларативного построения парсеров в хаскеле

что за либа?

я больше рофлю

что за либа?

речь про парсек же) А если про скрин, то такие ошибки дает мегапарсек

Поговаривают, что мегапарсек — не настоящий

Ща зигоморф напишет, что существует только аттопарсек

И что все расстояния придётся перемерять заново

а мегапарсек это все влияние жс-а и красивые ошибки для тупых

лол

?

triggered

-- Mu < Fix < Nu newtype Mu' f = Mu' { unMu :: forall a. Algebra f a -> a } data Nu' f where Nu' :: Coalgebra f a -> a -> Nu' f newtype Fix' f = Fix' { unFix :: f (Fix' f) }

теперь я понял чо он неподвижный тут) cata' :: Functor f => Algebra f a -> Mu' f -> a cata' alg (Mu' x) = x alg ana' :: Functor f => Coalgebra f a -> a -> Nu' f ana' = Nu' hylo' :: Functor f => (f b -> b) -> (a -> f a) -> a -> b hylo' alg coalg = cata' alg . fromNuToMu . ana' coalg

unwrap :: Functor f => Nu' f -> f (Nu' f) unwrap (Nu' u s) = Nu' u <$> u s wrap :: Functor f => f (Mu' f) -> Mu' f wrap f = Mu' (\k -> k (cata' k <$> f)) fixMu :: Functor f => Fix' f -> Mu' f fixMu = wrap . fmap fixMu . unFix nuFix :: Functor f => Nu' f -> Fix' f nuFix = Fix' . fmap nuFix . unwrap fromNuToMu :: Functor f => Nu' f -> Mu' f fromNuToMu = fixMu . nuFix

а в хаскелл у нас Nu ~ Mu ~ Fix

и хватает только Fix

Ааа блин точно

блять, только альттабнулся, а тут уже портянки

через фикс строится изоморфизм между экстремумами функтора

ага, это же очевидно

это щас серьезно?

я даже не знал, что у функторов есть экстремумы

чувствуете сарказм или я один такой?

Ааа блин точно

ага, это же очевидно

ты один такой

ты один такой

пиздишь

не ну код выше я понял в принципе

но что такое экстремум функтора я пока не понял

Функтор который загремел по 282

аааа

я понял

лол

не, нихера

бля, вот же неудобные форварды в телеграме

были бы как в сохраненках - с нормальным отображением автора

я нашел в статье про сопряженные функторы слово экстремум, это совсем из другой темы

мне кажется, зигоморф придумал новый термин, чтобы выглядеть пизже и его никто не понял, потому что он начал опасаться, что после того, как он столько раз накидал код с рекурсивными схемами, кто-то мог начать его понимать

не, нихера

наименьшее и наибольшее же

если я сейчас спрошу у него прямо, что это такое, он напишет в ответ одно слово типа “дуальность” и типа я буду тупым, если не пойму ничего

минимальная и максимальная неподвижные точки

так да, я знаю, что такое экстремум, но как это к функторами применить

muFix :: Functor f => Mu' f -> Fix' f muFix m = (unMu m) Fix' fixNu :: Functor f => Fix' f -> Nu' f fixNu x = Nu' unFix x fromMuToNu :: Functor f => Mu' f -> Nu' f fromMuToNu = fixNu . muFix а вот переход от Mu -> Nu

если я сейчас спрошу у него прямо, что это такое, он напишет в ответ одно слово типа “дуальность” и типа я буду тупым, если не пойму ничего

так и произошло, лол

он настолько предсказуем, что тест тьюринга может провалиться)

он настолько предсказуем, что тест тьюринга может провалиться)

ну как бы у неподвижной точки есть min и max (в чистом виде это cata и ana) Mu < Fix < Nu

орнул

аааа

я понял

не, нихера

cata' :: Functor f => Algebra f a -> Mu' f -> a cata' alg (Mu' x) = x alg ana' :: Functor f => Coalgebra f a -> a -> Nu' f ana' = Nu'

экстремум

функтора

блэд

ERROR: S client not available

и да) эти оба типа не рекурсивны

Шутишь

newtype Mu' f = Mu' { unMu :: forall a. Algebra f a -> a } data Nu' f where Nu' :: Coalgebra f a -> a -> Nu' f

ты понимаешь, что ты поехавший

type List a = Mu'(ListF a) nil :: Mu'(ListF a) nil = Mu' $ \f -> f Nil cons :: forall a. a -> Mu' (ListF a) -> Mu' (ListF a) cons a (Mu' b) = Mu' $ \f -> f $ Cons a (b f) sum' = cata alg where alg Nil = 0 alg (Cons a b) = a + b

ты понимаешь, что ты поехавший

чем сложней и интересней структура тем чаще там вылазит Черч)

ля, чтобы всю эту хрень понимать, мне надо сесть за какой-нибудь хаскель основательно

я не понимаю, что написано, иногда

я мб и понял бы суть, но не знаю даже как читать

чисто заходишь в чат фп и у тебя дислексия сразу

я не понимаю, что написано, иногда

Делай как я - не начинай понимать

да не

я хочу

Тогда чат еще и из твоих простыней будет состоять

А это перебор

ну и пусть

пойду к алеф нулю парсеры писать

я ща за кок и СФ сяду снова

буду тут профы писать

Ну мне бывает неприятно что я что-то не понимаю а хотел бы. А вот рс это какой-то скучный дроч на вид

да, согласен про рс

нигде нет рекурсии в отличии от Fix) nil :: Mu'(ListF a) nil = Mu' $ \f -> f Nil cons :: forall a. a -> Mu' (ListF a) -> Mu' (ListF a) cons a (Mu' b) = Mu' $ \f -> f $ Cons a (b f) sum' (Mu' x) = x alg where alg Nil = 0 alg (Cons a b) = a + b вот это уже походу чистый Ламбек

ему уже не помочь

чем сложней и интересней структура тем чаще там вылазит Черч)

Надо для VIm сделать плагин, что бы иногда выскаивал снизу-справа Черч как в мортал комбате

ему уже не помочь

?

у него ник - ТыЧо?

нет

Да))

нет

ty cho ty cho a

ему уже не помочь

это был ответ зигоморфному

Полный ламбек