Haskell - コンテキストでの型の操作 - コンテキストとしてのリスト:Applicative型クラスをさらに掘り下げる - コンテキストとしてのリスト - 非決定論
入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)の UNIT5(コンテキストでの型の操作)、LESSON 29(コンテキストとしてのリスト:Applicative型クラスをさらに掘り下げる)、29.3(コンテキストとしてのリスト)、クイックチェック 29-4の解答を求めてみる。
コード
sample4.hs
main :: IO ()
main = do
mapM_ (\ns -> print ns)
[doorPrize, boxPrize, pure (*) <*> doorPrize <*> boxPrize]
doorPrize :: [Int]
doorPrize = [1000, 2000, 3000]
boxPrize :: [Int]
boxPrize = [10, 50]
入出力結果(Terminal, Zsh)
% runghc sample4.hs
[1000,2000,3000]
[10,50]
[10000,50000,20000,100000,30000,150000]
%