Haskellのモデリング交換

Question

私はハスケルを新しくしており、証券取引所のモデルを探しています。これはライブラリであり、したがってユーザによって定義されるべきである。私がこれを使う方法は、ユーザーにこのようなことを定義させることです。

data MyExchange = MyExchange { name :: ExchangeName 
          , base :: Currency 
          , quote :: Currency } 
          deriving (Eq, Show) 

instance Exchange MyExchange 

data MyExchangeBookMessage = 
     MyExchangeBookMessage { time :: Time 
           , exchange :: MyExchange 
           , price :: Price 
           , side :: Side 
           , amount :: Maybe Amount } 
           deriving (Eq, Show) 

instance ExchangeBookMessage MyExchangeBookMessage 

私は以下を試しましたが、直ちにタイプクラスのいくつかの制限がありました。以下はコードとエラーメッセージです。具体的には、複数の型を持つ型クラスをパラメータ化する代替手段は何ですか？

src/Lib.hs:22:1: error: 
    • Too many parameters for class ‘ExchangeMessage’ 
     (Use MultiParamTypeClasses to allow multi-parameter classes) 
    • In the class declaration for ‘ExchangeMessage’ 

後、私はこのようなタイプのクラスを実装できるようにしたいと思います：

class Strategy s where 
    run (Message m, Action a) => s -> m -> a 

ここ

は

module Lib where 

data Side = Buy | Sell deriving (Eq, Show) 

newtype Amount = Amount Rational deriving (Eq, Show) 

newtype Price = Price Rational deriving (Eq, Show) 

newtype Currency = Currency String deriving (Eq, Show) 

newtype Time = Time Integer deriving (Eq, Show) 

type ExchangeName = String 

class Exchange a where 
    name :: a -> ExchangeName 
    base :: a -> Currency 
    quote :: a -> Currency 


class Message a where 
    time :: a -> Time 

class (Message a, Exchange e) => ExchangeMessage a e where 
    exchange :: a -> e 

class ExchangeMessage a b => BookMessage a b where 
    price :: a -> Price 
    side :: a -> Side 
    amount :: a -> Maybe Amount 

、エラーメッセージライブラリのコードです

Strategyの実装では、run関数は抽象的なメッセージmを生成し、関連するMessageデータコンストラクタとパターンを一致させ、特定のアクションを返します。

私はいくつかのScalaコードを移植しています。 Scalaで私が一番下に、具体的なケースクラスを持つ形質の階層を使用した：ビジネスの

trait Exchange { 
    def name: String 
    def base: Currency 
    def quote: Currency 
} 

case class MyExchange(base: Currency, quote: Currency) { 
    val name = "my-exchange" 
} 

trait Message { 
    def time: Long 
} 

trait ExchangeMessage extends Message { 
    def exchange: Exchange 
} 

trait BookMessage extends ExchangeMessage { 
    def price: Double 
    def side: Side 
    def amount: Option[Double] 
} 

case class MyBookMessage(time: Long, price: Double, side: Side, amount: Option[Double]) { 
    def exchange: Exchange = MyExchange(...) 
} 

Answer 1

まず順序は、GHCの提案を取ると、ファイルの先頭にMultiParamTypeCLassesを有効にします。

{-# LANGUAGE MultiParamTypeClasses #-} 

これは非常に一般的な拡張機能であり、直接の問題を解決します。

モデリングの問題があるようですが、この設計を進めると、予想外の問題が発生します。私はあなたのコードが意味することのすべての詳細に行くことができますが、私はそれが非常に役に立つとは思わない。代わりに私はちょうど正しい方向にあなたを指し示すでしょう、と私は思います。これは、型抜きの代わりにdataレコードを使用することです。ハスケルのタイプメーターは、他のオブジェクト指向のクラスには対応していないので、多くの初心者が混乱します。あなたのためにすべてを簡素化し、これはより多くのあなたのモデルよりOOクラスのような役割を果たします

data Exchange = Exchange 
    { name :: ExchangeName 
    , base :: Currency 
    , quote :: Currency 
    } 

data Message = Message 
    { time :: Time } 

-- etc. 

：しかし、私は、あなたがこのようにそれをモデルにしたいと思います。例えば、レコードはあなたが仮想メソッドのアナログを取得する方法である、フィールドとして機能し、他の複雑なデータ構造を持つことができることに留意してください：すべての

data MessageLogger = MessageLogger 
    { log :: String -> IO() } 

Answer 2

まず、あなたはおそらく書くことができませんExchangeMessageのクラスインスタンス。その理由は、exchange関数がのいずれかを返すことができることです。タイプeです。このようにしたい場合は、任意の交換を構築する方法を提供する必要があります！

class Exchange a where 
    name :: a -> ExchangeName 
    base :: a -> Currency 
    quote :: a -> Currency 
    build :: Time -> a 

あなたが交換局から知ることができるすべては、それはあなたが問い合わせることができTimeを持っているということであり、それはおそらく役に立たないので、これは、buildのための唯一の可能な署名です。

あなたが定義したすべてのクラスに具体的な型を持たせるのがより良い設計だと思います。たとえば、次のように続いて

data Exchange = Exchange { getName :: ExchangeName 
         , getBase :: Currency 
         , getQuote :: Currency 
         } deriving (Show, Eq) 

、あなたはこれらの具体的なタイプで動作機能を書いた後、次のいずれかを実行できます。たとえば

• 書き込みfunctionsofタイプMyExchange -> Exchange、Exchange
を期待しての機能を適応させます
• は、高級なレンズを使用して、任意のタイプを消費する機能を直接書くことができる。

あなたが同じ種類の通貨を使って2つの金額の合計しか計算できないように静的に強制するように、あなたの通貨にファントムタイプを使用することをお勧めします。 OOの習慣を模倣するためにタイプメスを使用しても、使用するのがいいAPI​​や明確なコードは作成されません。