AV
.# вродеSize: a a a
2020 December 17
AA
не могу прочесть диплом бальдра, у него там везде аннотации типов вроде
мне аж плохо становится от них
type Sum :: Type -> Type -> Type
мне аж плохо становится от них
MK
StandaloneKindSignatures?
AA
AA
инстанс сигнатуры везде еще
KV
Он диплом фигачит? Это объясняет отсутствие в твиттере
K
по идее точно также, только уже через hrecursion-schemes
Как это решит вопрос с
Decl-то?AV
and we have a winner
Но я всё же do+BA сначала попробую, кажется оно аккуратнее
K
например compdata, compstrat
Там и функций-то таких нет (
R
не могу прочесть диплом бальдра, у него там везде аннотации типов вроде
мне аж плохо становится от них
type Sum :: Type -> Type -> Type
мне аж плохо становится от них
держи
AA
эти два экстеншона существуют специально чтоб бальдровский диплом был в два раза больше
R
эти два экстеншона существуют специально чтоб бальдровский диплом был в два раза больше
ладно, от такого плохо даже мне становится
MK
эти два экстеншона существуют специально чтоб бальдровский диплом был в два раза больше
newtype Semigroup All where????
MK
чё это?
R
newtype Semigroup All where????
очепятка, я полагаю
R
const id короче flip const