Can Haskell Veri Beyannameleri Tip Değerlere Göre Sınırlandırılıyor

Question

Haskell'de, bir veri tipini bileşenlerinin değeriyle sınırlamanın bir yolu var mı? Bir örnek hazırladım. Dama oyununun olduğunu söyle. Bir denetleyici, Siyah veya Beyaz türündendir.

data CheckerType = BlackChecker | WhiteChecker deriving (Eq) 

data Checker = Checker CheckerType Int 

Bir dama oyunu için oyun tahtası Siyah dama ve Beyaz dama bir dizi içerir.

Önceki açıklamada

data GameBoard = GameBoard ([Checker]) ([Checker]) 

, CheckerType olması kriteri: [Denetleyicisi] içinde dama uygulamak için herhangi bir yolu, rakip tipte siyah ve ikinci var mı? Bunlardan hiçbiri herhangi bir değer olduğunu

data Black 
data White 

Not:

Answer 1

benzer bir şey yapmanın en kolay yolu, bir "hayalet türü" denen bir Checker tip parameterize etmektir. Sadece Checker'un hangi renk olduğunu belirtmek için varlar.

arada

data Checker a = Checker Int 

data GameBoard = GameBoard [Checker Black] [Checker White] 

, sen GameBoard bildiriminde bu parantez gerekmez.

Bu yaklaşımın olumsuz tarafı, iki rengin artık farklı türlerde olmasıdır, yani, birden fazla rengin damalarını, sadece tek bir rengi içeren bir işlev yazamazsınız.

data Black = Black 
data White = White 

data Checker a = Checker a Int 

type AnyChecker = Checker (Either Black White) 

Ama bu hızla sorunsuz bir çok kullanmak olabilir:

İzin verilen renkleri izlemek amacıyla biraz daha somut fantom türlerini yapabiliriz.

Gerçekten istediğinizden şüphelendiğim, tüm bağlamlarda tamamen farklı bir tür yapmadan bir bağlamda izin verilen değerler aralığını kısıtlamanın bir yoludur. Ne yazık ki, bu Haskell'deki herhangi bir basit şekilde mümkün değildir.

Bu makul bir fikir ve bazı diller benzer özelliklere sahip. Böyle genel bir yolla bu gibi destekleyici ayrımlar, Haskell'in mevcut tipte sisteme, zarar görmeden zarar vermeksizin, bu tür bir özelliği kullanmayan kodlarda bile, daha az sağlam, tür çıkarımı yapmak gibi basit bir yöntem değildir.