Capítulo 1. Tipos
Este trabajo se ha traducido utilizando IA. Agradecemos tus opiniones y comentarios: translation-feedback@oreilly.com
El primer capítulo de este libro abarca consejos que giran en torno al sistema de tipos de Rust. Este sistema de tipos es más expresivo que el de otros lenguajes corrientes; tiene más en común con lenguajes "académicos" como OCaml o Haskell.
Una parte fundamental de es el tipo enum de Rust, que es considerablemente más expresivo que los tipos de enumeración de otros lenguajes y que permite tipos de datos algebraicos.
Los artículos de este capítulo cubren los tipos fundamentales que proporciona el lenguaje y cómo combinarlos en estructuras de datos que expresen con precisión la semántica de tu programa. Este concepto de codificar el comportamiento en el sistema de tipos ayuda a reducir la cantidad de código de comprobación y de ruta de errores que se necesita, porque los estados no válidos son rechazados por la cadena de herramientas en tiempo de compilación y no por el programa en tiempo de ejecución.
En este capítulo también se describen algunas de las estructuras de datos omnipresentes que proporciona la biblioteca estándar de Rust:Options, Results, Errors y Iterators. Familiarizarte con estas herramientas estándar te ayudará a escribir Rust idiomático que sea eficiente y compacto; en particular, permiten utilizar el operador de signo de interrogación de Rust, que admite un manejo de errores discreto pero seguro.
Ten en cuenta que los elementos ...