Pointer equality in Haskell?

Question

¿Hay alguna noción de calidad de puntero en Haskell? == requiere que las cosas deriven Eq, y tengo algo que contiene a (Valor -> Valor IO), y ni -> ni IO derivan Eq.

EDITAR: Estoy creando un intérprete para otro idioma que tiene tiene igualdad de puntero, así que estoy tratando de modelar este comportamiento al tiempo que puedo usar las funciones de Haskell para modelar cierres.

EDIT: Ejemplo: Quiero una función special que hacer esto:

> let x a = a * 2 
> let y = x 
> special x y 
True 
> let z a = a * 2 
> special x z 
False 

Answer 1

EDIT: Dado su ejemplo, podría modelar esto con la mónada IO. Simplemente asigne sus funciones a IORefs y compárelas.

Prelude Data.IORef> z <- newIORef (\x -> x) 
Prelude Data.IORef> y <- newIORef (\x -> x) 
Prelude Data.IORef> z == z 
True 
Prelude Data.IORef> z == y 
False 

Answer 2

IORefs derivan Ec. No entiendo qué más necesitas para obtener la igualdad del puntero.

Editar: Las únicas cosas que tiene sentido para comparar la igualdad del puntero son estructuras mutables. Pero como mencioné anteriormente, estructuras mutables, como IORefs, ya instancia Eq, que le permite ver si dos IORefs son de la misma estructura, que es exactamente la igualdad del puntero.

Answer 3

La igualdad del puntero rompería referential transparency, entonces NO.

Tal vez sorprendentemente, en realidad es possible para calcular extensional equality de funciones totales en compact spaces, pero en general (por ejemplo las funciones de los números enteros con la posible falta de terminación) esto es imposible.

---

EDIT: Estoy creando un intérprete para otro idioma

¿Puedes mantener el AST programa original o la ubicación de la fuente junto con las funciones Haskell que los haya traducido en? Parece que quieres "igualdad" basada en eso.

Answer 4

== requiere cosas que se deriva la ecuación

realidad (==) requiere una ejemplo de la ecuación, no necesariamente un deriva ejemplo. Lo que probablemente necesite hacer es proporcionar su propia instancia de Eq que simplemente ignora la parte (Value -> IO Value). Por ejemplo,

data D = D Int Bool (Value -> IO Value) 

instance Eq D where 
    D x y _ == D x' y' _ = x==x && y==y' 

¿Eso ayuda, tal vez?

Answer 5

Estoy creando un intérprete para otra lengua que tiene la igualdad puntero, así que estoy tratando de modelo de este comportamiento sin dejar de ser capaz de utilizar funciones Haskell para modelar cierres.

Estoy bastante seguro de que para escribir un intérprete así, su código debe ser monádico. ¿No tienes que mantener algún tipo de entorno o estado? Si es así, también podría mantener un contador para cierres de funciones. Por lo tanto, cada vez que creas un nuevo cierre lo equipas con una identificación única. Luego, para la equivalencia del puntero, simplemente compare estos identificadores.

Answer 6

Otra forma de hacerlo es explotar StableNames.

Sin embargo, special tendría que devolver sus resultados dentro de la mónada de IO a menos que desee abusar de UnsafePerformIO.

La solución IORef requiere IO durante la construcción de su estructura. La comprobación de StableNames solo lo usa cuando desea verificar la igualdad referencial.