In functional programming languages like ATS, Agda, Idris and Epigram, dependent types prevent bugs by allowing very expressive types.
Зависимые типы играют ключевую роль в и построении функциональных языков программирования таких как ATS, Agda и Epigram.