И он сказал, что Раст в нашел проекте это не то, как все думают Раст должен быть, а у нас он довольно рыхлый код, опять же в лоб и с минимум абстракций.
In programming languages, a type system is a set of rules that assigns a property called type to the various constructs of a computer program, such as variables, expressions, functions or modules.