タイプチェッカーで私を助けてくれますか？タイプファミリーで、多分？

Question

私は今この少しsoccer gameを書いています、そして、最初からバグがあることが1つあります。ゲームはYampa Arcadeのパターンに従うので、「オブジェクト」のサムタイプは、ゲーム中にあります：

data ObjState = Ball Id Pos Velo 
       | Player Id Team Number Pos Velo 
       | Game Id Score 

オブジェクトがメッセージに反応するので、別の合計の種類があります：

data Msg = BallMsg BM 
     | PlayerMsg PM 
     | GameMsg GM 
data BM = Gained | Lost 
data PM = GoTo Position | Shoot 
data GM = GoalScored | BallOutOfBounds 

ヤンパフレームワークが依存しているがいわゆる信号機能について説明する。私たちの場合、ボール、プレーヤ、ゲームの動作のための信号関数があります。大幅に簡略化：

ballObj, playerObj, gameObj :: (Time -> (GameInput, [Msg])) 
           -> (Time -> (ObjState, [(Id, Msg)])) 

ballObjは、ゲームインプット（キーストローク、ゲーム状態など）を生成する関数と、特定の時間にボールのメッセージのリストを取得し、ボールの状態を返す関数を返し、他のオブジェクト（ボール、ゲーム、選手）を選ぶことができます。

ballObj, playerObj, gameObj :: SF (GameInput, [Msg]) (ObjState, [(Id, Msg)]) 

この均一な型シグネチャは、ヤンパフレームワークのために重要である：（再び、非常に大雑把に単純化された）、それは11 + 11のリストから大きな信号機能を構築ヤンパでは、型シグネチャは、実際には少し立派に見えます（プレイヤー）+ 1（ボール）+ 1（ゲーム）の信号機能が同じタイプ（dpSwitch経由）で実行されます（反応します）。

これで、どのようなバグですか？BallMsgをボールに、またはPlayerMsgをプレーヤに送信するだけです。誰かがGameMsgをBallに送ると、プログラムがクラッシュします。これを避けるために型チェッカーを入手する方法はありませんか？私は最近、タイプファミリーについてのこの素晴らしいPokemon投稿を読んでいます。それはいくつかの類推のようです。だから、多分これが出発点であるかもしれない：

今

class Receiver a where 
    Msg a :: * 
    putAddress :: Msg a -> a -> Msg a 

data BallObj = ... 
data GameObj = ... 
data PlayerObj = ... 

instance Receiver BallObj where 
    Msg BallObj = Gained | Lost 
(...) 

、SFの機能は、次のようになります。

forall b . (Receiver a, Receiver b) => SF (GameInput, [Msg a]) (a, [(b, Msg b)]) 

これはどこでも私を得るのだろうか？

Answer 1

あなたのデザインに大きな問題が1つあります。全く異なるエンティティBall,Player、Gameを1つのタイプで統一してください。あなたはそれらのエンティティを超える組合の種類が必要な場合は、それらを別々の種類を作ることによって、あなたがメッセージを持って同じ道を行くすなわち：あなたが特定の機能の両方を発現することができるでしょう

data AnyObject = AnyObjectBall Ball 
       | AnyObjectPlayer Player 
       | AnyObjectGame Game 

この道（Ball -> BallMsg -> ...）一般的なもの（AnyObject -> AnyMsg -> ...）です。

しかし、私が正しくあなたの問題を理解していれば、私は労働組合の種類を必要としないあなたのためのソリューションを持っていると思う：

class Signal object message where 
    signal :: SF (GameInput, [message]) (object, [(Id, message)]) 

data Ball = Ball Id Pos Velo 
data BallMsg = BallMsgGained | BallMsgLost 
instance Signal Ball BallMsg where 
    -- ... 

-- so on for Player and Game 

Answer 2

yampaアーケードペーパーをスキミングすると、その例のようにrouteという関数があるようです。

私は、routeを1つのゲームオブジェクト、1つのボールオブジェクト、プレーヤーオブジェクトのコレクションという単一のリストではなく変更するように提案します。その後、均一なAnyMsg上

data BallMsg = ... 
data PlayerMsg = ... 
data GameMsg = ... 

data AnyMsg = ABallMsg BallMsg 
      | APlayerMsg PlayerMsg 
      | AGameMsg GameMsg 

今route作品を持っているが、それは、その内容に応じて、正しい宛先にディスパッチします。