Вывод типа может помочь с будущими ошибками выполнения, верно? Может ли это помочь с написанием кода? Можете ли вы найти «наименее распространенный» или «наиболее распространенный» тип двух функций для использования логического вывода, чтобы улучшить взаимодействие между ними? Существуют ли графики типов для программы помимо графиков топологии программы?