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