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