Sé que los objetos inmutables siempre tienen el mismo estado, el estado en el que realmente se crean. Sus invariantes son establecidos por el constructor y, dado que su estado no cambia después de la construcción, esos invariantes siempre se mantienen bien y es por eso que es seguro publicar en un entorno de múltiples subprocesos. Todo esto está bien, pero como vivimos en un mundo dinámico, donde el estado del programa cambia continuamente, ¿qué beneficios nos brindan tales objetos si construimos el estado de nuestro programa a través de objetos inmutables?