c
portnov
вобще туплю же. (A \ B) = A & not(B)
вобще туплю же. (A \ B) = A & not(B)
portnov
соответственно не Either
Size: a a a
2020 July 05
c
portnov
type Minus a b = (a, b -> Void)
type Minus a b = (a, b -> Void)
c
portnov
так?
так?
c
Minoru
это не совсем то
это не совсем то
c
Minoru
по типу `Maybe a` можно сразу сказать, что тут a+1 состояний. По `Either a b` можно заключить, что будет a+b состояний
по типу `Maybe a` можно сразу сказать, что тут a+1 состояний. По `Either a b` можно заключить, что будет a+b состояний
c
Minoru
а, нет, я туплю
а, нет, я туплю
c
Minoru
я хотел сказать, что по количеству аргументов типа можно угадать количество его состояний, но это ложь. Чтобы отличить количество состояний `Either a b` от `(,) a b`, нужно знать, что первое — сумма, а второе — произведение
я хотел сказать, что по количеству аргументов типа можно угадать количество его состояний, но это ложь. Чтобы отличить количество состояний `Either a b` от `(,) a b`, нужно знать, что первое — сумма, а второе — произведение
t
что вы тут несёте?)
c
Minoru
я думаю, Пинк Сноу хотел тип `OneLesser a` такой, у которого состояний на одно меньше чем у a
я думаю, Пинк Сноу хотел тип `OneLesser a` такой, у которого состояний на одно меньше чем у a
c
Minoru
@pink_snow: что-то в этом году разминка очень активная
@pink_snow: что-то в этом году разминка очень активная
c
Minoru
обычно парочку намёков кидают, и всё. А тут прямо и сайт сделали, и пулл-реквесты принимают, видео пишут, Дискорд завели…
обычно парочку намёков кидают, и всё. А тут прямо и сайт сделали, и пулл-реквесты принимают, видео пишут, Дискорд завели…
g
Minoru, тем смешнее, когда все это не пригодится.
c
Minoru
@gsomix: ну да, ну да, не то что ICFPC! ;)
@gsomix: ну да, ну да, не то что ICFPC! ;)
c
gsomix
@gsomix, перестань меня хайлайтить!
@gsomix, перестань меня хайлайтить!
g
t
ггг
t
поэтому у меня там мантикор, а тут ттлдтор