IT練習ノート

IT関連で調べたこと(実際は嵌ったこと)を書いています。

2017-01-20から1日間の記事一覧

明示的に型を指定するVisible Type Application

GHC 8.0からVisible Type Applicationが導入されました。 TypeApplication – GHC 今までは::で型を明示的に指定していました。 Prelude> Prelude> let x = return 1 Prelude> :t x x :: (Num a, Monad m) => m a Prelude> let x = return 1 :: Maybe Int Pre…