Равенство указателей в Хаскеле?
Есть ли какое-либо представление о качестве указателя в Haskell? == требует, чтобы вещи были производными Eq, и у меня есть кое-что, что содержит (Значение -> IO Value), и ни один -> ни IO выводят уравнение
РЕДАКТИРОВАТЬ: Ям создание переводчика для другого языка, которыйделает равенство указателей, поэтому яЯ пытаюсь смоделировать это поведение, все еще имея возможность использовать функции Haskell для моделирования замыканий.
РЕДАКТИРОВАТЬ: Пример: я хочу функциюspecial
что бы сделать это:
> let x a = a * 2
> let y = x
> special x y
True
> let z a = a * 2
> special x z
False