Haskellで言語を実装する：同質のリスト

Question

私はhaskellの関数型言語のインタプリタを作成しようとしています（私はその言語を使い慣れていません）。抽象的なデータ型ではないが、私はおそらく微妙なものと便利なものを混ぜ合わせたものを作り出しているが、同種のリストを作る能力を提供したい。

私の基本的な変数はdata Datum = DatInt Int | DatDbl Double | DatBool Boolであり、私は均質なリストをどのように表現するのか全く分かりません。コンストラクタList Datumなどを追加すると、異種のリストが作成され、タイプごとに別のリストを作成すると、ListInt [Int] | ListDbl [Double]はリストのリストを除外します。

同種のリストを表現する最良の方法は何でしょうか？

Answer 1

セクシーなタイプであろうとそうでなくても、有用な概念の1つはタイプタグです。非セクシーなバージョンは、扱いがずっと簡単です。

data Tag = IntTag 
     | DoubleTag 
     | BoolTag 
     | ListTag Tag 
    deriving (Eq, Show) 

あなたのタイプは、これらのさまざまなタグで表されます。 Intは、IntTagで表されます。 IntのリストはListTag IntTagで表されます。

data Expr = IntLit Int 
      | DoubleLit Double 
      | BoolLit Bool 
      | ListLit Tag [Expr] 

-- Check that an expression is validly annotated 
typeCheck :: Expr -> Maybe Tag 
typeCheck IntLit{} = Just IntTag 
... 
typeCheck (ListLit tag els) 
    | all good els = Just (ListTag tag) 
    | otherwise = Nothing 
    where 
    good el = case typeCheck el of 
       Nothing -> False 
       Just res = res == tag