H
Число
что такое число?
Size: a a a
2020 July 31
AZ
что такое число?
2 это (S S Z)
H
тогда я бы назвал это tdd
H
т.к. эффекты в идрисе через систему типов определены, то я их тоже в тдд включаю
p
тогда я бы назвал это tdd
Почему
AZ
тдд это test driven design, я правильно понял?
p
тдд это test driven design, я правильно понял?
Type*
H
тайп
AZ
Type*
тогда пишите TyDD как автор
AZ
а то путаете всех
p
тогда пишите TyDD как автор
+
H
Почему
потому что я так хачю
p
потому что я так хачю
Ок
AZ
потому что я так хачю
число два это не дизайн
H
почему?
AZ
по-определению
H
по какому?
AZ
одно это число, а другое - сложносостваная человеческая деятельность
AZ
по какому?
ладно, у меня нет времени заниматься ерундой
AZ
пойду работать дальше