Estoy leyendo el lenguaje de programación Rust y encontré el siguiente pasaje:
Recuerde que escribir en una estructura no es una operación atómica, y muchas funciones como
vec.push()
pueden reasignarse internamente y causar un comportamiento inseguro, por lo que incluso la monotonicidad puede no ser suficiente para justificarUnsafeCell
Simplemente apareció de la nada en el libro y he tenido dificultades en línea tratando de encontrar lo que significa exactamente en este contexto. Demasiada información es sobre el concepto de "monotonicidad" de las funciones matemáticas, que ya conocía, pero aparentemente no es muy útil.
Solo me pareció encontrar este artículo que habla de ello.
Ahora, además de respetar la igualdad de manera obvia, también incluyo la estipulación de que un programa funcional debe respetar la monotonía de las observaciones. ¿Qué quiero decir con esto? Debe ser que una vez que haya observado algo en un momento determinado, eso no dejará de ser evidente en el futuro. Esto es análogo a la propiedad de monotonicidad en la semántica de Kripke o Beth.
Sin embargo, esto también es bastante abstracto y tampoco estoy seguro de que hable de lo mismo.