タイプを使用して互換性のない値を分離する方法

Question

私は測地計算のためのライブラリを作成しています。私が含めることの1つは、グリッド投影（例えば、陸上測量ナショナルグリッド）のタイプとそれらのグリッド上のポイント（ "eastings"と "northings"で指定）です。グリッドは、地球とそれを幾何学的パラメータの束に結びつける原点によって指定されます。アプリケーションプログラマは、これらのパラメータを使用して多くの任意のグリッドを作成できます。また、さまざまな基礎的な予測に基づいて、さまざまな種類のグリッドが作成されます。

明らかにグリッドポイント（距離、ベアリングなど）の計算ができるようにしたいのですが、同時にアプリケーションプログラマが2つの間の距離を求めるのを防ぐためにHaskellタイプのシステムを使用したい異なるグリッド上の点。私は、STモナドの行に沿った型パラメータを使用するReader Monadが動作するのか疑問に思っていましたが、アプリケーションプログラマがモナドの外にこれらの位置の値を格納できるようにしたいのですが、STはすべてSTRefのrunST。

私はまた、下にある楕円体の測地位置（緯度&経度）にも同様の問題があります。しかし、グリッド・バージョンは、この問題の焦点が測地学ではなくタイプ・システムであるため、おそらく説明が簡単です。

私はGADTと実存型を読みましたが、これを行う方法はわかりません。

Answer 1

あなたはどこから来たグリッドでの座標をマークすることを可能にするために、2つのGHC拡張を使用することができます。

{-# LANGUAGE DataKinds, KindSignatures #-} 

data CoordinateType = Geodetic | OSNG -- etc. 

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

zeroZero :: Coordinate Geodetic 
zeroZero = Coord 0 0 

（拡張子が低く何もわから、GHC 7.4+ではない働いています。）

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

今すぐdistance zeroZero (Coord 1 2 :: Coordinate OSNG)は型エラーを与える：次に、それを必要とするすべての機能がgridファントムパラメータの平等を強制することができます。