Uyumsuz değerleri ayırmak için türleri nasıl kullanırım

Question

Jeodezik hesaplamalar için bir kitaplık yazıyorum. Dahil etmek istediğim bir şey, ızgara projeksiyonları için bir türdür (örn. Ordnance Survey National Grid) ve bu ızgaralar üzerindeki noktaları ("eastings" ve "northings" ile belirtilir). Bir ızgara, Dünya'ya ve bir takım geometrik parametrelere bağlayan bir başlangıç ​​noktasıyla belirtilir. Uygulama programcısı bu parametreleri kullanarak birçok rasgele ızgara oluşturabilir. Altta yatan farklı projeksiyonlara dayanan bir dizi ızgara da olacak.

Açıkçası, grid noktaları (örn. Mesafe, yatak vb.), üzerinde hesaplamalar yapmak istiyorum ama aynı zamanda bir uygulama programcısının iki arasındaki mesafeyi sormasını engellemek için Haskell tipi sistemi kullanmak istiyorum. Farklı ızgaralarda noktalar. ST monadının hatları boyunca bir tip parametresi kullanan bir Reader Monad'in çalışıp çalışmayacağını merak ettim, fakat uygulama programcısının bu pozisyon değerlerini monad dışında saklamasını istiyorum, ST'nin ise STDS'nin sızmasını önlemekle ilgili olduğunu düşünüyorum. runST.

Altta yatan elipsoidler üzerinde jeodezik konumlarla (enlem & boylam) benzer bir sorunum var. Ancak grid versiyonunun açıklanması muhtemelen daha kolaydır, çünkü bu sorunun odağı jeodetikler yerine tip sistemidir.

GADT'leri ve varoluşsal türlerini okudum, ancak bunu nasıl yapacağımı göremiyorum.

Answer 1

Sen geldikleri grid koordinatları işaretlemek için izin vermek için iki GHC uzantıları kullanabilirsiniz: (., 7.4+ uzantıları ghc çalışmak alt hiçbir şeyden emin)

{-# LANGUAGE DataKinds, KindSignatures #-} 

data CoordinateType = Geodetic | OSNG -- etc. 

data Coordinate (grid :: CoordinateType) = Coord Int Int 

zeroZero :: Coordinate Geodetic 
zeroZero = Coord 0 0 

distance :: Coordinate grid -> Coordinate grid -> Float 
distance p q = undefined 

Şimdi distance zeroZero (Coord 1 2 :: Coordinate OSNG) bir tür hata veriyor: Sonra onu gerektiren fonksiyonlar grid fantom parametresinin eşitliği zorunlu kılabilir.