c
Minoru
тут гораздо лучше применить тип-произведение, например, Either
тут гораздо лучше применить тип-произведение, например, Either
Size: a a a
2020 July 05
💮
Eiter — это сумма же.
t
Minoru
но время компиляции было 55 секунд, стало 57
но время компиляции было 55 секунд, стало 57
такой огромный проект?
c
Minoru
@pink_snow: а, погоди, да, сумма. Как и Maybe
@pink_snow: а, погоди, да, сумма. Как и Maybe
c
Minoru
@ttldtor: необъятный, как океан! Меньше 25% Newsboat ._.
@ttldtor: необъятный, как океан! Меньше 25% Newsboat ._.
💮
Maybe — это тип-инкрементация!
t
а остальная часть как долго собирается?
💮
Увеличивает количество состояний на 1.
c
Minoru
@ttldtor: ой
@ttldtor: ой
c
Minoru
да что за ерунду я сегодня несу ._.
да что за ерунду я сегодня несу ._.
t
так
c
Minoru
@ttldtor: 57 секунд — это весь Newsboat, вместе с Podboat и тестами
@ttldtor: 57 секунд — это весь Newsboat, вместе с Podboat и тестами
t
срыв покровов
c
Minoru
@ttldtor: отдельно плюсы и Раст я не измерял
@ttldtor: отдельно плюсы и Раст я не измерял
💮
А тип-разность бывает?
t
Minoru
@ttldtor: отдельно плюсы и Раст я не измерял
@ttldtor: отдельно плюсы и Раст я не измерял
такое себе измерение)
c
portnov
data AMinusB = Either A (B -> Void)
data AMinusB = Either A (B -> Void)
💮
portnov, но тут количество состояний не меньше чем в A же.
c
Minoru
нет, ну смотри. В Either A B есть A+B состояний
нет, ну смотри. В Either A B есть A+B состояний
c
Minoru
а в AMinusB A B будет A+1 состояние
а в AMinusB A B будет A+1 состояние