Cuatro Limitaciones Sorprendentes del Verificador de Préstamos de Rust

Este artículo profundiza en cuatro limitaciones sorprendentes del verificador de préstamos de Rust, encontradas incluso por programadores Rust experimentados. La primera limitación implica la incapacidad del verificador de préstamos para tener en cuenta completamente las instrucciones match y return, lo que lleva a comprobaciones redundantes al trabajar con HashMaps. La segunda limitación se refiere a la programación asincrónica, donde Rust actualmente carece de la capacidad de expresar ciertas firmas de tipo de devolución de llamada asincrónica. La tercera se centra en los cierres FnMut que no permiten el reaprovechamiento de variables capturadas, lo que restringe el acceso a estados mutables en operaciones asincrónicas. Finalmente, la falta de conocimiento del flujo de control del verificador Send resulta en que algunos Futures que deberían ser Send se marquen incorrectamente como no Send. El autor ilustra estas limitaciones y sus desafíos con ejemplos de código concretos y soluciones alternativas, abogando por mejoras en el sistema de tipos de Rust para mejorar la productividad del desarrollador.