почитать
(вопрос не риторический, я просто лох таксказатб)
http://newstar.rinet.ru/~goga/tapl/tapl003.html#toc1 Система типов — это гибко управляемый синтаксический метод доказательства отсутствия в программе определенных видов поведения при помощи классификации выражений языка по разновидностям вычисляемых ими значений.
то, что справа от : или ::
Обсуждают сегодня