H
давай к следующей версии teloxide-macros и teloxide-requests сделаем отдельными крейтами
можно поиздеваться метапрограммированием
Size: a a a
2020 August 01
H
и обобщениями
p
давай к следующей версии teloxide-macros и teloxide-requests сделаем отдельными крейтами
1 и так отдельный крейт
AZ
Сакральное знание передающееся из уст в уста
может у тебя к for i претензии есть?
H
1 и так отдельный крейт
но понимаешь там сеттеры не генерируюца, а хочеца чтоб генерировалось само
H
а вот с запросами поинтереснее
p
может у тебя к for i претензии есть?
Нет, там инициализация есть. i = 0.
AZ
instance Applicative PrsEP where
pure a = PrsEP $ \i s -> (i, Right (a, s))
(PrsEP pf) <*> (PrsEP px) = PrsEP fun where
fun i s = fixFoo $ do
let (i', f) = pf i s
(f, s') <- first (\s -> (i', s)) f
let (i'', x) = px i' s'
(x, s'') <- first (\s -> (i'', s)) x
Right (i'', f x, s'')
where
fixFoo (Left (i, s)) = (i, Left s)
fixFoo (Right (i, a, s)) = (i, Right (a, s))
pure a = PrsEP $ \i s -> (i, Right (a, s))
(PrsEP pf) <*> (PrsEP px) = PrsEP fun where
fun i s = fixFoo $ do
let (i', f) = pf i s
(f, s') <- first (\s -> (i', s)) f
let (i'', x) = px i' s'
(x, s'') <- first (\s -> (i'', s)) x
Right (i'', f x, s'')
where
fixFoo (Left (i, s)) = (i, Left s)
fixFoo (Right (i, a, s)) = (i, Right (a, s))
@DogeShibu как считаешь, полунин прав это нечитаемо?
p
instance Applicative PrsEP where
pure a = PrsEP $ \i s -> (i, Right (a, s))
(PrsEP pf) <*> (PrsEP px) = PrsEP fun where
fun i s = fixFoo $ do
let (i', f) = pf i s
(f, s') <- first (\s -> (i', s)) f
let (i'', x) = px i' s'
(x, s'') <- first (\s -> (i'', s)) x
Right (i'', f x, s'')
where
fixFoo (Left (i, s)) = (i, Left s)
fixFoo (Right (i, a, s)) = (i, Right (a, s))
pure a = PrsEP $ \i s -> (i, Right (a, s))
(PrsEP pf) <*> (PrsEP px) = PrsEP fun where
fun i s = fixFoo $ do
let (i', f) = pf i s
(f, s') <- first (\s -> (i', s)) f
let (i'', x) = px i' s'
(x, s'') <- first (\s -> (i'', s)) x
Right (i'', f x, s'')
where
fixFoo (Left (i, s)) = (i, Left s)
fixFoo (Right (i, a, s)) = (i, Right (a, s))
>статическая типизация
>ни одного типа
>ни одного типа
p
@DogeShibu как считаешь, полунин прав это нечитаемо?
То субьективно
p
а вот с запросами поинтереснее
Там можно билдеры генерировать на атрибутах
p
Я смазку купил, можно проц макросами заниматься
p
Вы если хотите спать скажите я перестану писать, я не буду до утра спать
AZ
>статическая типизация
>ни одного типа
>ни одного типа
"статическая типизация не требует церемоний.жпг"
AZ
Нет, там инициализация есть. i = 0.
если у тебя i это внезапно не целочисленная переменная-индекс можешь смело нассать в лицо автору
H
Там можно билдеры генерировать на атрибутах
сеттеры*
да
да
AZ
а я этим пользуюсь
AZ
всем спокойной ночи
AZ
мне в 8 вставать