Если что, то ООП - имеет столько же математического обоснования, сколько и ФП. Системы типов с сабтайпингом - это достаточно обширная и развитая область в теории типов около языков программирования.
Если что, то ООП - имеет столько же математического обоснования, сколько и ФП. Системы типов с сабтайпингом - это достаточно обширная и развитая область в теории типов около языков программирования.