는 내가 Writer 모나드를 공부하고 다음과 같은 한 : myFunction :: Int -> Int -> Writer String Int
myFunction e1 e2
| e1 > e2 = do
tell ("E1 greater")
return (e1)
| otherwise = do
tell ("E2 g
Rounnar Bjarnason의 "합리적인 가격의 모나드가있는 구성 가능한 응용 프로그램 아키텍처"를 생각해 본 끝에 Scalaz의 비디오에 제공된 예제를 작성하기 시작했습니다. 인터랙트 앱을위한 작가 기반의 인터프리터를 구현할 때 약간 놀랄 것입니다. 작가 자체가 모나드이기 때문에 여기가 상호 작용 무료 모나드를위한 통역으로 ConsoleW를 들어 올리
은 지금까지 내가 발견 : >>= 및 return 공식 코드는 에 대한 정의를 제공 http://monads.haskell.cz/html/writermonad.html
http://en.wikipedia.org/wiki/Monad_(functional_programming)
를?
모나드 트랜스포머를 사용하여 작가 모나드를 두 번 중첩 시키려고합니다. 내가 Struct 모나드하지 Collision에 tell를 사용할 필요로이 import Control.Monad.Identity
import Control.Monad.Writer
data Struct = S Bool
instance Monoid Struct where