Haskell'de işaretçi eşitliği?

Question

Haskell'de herhangi bir kalite göstergesi var mı? == Denklemi türetmek için şeyler gerektirir ve ben (Değer -> IO Değeri) içeren bir şey var ve ne - ne de IO türetmek Eq.

DÜZENLEME: 'un işaretçi eşitliğine sahip olduğu başka bir dil için bir yorumlayıcı oluşturuyorum, bu nedenle bu davranışı modellemeye çalışırken, Haskell işlevlerini kapaklarını modellemek için kullanabiliyorum.

DÜZENLEME: Örnek:

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

Answer 1

EDIT: Örneğinizi verdiğinizde, bunu IO monad ile modelleyebilirsiniz. Sadece işlevlerinizi IORef'lere atayın ve bunları karşılaştırın.

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 Denk türetmek: Bunu yapacağını bir işlev special istiyorum. İşaretçinin eşitliğini elde etmek için başka ne ihtiyacın olduğunu anlamıyorum.

Düzeltme: İşaretçi eşitliğini karşılaştırmak için anlamlı olan tek şey, değiştirilebilen yapılardır. Ancak yukarıda belirttiğim gibi, iki IORef'in aynı yapıya sahip olup olmadığını görmenize izin veren IORefs, zaten örnek Eq gibi değişebilir yapılar, tam olarak işaretçi eşitliği.

Answer 3

İşaretçi eşitliği referential transparency'u keser, yani NO.

belki de şaşırtıcı bir şekilde, gerçekte possiblecompact spaces toplam fonksiyonların extensional equality hesaplamak için, ama genel olarak (mümkün olmayan sonlandırmalı tamsayılar örneğin fonksiyonları), bu imkansızdır.

---

DÜZENLEME: Ben az önce onları çevirdikten Haskell fonksiyonları yanında özgün bir program AST veya kaynak konumunu tutabilir başka bir dilde

için bir tercüman oluşturuyorum? Buna göre "eşitlik" istediğin anlaşılıyor.

Answer 4

== ille bir örneği türetilmiş

Aslında (==) Denk bir örneği gerektirir Denk

türetilmesi için şey gerektirir. Muhtemelen yapmanız gereken, (Value -> IO Value) bölümünü göz ardı eden kendi Eq örneğinizi sağlamaktır. Ör.,

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

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

Bu yardımcı olur mu?

Answer 5

Ben işaretçi eşitlik var başka bir dil için bir tercüman oluşturuyorsam, bu yüzden hala kapanışları modellemek için Haskell fonksiyonlarını kullanabilmek için olurken ben modeline bu davranışı çalışıyorum.

Böyle bir yorumcu yazabilmek için kodunuzun monadik olması gerektiğinden eminim. Bir çeşit çevre veya devlet bulundurmak zorunda değil misin? Eğer öyleyse, fonksiyon kapanışları için bir sayaç da tutabilirsiniz. Böylece, yeni bir kapatma oluşturduğunuzda bunu benzersiz bir kimlikle donatırsınız. Daha sonra işaretçi denkliği için bu tanımlayıcıları karşılaştırırsınız.

Answer 6

Bunu yapmanın başka bir yolu, StableNames'i kullanmaktır. Bununla birlikte, güvensizPerformio'yu kötüye kullanmak istemedikçe, sonuçları IO monadının içerisine geri döndürmek zorundadır.

IORef çözümü, yapınızın yapısı boyunca IO gerektirir. StableNames'in kontrol edilmesi yalnızca referans eşitliğini kontrol etmek istediğinizde kullanır.