A partir de la versión 1.98, disponible el 20 de agosto de 2026, Rust incorpora un conjunto de operadores aritméticos «algebraicos» para números en coma flotante que indican al compilador que puede reordenar y reagrupar las operaciones aplicando las propiedades habituales del álgebra real. Hasta ahora, el compilador trataba el código en coma flotante de forma conservadora para garantizar la misma semántica que el programa fuente, ya que la suma de floats no es conmutativa: por ejemplo, 1e16 + 1.0 da como resultado 1e16, lo que provoca que distintas ordenaciones de la misma operación arrojen resultados diferentes.
El artículo explica por qué esa prudencia es el comportamiento correcto por defecto —reordenar sumas de coma flotante altera el resultado—, pero también cuándo resulta innecesaria. Con los nuevos operadores, el programador puede marcar tramos concretos del código en los que el reordenamiento es aceptable, manteniendo el control sobre el redondeo. El autor lo ilustra con la suma por pares (pairwise summation), el mismo algoritmo que emplea NumPy: dividir el array en dos mitades, sumar cada una recursivamente y combinar los dos resultados parciales. En las pruebas realizadas sobre un Intel i7-12700K con un millón de valores f64, la suma ingenua tarda unos 595 microsegundos, mientras que la versión con operadores algebraicos baja a tiempos cercanos a los 156 microsegundos de la suma entera equivalente, gracias al uso de instrucciones SIMD de 256 bits.
El texto también describe cómo compilar con RUSTFLAGS="-C target-cpu=x86-64-v3" para aprovechar CPUs modernas y prevé ofrecer una implementación alternativa para hardware antiguo.
