2007-03-07 [長年日記]

[Haskell] Kleisliと&&&

例えば、

f :: Monad m => Int -> m ()
g :: Monad m => Int -> m Bool

の時に、

h n = do
  f n
  g n

をポイントフリーにするには、

h = runKleisli (Kleisli f &&& Kleisli g)

とすることができます。


トップ «前の日記(2007-03-04) 最新 次の日記(2007-03-09)»