コンテキストでの型の操作 Monad型クラス do表記を使ってMonadを扱いやすくする List型に対応

入門Haskellプログラミング
 楽天ブックス
Yahoo!ショッピング
au PAY マーケット

開発環境

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT5(コンテキストでの型の操作)、LESSON31(do表記を使ってMonadを扱いやすくする)、31.4(練習問題)Q31-2の解答を求めてみる。

空のリストにも対処する。空のリストを返す。

実際に確認。

コード

type Pizza = (Double, Double)

areaGivenDiameter :: Double -> Double
areaGivenDiameter size = pi * (size / 2) ^ 2

costPerInch :: Pizza -> Double
costPerInch (size, cost) = cost / areaGivenDiameter size

comparePizzas :: Pizza -> Pizza -> Pizza
comparePizzas p1 p2 =
  ( \costP1 costP2 ->
      if costP1 < costP2
        then p1
        else p2
  )
    (costPerInch p1)
    (costPerInch p2)

describePizza :: Pizza -> String
describePizza (size, cost) =
  ( \costSqInch ->
      mconcat
        [ "The ",
          show size,
          " pizza ",
          "is cheaper at ",
          show costSqInch,
          " per square inch"
        ]
  )
    $ costPerInch
      (size, cost)

costData :: [Double]
costData = [18.0, 16.0]

sizeData :: [Double]
sizeData = [20.0, 15.0]

listMain :: [String]
listMain = do
  size1 <- sizeData
  cost1 <- costData
  size2 <- sizeData
  cost2 <- costData
  return $
    describePizza $
      comparePizzas
        (size1, cost1)
        (size2, cost2)

main :: IO ()
main = do
  print listMain
  mapM_ print listMain

入出力結果(Terminal, Zsh)

% runghc sample2.hs
["The 20.0 pizza is cheaper at 5.729577951308232e-2 per square inch","The 20.0 pizza is cheaper at 5.092958178940651e-2 per square inch","The 20.0 pizza is cheaper at 5.729577951308232e-2 per square inch","The 20.0 pizza is cheaper at 5.729577951308232e-2 per square inch","The 20.0 pizza is cheaper at 5.092958178940651e-2 per square inch","The 20.0 pizza is cheaper at 5.092958178940651e-2 per square inch","The 20.0 pizza is cheaper at 5.092958178940651e-2 per square inch","The 20.0 pizza is cheaper at 5.092958178940651e-2 per square inch","The 20.0 pizza is cheaper at 5.729577951308232e-2 per square inch","The 20.0 pizza is cheaper at 5.092958178940651e-2 per square inch","The 15.0 pizza is cheaper at 0.10185916357881301 per square inch","The 15.0 pizza is cheaper at 9.054147873672269e-2 per square inch","The 20.0 pizza is cheaper at 5.729577951308232e-2 per square inch","The 20.0 pizza is cheaper at 5.092958178940651e-2 per square inch","The 15.0 pizza is cheaper at 9.054147873672269e-2 per square inch","The 15.0 pizza is cheaper at 9.054147873672269e-2 per square inch"]
"The 20.0 pizza is cheaper at 5.729577951308232e-2 per square inch"
"The 20.0 pizza is cheaper at 5.092958178940651e-2 per square inch"
"The 20.0 pizza is cheaper at 5.729577951308232e-2 per square inch"
"The 20.0 pizza is cheaper at 5.729577951308232e-2 per square inch"
"The 20.0 pizza is cheaper at 5.092958178940651e-2 per square inch"
"The 20.0 pizza is cheaper at 5.092958178940651e-2 per square inch"
"The 20.0 pizza is cheaper at 5.092958178940651e-2 per square inch"
"The 20.0 pizza is cheaper at 5.092958178940651e-2 per square inch"
"The 20.0 pizza is cheaper at 5.729577951308232e-2 per square inch"
"The 20.0 pizza is cheaper at 5.092958178940651e-2 per square inch"
"The 15.0 pizza is cheaper at 0.10185916357881301 per square inch"
"The 15.0 pizza is cheaper at 9.054147873672269e-2 per square inch"
"The 20.0 pizza is cheaper at 5.729577951308232e-2 per square inch"
"The 20.0 pizza is cheaper at 5.092958178940651e-2 per square inch"
"The 15.0 pizza is cheaper at 9.054147873672269e-2 per square inch"
"The 15.0 pizza is cheaper at 9.054147873672269e-2 per square inch"
%