ее собирают руками

и кропотливо проверяют каждый сырец

ну а что ещё, все дистры полная гадость баги и все плохо

кроме RHEL

но там трехлетние пакетики - вполне в порядке вещей

нопремер openSUSE Tumbleweed тупо автотестирует в qemu различные сценарии — поставить с ноля/проапгрейдиться и запустить chrome/LO/ещёчтототам

да RHEL тоже кривой, он стабильный со стабильными багами

которые если пофикшены нужно вернуть назад

: ]

(утрировано)

лучше стабильные баги чем нестабильные

учитывая, что как правило речь идёт о в лучшем случае просто императивщине, а в худшем — императивщине на сишечьке, новое лучше примерно всегда

а на сишечке есть не императивка?

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

я на теплом ламповом с недавно писал стейтмашину для парсинга очень простой строчки. Смог!

зачем?

ну потому что решил, что хочу написать программку на с, а в ней понадобилось парсить строчку

в RHEL трехлетние пакеты? это где там такой свежак?

в RHEL трехлетние пакеты? это где там такой свежак?

На LTS

99.99 сесюрити жи

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

мне кажется про свежак это было не сарказм, а то, что обычно там пакеты старее

внезапно ImpredicativeTypes

мой код стал это требовать

@xgrommx это всё потому что у тебя хаскель для баловства, а не в продакшене.

нет это потому что я упоролся и решил вывести general mutumorphism

вот и я об этом

gmutu :: (Functor f, Comonad w) => DistributiveLaw f w -> GAlgebra (EnvT a w) f b -> GAlgebra (EnvT b w) f a -> Fix f -> a

можно сказать это самое general general...general recursion

Вот из-за таких наркоманов как ты, микросервисы на го пишут а не на хаскеле

как бы cata, para, zygo все под gcata а вот уже mutu туда не попадает и ей надо gmutu

Вот из-за таких наркоманов как ты, микросервисы на го пишут а не на хаскеле

мб когда-то начну для прода писать)

Да да, всё верно. (незаметно вызывает санитара)

моя задача написать это все!) (есть просто алиасы тут) -- cata/gctata/cataM/gcataM -- para/gpara/paraM/gparaM -- zygo/gzygo/zygoM/gzygoM -- mutu/gmutu/mutuM/gmutuM -- prepro/gprepro/preproM/gpreproM -- histo/ghisto/histoM/ghistoM -- dyna/gdyna/dynaM/gdynaM -- ana/gana/anaM/ganaM -- cocata -- apo/gapo/apoM/gapoM -- copara -- cozygo -- comutu -- postpro/gpostpro/postproM/gpostproM -- futu/gfutu/futuM/gfutuM -- codyna/gocodyna/codynaM/gcodynaM -- hylo/ghylo/hyloM/ghyloM -- meta/gmeta/metaM/gmetaM -- chrono/gchrono/chronoM/gchronoM -- cochrono/gcochrono/cochronoM/gcochronoM -- lambek/colambek

+ хочу сделать рекурсивные схемы чтобы они работали на GADTs

это уже hors

ну и тут еще нет всех схем Елгот алгебры и Мендлера

большинство уже реализовал)

...кричал он когда его тащили в смирительной рубашке делать укол.

Надо для рек.схем "заболевание" лурк-стайл придумать :)

И клеймить оным на прави и налево :)

"РСГМ"

у вас морфянка

Препроморфизм уже звучит как заболевание :)

но самое интересное сделать пакет hrecursive-schemes (там Base будет как HBase что работает на GADTs)

синдром поиска применения абстрактного нонсенса

но самое интересное сделать пакет hrecursive-schemes (там Base будет как HBase что работает на GADTs)

Мелко мыслишь! Иди уже свой язык пили!

у вас терминальная коалгебра в категории F-коалгебр

у вас терминальная коалгебра в категории F-коалгебр

я аж хрюкнул

чтобы ща дальше писать надо въезжать в такие понятия ∆ ⊣ (×)

а там и Кан скоро

а еще надо как-то написать gcomutu

скорее всего) через тензорное произведение

GCoalgebra (Compose (Either a) m) f b

интересно) что вся эта фигня рекурсивная классно годится чтобы городить свои языки и всякие AST

Дак тебе и говорят - городи уже

внезапно ImpredicativeTypes

Он же поломанный валяется

ну вот от него и надо избавиться у меня

cata, eta, zygo, para это круто

ещё бы кто умный написал интерфейсы человеческие к этому

т.к. там controlled fusion и все дела

ещё бы кто умный написал интерфейсы человеческие к этому

Что ты имеешь в виду?) У них есть общий предок - gcata

человеческие интерфейс это чтобы программист на go не сдоз если код написать хочет

а программист на го в жизни в среднем читал 2 книги, и одна из них букварь

человеческие интерфейс это чтобы программист на go не сдоз если код написать хочет

Ну как бы РС это ТК

Категории F-{Ко}алгебр

Кстати где-то читал что с помощью РС можно решать диффуры

а программист на го в жизни в среднем читал 2 книги, и одна из них букварь

Программист что увидит какую то system omega или system D, тоже может офигеть тоже

Кароч, зигокаты - "непонятная хрень". Даже монадки люди понимают быстро, если примеров побольше дать и не пугать лишнего. А рек.схемы, это даже не "паттерны", потому как сходу угадать, что "тут мне нужна зига, а тут копро" - mad skill, своего рода (или специальная олимпиАДа). У рек.схем ещё меньше интуитивности и ещё более хуже с именованием - с точки зрения человека со стороны (ну или просто недалёких людишек, типа меня).

Но выглядят симпотично

А какой смысл вообще в этих ваших рекурсивных схемах? Они дают частные случаи общей рекурсии, гарантирующие тотальность? Или что?

какой смысл в этом вашем Хаскеле? чем он лучше Кобола?

гарантированый fusion например

какой смысл в этом вашем Хаскеле? чем он лучше Кобола?

хуже /thread

а нужен смысл?

я думал так, просто чтобы программы писать

хуже /thread

кобол - понятный!

/thread

эти все зиги композятся нормально