¿Cómo llamar el equivalente de OOP de "transparencia referencial"?

Question

Según tengo entendido, el término "referential transparency" realmente solo se puede aplicar al código funcional. Sin embargo, una llamada de método en un objeto en código orientado a objetos puede tener una propiedad similar, que es que el valor de retorno del método y el estado del objeto después de una llamada a un método depende únicamente del estado del objeto antes de la llamada y los argumentos del método

es decir, la transparencia referencial funcional:

i = foo(n, m); 
// return value depends only on n, m 

OO "transparencia referencial":

i = obj.foo(n, m); 
// return value, and subsequent state of obj, depends 
// only on initial state of obj, n, m 

¿Hay un nombre para esta propiedad?

Si el estado de obj no cambia durante la llamada a foo(), entonces el "orientado a objetos" El estilo es equivalente a la forma funcional si se admite function overloading ya que podría ser reescrita como:

i = foo(obj, n, m); 
// return value depends only on obj, n, m 

Sin embargo , es bastante común para el estado de obj a cambiar de una llamada a un método, así que no estoy seguro si esto ayuda a que el análisis ...

Answer 1

Su error es pensar que FP y OO son de alguna manera fundamentalmente diferentes. La "versión OO" de la transparencia referencial es solo transparencia referencial.

Una expresión e es referencialmente transparente si y solo si e se puede reemplazar con su resultado evaluado sin afectar el comportamiento del programa.

Así que si tiene una expresión o.foo(a), entonces es referencialmente transparente si puede modificar su código para reemplazarlo con el resultado de la llamada, sin cambiar el comportamiento de su programa. Obviamente, si o.foo es nulo, no puedes hacer eso. Lo mismo si modifica el estado interno de o. Entonces, la única forma de que o.foo(a) sea referencialmente transparente es si el resultado es una función deo y a.

En mi opinión, "código funcional", es sinónimo de "código de referencia referencial".

Answer 2

el estado del objeto después de una llamada al método depende sólo del estado del ob antes de la llamada, y los argumentos del método.

supongo que se podría decir que el método no tiene dependencias externas.

Sin embargo, a diferencia de la transparencia referencial, no estoy seguro de lo que esto te beneficia. Supongo que significa que el método es fácilmente comprobable.

Answer 3

El término funcional sería transparencia referencial como usted dice. Humildemente, propondría que la forma que ha descrito aquí con los resultados en función de los argumentos del método más el estado del objeto se denomine opacidad referencial.

Answer 4

No creo que la propiedad que describió en el escenario OO le brinde algo similar a lo que transparencia referencial tiene en programación funcional. Usted describió una propiedad donde el método foo modifica sólo el estado del objeto obj en la siguiente llamada:

i = obj.foo(n, m); 

Sin embargo, si usted tiene otro objeto que hace referencia a obj entonces la llamada a foo también modifica el comportamiento de la otra objeto. Como las referencias entre objetos son esenciales en OO (lo que significa que es un problema que no puede evitar fácilmente), esto significa que la propiedad que describió no le dice mucho sobre el código. Por ejemplo:

a = new Other(obj); 
i = obj.foo(n, m); // changes state of 'obj' and 'a' 

Si el método foo era referencialmente transparente (no modificar cualquier estado - acaba de regresar algunos resultados), entonces eso sería una propiedad interesante - porque no sería modificar el estado de a.