5 응용 프로그램은 작성하지만 모나드는 작성하지 않습니다. 응용 프로그램은 구성하지만 모나드는 구성하지 않습니다. 위의 진술은 무엇을 의미합니까? 그리고 언제 하나가 다른 것보다 선호됩니까? 110 haskell functional-programming monads monad-transformers applicative
3 mtl, 변환기, monads-fd, monadLib 및 선택의 역설 Hackage에는 모나드 변환기를위한 여러 패키지가 있습니다. mtl : Monad 변환기 라이브러리 변압기 : 콘크리트 펑터 및 모나드 변압기 monads-fd : 기능적 종속성을 사용하는 Monad 클래스 monads-tf : 유형 패밀리를 사용하는 Monad 클래스 monadLib : 모나드 변환기 모음입니다. mtl-tf : 유형 패밀리를 사용하는 Monad 변환기 라이브러리. mmtl : 모듈 식 Monad … 91 haskell monads monad-transformers
3 Haskell : lift 대 liftIO 어떤 상황에서 사용해야 liftIO합니까? 내가 사용하는 경우 ErrorT String IO는 lift기능에 IO 조치를 해제하기 위해 노력하고 ErrorT있으므로, liftIO불필요한 보인다. 82 haskell monad-transformers
2 하스켈에 중첩 된 국가 다소 다른 종류의 상태로 상태 머신 패밀리를 정의하려고합니다. 특히, 더 "복잡한"상태 머신은 더 단순한 상태 머신의 상태를 결합함으로써 형성된 상태를 갖는다. (이것은 객체가 객체이기도 한 여러 속성을 갖는 객체 지향 설정과 유사합니다.) 다음은 내가 달성하고자하는 것에 대한 간단한 예입니다. data InnerState = MkInnerState { _innerVal :: Int } data OuterState … 9 haskell state monads monad-transformers state-monad