計算機科学のブログ

型によるプログラミング パラメータ化された型 複数のパラメータを持つ型

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON18(パラメータ化された型)、18.2(複数のパラメータを持つ型)、クイックチェック 18-3の解答を求めてみる。

Int型ではないからエラーになる。

コード

itemIventory :: [(String, Int)]
itemIventory = [("Paper", 12.4)]

入出力結果(Terminal, Zsh)

% runghc sample03.hs 

sample03.hs:2:27: error:
    • No instance for (Fractional Int) arising from the literal ‘12.4’
    • In the expression: 12.4
      In the expression: ("Paper", 12.4)
      In the expression: [("Paper", 12.4)]
  |
2 | itemIventory = [("Paper", 12.4)]
  |                           ^^^^
%