Eiffel soporta herencia múltiple, generalidad, polimorfismo, encapsulación, conversiones de tipo seguro, y covarianza de los parámetros.
The use of a variant record type is not type-safe and is not a recommended programming practice, particularly for beginners.
El uso de un tipo récord variante no es a prueba de tipos, y no representa una práctica de programación recomendable, especialmente para principiantes.
Also note that the selection of type-safe languages tends to reduce the likelihood of input validation issues.
Ten en cuenta también que esa selección de lenguajes con seguridad de tipos tiende a reducir las probabilidades de que se presenten problemas de validación de entrada.
Algebraic data types provide a type-safe way to solve this sort of problem, if the set of shapes is known in advance.
Los tipos de datos algebraicos proporcionan una forma segura a nivel de tipos de resolver este tipo de problemas si el conjunto de formas se conoce por anticipado.
Conținut posibil inadecvat
Exemplele au rolul de a te ajuta să traduci cuvinte sau expresii corect si adaptat la context. Nu sunt selectate sau validate manual, așadar pot conține termeni inadecvați. Te rugăm să raportezi exemplele pe care le consideri inadecvate. Traducerile vulgare sau colocviale sunt în general marcate cu roșu sau cu portocaliu.