2011-09-30から1日間の記事一覧

出力する型を指定することによって違う型を返す関数

return や pure は出力する型を指定することによって違う型を返します。 ghci> (return 123)::IO Int -- > 123 ghci> (return 123)::[Int] -- > [123] ghci> (return 123)::Maybe Int -- > Just 123 ghci> :m + Control.Applicative ghci> (pure 123)::Maybe…