Выкладываю текст доклад, прочитанного мной в декабре 2021 года на Открытой конференции ИСП РАН им. В.П. Иванникова. Типовая система является основой любого языка программирования. Полнота, простота, лаконичность и ортогональность типовой системы...