Haskell alan adlarını farklı ad boşluklarına nasıl yerleştirirsiniz?

Question

aşağıdaki iki tür düşünün:

data Point=Point{x::Float,y::Float} 
data Rectangle = {upperLeft::Point, bottomRight::Point} 
data Square = {upperLeft::Point, bottomRight::Point} 

ghc derleyici şikayet olduğunu Meydanı bununla Dikdörtgen çatışmalarda upperLeft alan adı. Bu, her alan adının türün ad alanında olması gerektiği gibi görünüyor, aksi halde alan adlarını yeniden kullanamazsınız ve bunun yeterince ortak bir beklenti olacağından şüpheleniyorum. Biz her alan adı kendi türü ad alanı içinde olması gerektiğini beklemek yapabilmelidir görebilirsiniz Bundan

let a=Rectangle{upperLeft=Point 2 3, bottomRight=Point 7 7} 
let a=Square{upperLeft=Point 2 3, bottomRight=Point 7 7} 

: Biz yazma bir değişken tanımlamak için Örneğin

.

Kullanımım doğru mu, yoksa beklentilerim yanlış mı? Bunu düzeltmek için bir yer var mı?

Answer 1

Haskell'de, bir kayıt türü oluşturma ayrıca erişimci işlevleri de oluşturur. Örneğin, almak için yukarıda tanımladığınız değişkenlerin herhangi birinde x (upperLeft a) çalıştırabilirsiniz. summary of record syntax.

Seçenekler, kayıttaki farklı alan adlarını kullanmak veya bunları ayrı modüllere koymak için kullanılır. Modüllerin her birinin kendi ad alanı olduğundan, Kare modülüne Kare ve Dikdörtgen Modülü içine Kare koyarsanız, alan adlarını yeniden kullanabilirsiniz.

Answer 2

Kare tipi kurucuyu Dikdörtgen türüne koymanız mümkün olabilir, çünkü bu türden bir uzmanlık alanı gerçekten çok fazla.

data Point 
    = Point{x::Float,y::Float} 
    deriving (Eq, Show) 

data Rectangle 
    = Rectangle {upperLeft::Point, bottomRight::Point} 
    | Square {upperLeft::Point, bottomRight::Point} 
    deriving (Eq, Show) 

let r = Rectangle (Point 3.0 4.0) (Point 4.0 2.0) 
let s = Square (Point 2.0 4.0) (Point 4.0 2.0) 

Sonra ikisi çağırabilirsiniz: Eğer Meydanı değiştirmek isteyebilirsiniz rağmen

upperLeft s 
upperLeft r 

bazı kısıtlamaları vardır çünkü GHCi dışarı şeyler yazarak itibaren

, bu çok iyi çalışıyor görünüyor Karşılıklı olması gerekenler:

data Rectangle 
    = Rectangle {upperLeft::Point, bottomRight::Point} 
    | Square {upperLeft::Point, size::Float} 
    deriving (Eq, Show) 

Answer 3

Nesneleri alan adlarıyla erişebildiğinden mpiler, bir nesnenin türünü alan adından çıkarabilmelidir. Örneğin,

boundingBox x = bottomRight x - upperLeft x 

erişimciler bottomRight ve upperLeft içinde x türünü ortaya çıkarabileceği için kullanılır. Eğer birden çok türün aynı erişimci ismine sahip olmasına izin verilmişse, bu türden bir sonuç elde etmek mümkün olmazdı.

İsim çarpışmalarından kaçınmak için, genel bir kural tüm alan adlarına bir önek koymaktır. Bu sözleşme GHC projesinde kullanılmaktadır.

data Rectangle = {rc_upperLeft :: Point, rc_bottomRight :: Point} 
data Square = {sq_upperLeft :: Point, sq_bottomRight :: Point}