Извините за ужасное название. Я пытаюсь создать экземпляр Applicative для Monad, обертывающего тип, который является Monoid.
instance (Monad m, Monoid o) => Applicative (m o) where
pure x = return mempty
xm <*> ym = do
x <- xm
y <- ym
return $ x `mappend` y
Это не работает; GCHi жалуется на:
Kind mis-match
The first argument of `Applicative' should have kind `* -> *',
but `m o' has kind `*'
In the instance declaration for `Applicative (m o)'
Я понимаю, что то, что я написал выше, может быть бессмысленным. Вот контекст: я пытаюсь использовать абстракцию compos, как описано в статье < em>Шаблон для почти композиционных функций. Взяв это дерево (используя версию compos GADT; я ее сильно упростил):
data Tree :: * -> * where
Var :: String -> Expr
Abs :: [String] -> Expr -> Expr
App :: Expr -> [Expr] -> Expr
class Compos t where
compos :: Applicative f => (forall a. t a -> f (t a)) -> t c -> f (t c)
instance Compos Tree where
compos f t =
case t of
Abs ps e -> pure Abs <*> pure ps <*> f e
App e es -> pure App <*> f e <*> traverse f es
_ -> pure t
Я собираюсь написать много функций, которые спускаются по дереву и возвращают список скажем ошибок или набор строк, а также требуют состояния по мере его опускания (например, среды привязки), например:
composFoldM :: (Compos t, Monad m, Monoid o) => (forall a. t a -> m o) -> t c -> m o
composFoldM f = ???
checkNames :: (Tree a) -> State (Set Name) [Error]
checkNames e =
case e of
Var n -> do
env <- get
-- check that n is in the current environment
return $ if Set.member n env then [] else [NameError n]
Abs ps e' -> do
env <- get
-- add the abstractions to the current environment
put $ insertManySet ps env
checkNames e'
_ -> composFoldM checkNames e
data Error = NameError Name
insertManySet xs s = Set.union s (Set.fromList xs)
Я думаю, что все это можно абстрагировать, заставив composFoldM использовать compos для структуры (Monad m, Monoid o) => m o. Таким образом, чтобы использовать его с версией compos GADT Applicative, найденной на странице 575/576 бумага. Думаю, мне нужно сделать Applicative экземпляр этой структуры. Как бы я это сделал? Или я иду совершенно неверным путем?
