Haskellタイプの同義語から値を抽出する

Question

私はクラス用のドミノゲームを書いています。私はカスタムタイプの周りに頭を包むことができません。私が持っている：

これは私にエラーを与えてロードしようと

type DomsPlayer = Hand -> Board -> (Domino,End) 
... 
playTurn :: DomsPlayer -> (Int, Hand, Board) 
playTurn hand1 board1 = (score, hand2, board2) 
    where (dom, end) = simplePlayer hand1 board1 
        board2 = resMaybe (playDom dom board1 end) 
        hand2 = remove dom hand1 
        score = scoreBoard board2 

：

Dominoes.hs:43:3: error:

• Couldn't match expected type ‘(Int, Hand, Board)’ with actual type ‘Board -> (Int, b0, Board)’

• The equation(s) for ‘playTurn’ have two arguments, but its type ‘DomsPlayer -> (Int, Hand, Board)’ has only one

| 43 | playTurn hand1 board1 = (score, hand2, board2) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

Dominoes.hs:44:37: error:

• Couldn't match type ‘Hand -> Board -> (Domino, End)’ with ‘[Domino]’

Expected type: Hand Actual type: DomsPlayer

• Probable cause: ‘hand1’ is applied to too few arguments

In the first argument of ‘simplePlayer’, namely ‘hand1’

In the expression: simplePlayer hand1 board1

In a pattern binding: (dom, end) = simplePlayer hand1 board1

| 44 | where (dom, end) = simplePlayer hand1 board1 |

私はDomsPlayerから値を取得するにはどうすればよいですか？

Answer 1

あなたがその定義

type DomsPlayer = Hand -> Board -> (Domino,End) 

playTurn :: (Hand -> Board -> (Domino,End)) -> (Int, Hand, Board) 

でこれDomsPlayerを交換する場合は、playTurnは一つのパラメータのみではなく、2をrecievesていることがわかります。

私はあなたがやろうとしているのか分からないが、明確にあなたが別々のparamsとしてHandとBoardを受け取るために必要があります。

playTurn :: Hand -> Board -> ... -> (Int, Hand, Board) 

そして、私は知らない、多分もの関数を渡しますDomsPlayerと入力し、それらを別々の引数に適用します。

これはあなたのエラーです。