Boost.FusionのHaskellに相当する

Question

HaskellでGADTなどを使って完全型指定のDSELを作成して完全型セーフなASTを作成してきましたが、正しく型指定されたコンパイラを実行するには、Haskell型タイプと値の両方（型付きの環境）と、Haskell型システムで理解できるようなものです。 C++には、これらのような構造体（型 - >値マップ、型付き値のベクトルなど）を持つBoost.Fusionライブラリがあります。 Data.Tupleはシーケンスを処理しますが、Boost.Fusion mapのようなもののHaskell版がありますか？

Answer 1

dependent-mapパッケージをご覧ください。私はそれを自分で使っていませんが、あなたが求めていることをするようです。あなたが実際に型（および型のみ）の等価を使用する必要がある場合は、デフォルト値に同意するか、代わりにTypeRepをキーとして使用する必要があります。

Answer 2

Data.Mapを探していますか？ （例えば、[Int]）。

Answer 3

まず、すべての余りに明白な答えは、あなたが簡単にTypeable（基本ライブラリの一部）を使用して、「タイプ - >値マップ」を書くことができるということです。

import Data.Typeable 
import Data.Map 

type TypeMap a = Map TypeRep a 

insertT :: Typeable k => k -> a -> Map k a -> Map k a 
insertT v = insert (typeOf k) 

lookupT :: Typeable k => k -> a -> Map k a -> Map k a 
lookupT v = lookup (typeOf k) 

今、あなたはinsertT (undefined :: Int) 5ようなコードを使用することができますタイプによって要素を挿入する。

しかし、フュージョンを見ると、これは実際にあなたが後になっているようには見えません。それはあなたが任意のデータ構造で動作するコードを構築することができますか？これは、Haskellの「スクラップ・ボイラープレート」ジェネリック・プログラミングとして知られているものです。詳細については、papersまたはhackageを参照してください。ただし、任意のデータ構造を処理し、指定された型の値を取り出すコードを記述することができます。

私がFusionで見た他のいくつかの事柄は、おそらくHListやおそらくfclabelsのようなライブラリを使ってエミュレートできます。しかし、実際にはあなたが実際に必要なものを見ずに多くを言うことは難しいです。

Answer 4

前述したように、dependent-mapは、物事のマップ側のための正しい選択のように思えるが、私は手動でタプルをジャグリングするための代替としてhlistのHArrayインターフェースを見てお勧めします。