Не стоит смешивать абстрактную математику и манипуляцию с числами. Многие люди, прекрасно обращающиеся с абстрактными концепциями гомотопичекой теории типов, не очень-то хорошо складывают в уме числа. А приравнивать — это примерно как "ты ж программист, переустанови мне винду".
Не стоит смешивать абстрактную математику и манипуляцию с числами. Многие люди, прекрасно обращающиеся с абстрактными концепциями гомотопичекой теории типов, не очень-то хорошо складывают в уме числа. А приравнивать — это примерно как "ты ж программист, переустанови мне винду".