コンテキストでの型の操作 Applicative型クラス:関数をコンテキスト内で使用する コンテキストでの部分適用に<*>を使用する <$>と<*>を使って複数の引数を持つ関数をIOで呼び出す Maybe型
入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT5(コンテキストでの型の操作)、LESSON28(Applicative型クラス:関数をコンテキスト内で使用する)、28.2(コンテキストでの部分適用に<>を使用する)、<$>と<>を使って複数の引数を持つ関数をIOで呼び出す、クイックチェック 28-4の解答を求めてみる。
コード
minOfThree :: Ord a => a -> a -> a -> a
minOfThree v1 v2 v3 = min v1 $ min v2 v3
v1 :: Maybe Integer
v1 = Just 10
v2 :: Maybe Integer
v2 = Just 3
v3 :: Maybe Integer
v3 = Just 6
main :: IO ()
main = do
print $ minOfThree <$> v1 <*> v2 <*> v3
入出力結果(Terminal, Zsh)
% runghc sample04.hs
Just 3
%