Uygulamalı

Question

Ben yeni monad tanımlamaya çalışıyorum ve garip bir hatayı

newmonad.hs

 
newtype Wrapped a = Wrap {unwrap :: a} 
instance Monad Wrapped where 
    (>>=) (Wrap x) f = f x 
    return x = Wrap x 

main = do 
    putStrLn "yay" 

 
$ ghc --version 
The Glorious Glasgow Haskell Compilation System, version 7.10.1 

$ ghc newmonad.hs 
[1 of 1] Compiling Main    (newmonad.hs, newmonad.o) 

newmonad.hs:2:10: 
    No instance for (Applicative Wrapped) 
     arising from the superclasses of an instance declaration 
    In the instance declaration for ‘Monad Wrapped’ 

Neden alıyorum hiçbir örneği yükseltir Applicative'un bir örneğini tanımlamam gerekiyor mu?

Answer 1

Bu, Uygulamalı Monad Önerisi (AMP) 'dir. Şimdi, Monad olarak bir şey bildirdiğinizde, Applicative (ve dolayısıyla Functor) olarak da bildirmeniz gerekir. Matematiksel olarak, her monad , bir uygulama functor olan, bu yüzden mantıklı.

Sen hatayı kaldırmak için aşağıdakileri yapabilirsiniz:

instance Functor Wrap where 
    fmap f (Wrap x) = Wrap (f x) 

instance Applicative Wrap where 
    pure = Wrap 
    Wrap f <*> Wrap x = Wrap (f x) 

https://wiki.haskell.org/Functor-Applicative-Monad_Proposal

Düzenleme: Belki bu bir son şey olduğunu daha net işaret olmalıdır? Yayınladığınız kod, daha önce çalışmak için kullanıldı, ancak GHC'nin numaralı sürümlerinde bir hatayla karşılaşırsınız. Bu bir kırılma değişimi.

Düzenleme: aşağıdaki beyanları için herhangi monad çalışması gerekir:

import Control.Applicative -- Otherwise you can't do the Applicative instance. 
import Control.Monad (liftM, ap) 

instance Functor ??? where 
    fmap = liftM 

instance Applicative ??? where 
    pure = return 
    (<*>) = ap 

söz konusu monad bağlı olarak, orada daha verimli uygulamalar da mümkündür, ancak bu basit bir başlangıç ​​noktasıdır olabilir.